Город: Язык: Русский English
Что: Лекция
Когда: Среда, 24 сентября 2014, 18:30–19:50
Где: ПОМИ РАН

Описание

Машины Тьюринга. Неразрешимость проблемы равенства слов в полугруппе (выводимости в одностороннем и двустороннем ассоциативном исчислении). Предикатные формулы (формулы I-го порядка). Интерпретации.