Плиско В.Е. - Введение в математическую логику - 7. Логика предикатов

00:00:15 Введение. Переменная. Именные и высказывательные формы 00:11:59 Кванторы. Субъект и предикат. Определение предиката. Область истинности предиката 00:26:22 Сигнатура элементарного языка 00:36:05 Терм. Формула 00:47:10 Язык теории множеств. Язык формальной арифметики 00:56:04 Язык упорядоченных множеств. Языки алгебраических структур 01:02:36 Языки второго порядка. Примеры Ссылка на плейлист: https://www.youtube.com/playlist?list=PLcsjsqLLSfNAz7uW_0qsOZR1cRgbRgIs_ #мгу #мехмат #математика #плиско #логика #математическаялогика