Поиск :
Личный кабинет :
Электронный каталог: Васюков, В. Л. - Категорная логика
Васюков, В. Л. - Категорная логика
Нет экз.
Электронный ресурс
Автор: Васюков, В. Л.
Категорная логика : учебное пособие для вузов
Серия: Высшее образование
Издательство: Юрайт, 2023 г.
ISBN 978-5-534-09585-2
Автор: Васюков, В. Л.
Категорная логика : учебное пособие для вузов
Серия: Высшее образование
Издательство: Юрайт, 2023 г.
ISBN 978-5-534-09585-2
На полку
Электронный ресурс
Васюков, В. Л.
Категорная логика [Электронный ресурс] : учебное пособие для вузов. – 2-е изд., пер. и доп. – Москва : Юрайт, 2023. – 178 с. – (Высшее образование). – Режим доступа : https://urait.ru/bcode/515479 (дата обращения: 11.04.2023). – Для авторизованных пользователей МПГУ. – На рус. яз. – ISBN 978-5-534-09585-2 : 779.00.
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
16(075.8)
основной = ЭБС Юрайт
Васюков, В. Л.
Категорная логика [Электронный ресурс] : учебное пособие для вузов. – 2-е изд., пер. и доп. – Москва : Юрайт, 2023. – 178 с. – (Высшее образование). – Режим доступа : https://urait.ru/bcode/515479 (дата обращения: 11.04.2023). – Для авторизованных пользователей МПГУ. – На рус. яз. – ISBN 978-5-534-09585-2 : 779.00.
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
16(075.8)
основной = ЭБС Юрайт