М.: Московский государственный университет (МГУ) имени М.В. Ломоносова, 2016. — 78 с. Спецкурс предназначен для студентов, специализирующихся по кафедре математической логики и теории алгоритмов. Введение. Аксиомы ZFC. Порядки. Вполне упорядоченность. Ординалы и их свойства. Трансфинитная рекурсия. Аксиома выбора. Доказательство эквивалентности различных формулировок аксиомы...
Учебное пособие. — Москва: Московский государственный университет (МГУ) имени М.В. Ломоносова, 2022. — 89 с. В пособие вошли 15-ть лекций по математической логике и теории алгоритмов. Teach-in — лекции преподавателей МГУ. Аксиоматика. Логические формулы. Введение. Логика высказываний. Пропозициональные формулы. Оценки. Булевы функции. Логика высказываний. Пропозициональные...
12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В.
Рассматриваемые вопросы:
Алгебра высказываний.
Тавтологии алгебры высказываний.
Признаки логического следствия.
Булевы функции.
Нормальные формы булевых функций.
Алгебра Жегалкина.
Монотонность функции. Теорема о полноте.
Релейно-контактные схемы....
Комментарии