Name: Кузнецов С. Л. - Математическая логика - Гёделева нумерация
Uploaded: 2020-07-28T07:37:15+03:00
Duration: T1H25M17S
Description: Видео автора «Teach-In» в Дзене 🎦: 0:00:10 1. Гёделева нумерация 0:11:30 1.1.Определение термы и формулы 0:24:35 2. Предикат доказательства 0:51:19 3. Условия доказуемости 1:03:44 4. Подстановки и параметры

Teach-In

12,5 тыс подписчиков