Избранные темы Computer Science. Лекция 6
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
29.09.12
Дата публикации:
29.09.12
Код для блога:
Разрешимые множества. Перечислимые множества как проекции разрешимых. Арифметическая иерархия. Выразимость с помощью формул первого порядка. Выразимые множества в натуральных числах с отношением порядка; элиминация кванторов.
Выразимость в языке формальной арифметики. Кодирование кортежей с помощью бета-трюка Гёделя.
Страница лекции на сайте Computer Science клуба
Другие лекции курса
9