Лекции по спецкурсу "Математическая логика"

Последнее изменение: 20/05/2021 09:57:14

Лекции по матлогике. Авторы: к.ф.-м.н., доцент Щербакова В.А., к.ф.-м.н., доцент Нагребецкая Ю.В.

Лекция 1. ФЛВ. Интерпретация. Равносильность
Лекция 2. Логическое следствие. Нормальные формы
Лекция 3. Метод резолюций в логике высказываний. Контактные схемы
Лекция 4. Аксиоматическая теория исчисления высказываний
Лекция 5. ФЛП. Интерпретация. Логическое следствие
Лекция 6. Нормальные формы и в логике предикатов. Метод резолюций в логике предикатов
Лекция 7. Невыразимость в логике предикатов
Лекция 8. Аксиоматическая теория исчисления предикатов

См. также

Нагребецкая Ю.В.