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

Прикладные первопорядковые теории Григорьев Олег Михайлович 00:16 Фундаментальный перевод 14:13 Расширения логики предикатов 36:43 Теории отношения эквивалентности 41:55 Теории частичного порядка 47:00 Теории строгого порядка 52:00 Формальная арифметика 01:09:42 Логика предикатов более высоких порядков Ссылка на плейлист 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 #фундаментальный_перевод #fundamental_translation #расширения_логики_предикатов #predicate_logic_extensions #теории_отношения_эквивалентности #equivalence_relation_theories #теории_частичного_порядка #partial_order_theories #теории_строгого_порядка #strict_order_theories #формальная_арифметика #formal_arithmetic #логика_предикатов_более_высоких_порядков #higher_order_predicate_logic