Skip to content 
el cat en
База данных: ELS Urait
Page 1, Results: 1
Отмеченные записи: 0
1.
Подробнее
Васюков, Владимир Леонидович.
Категорная логика [Электронный ресурс] : учебное пособие для вузов / В. Л. Васюков. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 178 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей . - ISBN 978-5-534-09585-2
URL: https://urait.ru/bcode/540037 (дата обращения: 12.03.2024).
ББК 87.4я73
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Математическая логика -- Основы логики -- Категорный -- Основы математической логики -- Введение в математическую логику
Аннотация: В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
Васюков, Владимир Леонидович.
Категорная логика [Электронный ресурс] : учебное пособие для вузов / В. Л. Васюков. - 2-е изд., пер. и доп. - Электрон. дан.col. - Москва : Юрайт, 2024. - 178 с. - (Высшее образование). - Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей . - ISBN 978-5-534-09585-2
URL: https://urait.ru/bcode/540037 (дата обращения: 12.03.2024).
| УДК |
Кл.слова (ненормированные):
Логика -- Общественные науки -- Логика -- Математическая логика -- Основы логики -- Категорный -- Основы математической логики -- Введение в математическую логику
Аннотация: В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
Page 1, Results: 1