Материалы для курса "Математическая логика и теория алгоритмов" НИУ МИЭТ.
Предоставляются под лицензией Creative Commons С указанием авторства-С сохранением условий версии 4.0 Международная.
- Деревья истинности для логики высказываний.
- Истинность и формализация в логике предикатов.
- Деревья истинности для логики предикатов.
- Натуральная дедукция для логики высказываний (правила).
- Натуральная дедукция для логики предикатов.
Разделы 1–5 домашних заданий идут в том же порядке.
Собирается pdflatex (удобнее через latexmk -pdf).
Кроме обычных пакетов нужен cm-super — он даёт Type 1 контуры для
кириллицы в кодировке T2A. Без него pdfTeX подставляет растровые шрифты
(Type 3), и в домашние_задания.pdf и семинар4_натуральная_дедукция_правила.pdf
кириллица перестаёт искаться и копироваться, а на печати выглядит хуже.
Слайдов это не касается: там подключён dejavu.
- MiKTeX:
miktex packages install cm-super - TeX Live: обычно уже установлен, иначе
tlmgr install cm-super
- Кожухов И.Б., Романов А.В. Математическая логика. М., МИЭТ, 2008.
- Непейвода Н.Н. Прикладная логика. Учебное пособие. Ижевск, Изд-во Удм. ун-та, 1997, 385 стр.
- Гладкий А.В. Введение в современную логику. Москва, МЦНМО, 2001, 200 стр.
- Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов.
- Часть 1. Начала теории множеств. 5-е изд., М: МЦНМО, 2017, 112 с.
- Часть 2. Языки и исчисления. 5-е изд., М.: МЦНМО, 2017, 240 с.
- Часть 3. Вычислимые функции. 5-е изд., М.: МЦНМО, 2017, 160 с.