Плиско В.Е. - Введение в математическую логику - 7. Логика предикатов
Teach-In
00:00:15 Введение. Переменная. Именные и высказывательные формы 00:11:59 Кванторы. Субъект и предикат. Определение предиката. Область истинности предиката 00:26:22 Сигнатура элементарного языка 00:36:05 Терм. Формула 00:47:10 Язык теории множеств. Язык формальной арифметики 00:56:04 Язык упорядоченных множеств. Языки алгебраических структур 01:02:36 Языки второго порядка. Примеры Ссылка на плейлист: #математическаялогика
9:29
![Слабое место математики: можно ли доказать всё, что истинно [Veritasium]](https://avatars.dzeninfra.ru/get-zen_doc/271828/pub_66996c0c2d9b641e0b2683a7_66996c129c015076f80b3fff/smart_crop_516x290)
