Вычислимость и логика. Лекция 6
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
19.10.11
Дата публикации:
19.10.11
Код для блога:
Предикатные формулы. Арифметика
Предикатные формулы (формулы I-го порядка). Интерпретации. Выразимость в арифметике. Арифметичность графика вычислимой функции.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10