Григорьев О.М. - Классическая дедуктивная логика II - 15. Прикладные первопорядковые теории
Teach-In
Прикладные первопорядковые теории Григорьев Олег Михайлович 00:17 Фундаментальный перевод 14:14 Расширения логики предикатов 36:45 Теории отношения эквивалентности 42:02 Теории частичного порядка 47:01 Теории строгого порядка 52:00 Формальная арифметика 01:09:42 Логика предикатов более высоких порядков #higher_order_predicate_logic
51:07
