Математическая логика

Лекции

Гейн Александр Георгиевич

Замятин. Шур. Языки, грамматики, распознаватели

Замятин. Мат. логика и теория алгоритмов

Репницкий. Основы математической логики

Логика высказываний

Язык логики высказываний

Отношение равносильности

Логическое следование

Аксиоматическая система

Теорема дедукции

Теорема о полноте

Метод резолюций
Логика предикатов

Унификация и подстановки

Метод резолюций

Ещё конспекты

Практика

Масленникова Марина Игоревна

Сборник задач

Контрольная 2

Контрольная 1

Занятие 9

Занятие 8

Занятие 7

Занятие 6

Занятие 5

Занятие 4

Занятие 3

Занятие 2_4а

Занятие 2

Занятие 1