Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:МИРЭА / ЛЕКЦИИ 2012 / МОРФОЛОГИЯ / алгебра логики предикаты теории.ppt
Формальные теории. Общезначимость и непротиворечивость
Формальные теории. Полнота, независимость и разрешимость
Исчисление высказываний
Исчисление предикатов
Исчисление предикатов
Исчисление предикатов
Исчисление предикатов. Интерпретация
Исчисление предикатов. Следование и эквивалентность
Исчисление предикатов. Формальная арифметика
