лекция 6 | Вычислимость и логика | Дмитрий Ицыксон | CSC | Лекториум

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