MIPT-ML-Lect_29_04_20

Лекция по мат. логике 29-го апреля. Темы: исчисление предикатов (без равенства) в форме системы натурального вывода; понятие вывода; примеры; выводимость и логическое следование; их простейшие свойства (т. дедукции и пр.); формулировка теорем корректности и полноты; связь с понятием общезначимости.
Back to Top