ЛЕКЦИИ по курсу "Математическая логика" (лектор k.ф-м.н., доцент В.А.Щербакова)

Последнее изменение: 18/05/2022 15:05:20

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

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

Логика предикатов (ЛП) (Логика первого порядка)

Лекция 5. Предикаты и операции над ними. ФЛП. Равносильность. Законы ЛП
Лекция 6. Нормальные формы в ЛП. Метод резолюций в ЛП
Лекция 7. Невыразимость в логике предикатов
Лекция 8. Аксиоматическая теория исчисления предикатов
Лекция 9a. Расширения логики предикатов и неклассические логики

Логика второго порядка

Лекция 9b. Логика второго порядка

Неклассические логики, формальные системы и т.п.

Лекция 9c. Неклассические логики
Лекция 10. Философия, формальные системы, арифметика
Лекция 11. Арифметика
Лекция 12. Система аксиом Цермело-Френкеля

См. также

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