Построение классического аксиоматического исчисления предикатов Григорьев Олег Михайлович 00:16 Классическое исчисление предикатов 11:23 Дополнительные схемы аксиом (поведение квантора общности) 15:37 Правила вывода 19:34 Понятие доказательства 29:32 Выводы 38:11 Понятие вывода из множества допущений 55:24 Метатеоретические свойства Ссылка на плейлист 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 #классическое_исчисление_предикатов #дополнительные_схемы_аксиом #поведение_квантора_общности #правила_вывода #понятие_доказательства #выводы #понятие_вывода_из_множества_допущений #метатеоретические_свойства #логика_предикатов #формальная_логика #математическая_логика #аксиоматические_системы #теория_доказательств #classical_predicate_calculus #additional_axiom_schemes #behavior_of_universal_quantifier #inference_rules #concept_of_proof #conclusions #derivation_from_set_of_assumptions #metatheoretical_properties #predicate_logic #formal_logic #mathematical_logic #axiomatic_systems #proof_theory