Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Пропозициональная логика (Исчисление высказываний)
Вводный курс


Что: Лекция
Когда: Воскресенье, 07 октября 2007, 10:00–11:35
Где: ПОМИ РАН
Слайды: introductorycourse_lecture_071007.pdf

Описание

Пропозициональные формулы, булевы функции. Системы доказательств, метод резолюций. Булевы схемы. Предикатные формулы.

Материалы