City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English
What: Lecture
When: Sunday, 21 September 2008, 09:25–10:55
Where: ПОМИ РАН
Slides: introductorycourse_lecture_210908.pdf

Description

Машины Тьюринга. Основы теории вычислимости. Пропозициональные формулы и булевы функции.