Логика
Понедельник, 19 сентября 2011
ФМЛ 239, Актовый зал
Логика высказываний. Таблицы истинности. Пропозициональные формулы. Кванторы. Предикаты. Языки логики первого порядка. Интерпретация языков.