City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Пропозициональная логика (Исчисление высказываний)
Introduction to Theoretical Computer Science

What: Lecture
When: Sunday, 07 October 2007, 10:00–11:35
Where: ПОМИ РАН
Slides: introductorycourse_lecture_071007.pdf

Description

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