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

Вычислимость и выразимость в арифметике
Основы вычислимости и теории сложности

Что: Лекция
Когда: Среда, 10 октября 2012, 18:30–19:50
Где: ПОМИ РАН

Описание

Формулы исчисления предикатов. Выразимость в арифметике. Арифметичность перечислимых множеств.