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

Лекция 1
Вводный курс

Что: Лекция
Когда: Воскресенье, 21 сентября 2008, 09:25–10:55
Где: ПОМИ РАН
Слайды: introductorycourse_lecture_210908.pdf

Описание

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