Что: Лекция
Когда: Понедельник, 19 сентября 2011, 18:30–19:50
Где: ФМЛ 239, Актовый зал

Описание

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

Видео