Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Вычислимость и выразимость в арифметике
Основы вычислимости и теории сложности
Что:
Лекция
Когда:
Среда, 10 октября 2012, 18:30–19:50
Где:
ПОМИ РАН
Описание
Формулы исчисления предикатов. Выразимость в арифметике. Арифметичность перечислимых множеств.
