Григорьев О.М. - Классическая дедуктивная логика II - 5. Классическая логика предикатов

Аватар автора
Teach-In
Классическая логика предикатов Григорьев Олег Михайлович 00:17 Свойства логических исчислений (напоминание) 02:03 Синтаксическая полнота 06:39 Метатеорема 39:04 План изучения темы "Классическая логика предикатов" 42:55 Логика предикатов (понятие) 48:24 Логика предикатов 1 порядка 57:12 Принципы классической логики предикатов 01:02:56 Язык логики предикатов 01:12:28 Свободные и связанные элементы в формуле #language_of_predicate_logic

0/0


0/0

0/0

0/0

Скачать популярное видео

Популярное видео

0/0