Интерпретация нелогических символов языка Григорьев Олег Михайлович 00:17 Замкнутая терма и сложная терма 10:07 Подстановка 24:26 Нелогические символы в языке 30:36 Индивидные константы 33:43 Предикаторные константы 43:03 Предметно-функциональные константы 47:42 Модель языка 54:43 Приписывание значений правильно построенным выражениям языка 01:04:49 Пример 01:16:56 Приписывание значений формулам Ссылка на плейлист Teach-In: https://teach-in.ru/course/classical-deductive-logic-p2 Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLcsjsqLLSfNDJln31dAVVD3IkC1k1SCvi Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_862 Ссылка на плейлист RuTube: https://rutube.ru/plst/1513562 #teach_in #МГУ #MSU #филфак #faculty_of_philosophy #классическая_дедуктивная_логика #classical_deductive_logic #лекция #lecture #Григорьев #Grigoriev #классическая_логика_предикатов #classical_predicate_logic #замкнутая_терма #сложная_терма #нелогические_символы #non_logical_symbols #индивидные_константы #individual_constants #предикаторные_константы #predicate_сonstants #предметно_функциональные_константы #individual_functional_constants #модель_языка #language_model