Категорная логика 2-е изд., пер. и доп. Учебное пособие для академического бакалавриата



В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественые и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов высших учебных заведений, обучающихся по естественнонаучным направлениям, преподавателей и всех интересующихся актуальными вопросами современной логики.
Перейти к описанию и характеристикамPublisher | Юрайт |
Series | Бакалавр. Академический курс |
Weight, g | 350 |
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественые и алгебраические семантики этих систем, ...
Publisher | Юрайт |
Series | Бакалавр. Академический курс |
Weight, g | 350 |