Математическая логика
МИЭТ
Автор: Н.К.Верещагин, А.Шень
В книге рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядочные множества, трансфинитная индукция, ординалы).
МИЭТ
Автор: Н.К.Верещагин, А.Шень
В книге рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые ...
МИЭТ
Автор: Н.К.Верещагин, А.Шень
В книге рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерация и их ...
МИЭТ
Автор: И.Б. Кожухов
Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алго-ритмов (машины Тьюринга и ...
