сегодня с 14:30 до 16:00 у меня будет письменный экзамен по логике.
Темы: запись предложений естественного языка на языке логики предикатов, аналитические таблицы логики предикатов, семантический метод проверки (модели и контрмодели), натуральное исчисление предикатов.