Категорная логика 2-е изд. , пер. И доп. Учебное пособие для вузов
ID 1485594
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее пр...
V dannom uchebnom posobii kategornaya logika rassmatrivaetsya s tochki zreniya neklassicheskoy logiki i ee potrebnostey. Podrobno izuchaetsya sistematicheskoe postroenie ischisleniy kategornoy logiki i ee pr...
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
V dannom uchebnom posobii kategornaya logika rassmatrivaetsya s tochki zreniya neklassicheskoy logiki i ee potrebnostey. Podrobno izuchaetsya sistematicheskoe postroenie ischisleniy kategornoy logiki i ee primenenie k semantike neklassicheskoy logiki. Eto pervoe uchebnoe posobie podobnoy napravlennosti. Posobie sostoit iz dvukh chastey. Pervaya chast posvyashchena issledovaniyu deduktivnykh sistem i kategoriy. Vo vtoroy chasti udelyaetsya vnimanie postroeniyu teoretiko-kategornykh sistem, prizvannykh zamenit teoretiko-mnozhestvennye i algebraicheskie semantiki etikh sistem, analiziruyutsya vzaimootnosheniya teorii kategoriy i kategornoy logiki.
Coming soon...
Technical characteristics of the product may differ. Check the information at checkout the operator of the contact center.