Основы вычислимости и теории сложности. Лекция 4
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
10.10.12
Дата публикации:
10.10.12
Код для блога:
Вычислимость и выразимость в арифметике
Формулы исчисления предикатов. Выразимость в арифметике. Арифметичность перечислимых множеств.
Страница лекции на сайте Computer Science Center
Другие лекции курса
11