Год выпуска: 2018 Автор: В. Л. Васюков Издательство: Юрайт Страниц: 202 ISBN: 978-5-534-06190-1
Описание
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности.Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
Судя по моей интуиции, мне с Вами просто повезло. Как Вы мне задачки решили и оформили - угодили. Я сама очень требовательный человек к себе, а, поэтому, и к людям. А тут и придраться было не к чему. И главное, я сама разобралась в сути - поняла навеки все щас знаю. Вот если б Вы были нашим преподавателем! Увы!