знания и навыки

учебная и научная литература

учебники и пособия для вузов

естественные науки

математика

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.


ужасы / мистика

фэнтези

детективы

триллеры

мистика

детективное фэнтези

мистические триллеры

приключенческое фэнтези

фантастические миры

чувство юмора

приключенческая фантастика

Лекции по математической логике и теории алгоритмов

Без серии

Юрий Анатольевич Белов