|
|
Спецкурс «Математическая логика, часть 2»
5 марта 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02
|
 |
|
 |
|
|
|
Лекция 4. Кодирование примитивно-рекурсивных функций
С. Л. Кузнецов |
| Видеозаписи: |
 |
MP4 |
1,244.4 Mb |
| Количество просмотров: |
| Эта страница: | 179 | | Видеофайлы: | 20 | | Youtube: | |
|
Аннотация:
$\Sigma_1$-полнота PA. Доказуемая тотальность примитивно-рекурсивных функций в PA, доказуемость рекурсивных условий.
|
|
Обратная связь: