https://dspace.kpfu.ru/xmlui/handle/net/6066 2026-05-18T14:16:39Z https://dspace.kpfu.ru/xmlui/handle/net/185910 Система натурального вывода: учебно-методическое пособие Сафонов Александр Сергеевич В пособии рассматривается система натурального вывода пропозициональной логики. Даны примеры построения дедуктивных доказательств и упражнения для самостоятельной работы. Предназначено для студентов, обучающихся по направлению 47.03.01 - Философия. 2026-01-01T00:00:00Z https://dspace.kpfu.ru/xmlui/handle/net/185909 Логика предикатов: учебно-методическое пособие Сафонов Александр Сергеевич 2026-01-01T00:00:00Z https://dspace.kpfu.ru/xmlui/handle/net/185908 Формальная силлогистика: учебно-методическое пособие Сафонов Александр Сергеевич В пособии рассматривается аристотелевская силлогистика и вариант ее формализации. Даны примеры построения дедуктивных доказательств и упражнения для самостоятельной работы. Предназначено для студентов, обучающихся по направлению 47.03.01 - Философия 2026-01-01T00:00:00Z https://dspace.kpfu.ru/xmlui/handle/net/185905 Английский язык в профессиональной коммуникации для студентов направления "Философия": учебно-методическое пособие Агапов Игорь Олегович В данном учебно-методическом пособии приводятся материалы, тексты и задания для работы на семинарских занятиях по дисциплине "Английский язык в профессиональной коммуникации". 2026-01-01T00:00:00Z