Поиск :
Личный кабинет :
Электронный каталог: Васюков, В. Л. - Категорная логика
Васюков, В. Л. - Категорная логика
Нет экз.
Электронный ресурс
Автор: Васюков, В. Л.
Категорная логика : учебное пособие для вузов
Серия: Высшее образование
Издательство: Юрайт, 2022 г.
ISBN 978-5-534-09585-2
Автор: Васюков, В. Л.
Категорная логика : учебное пособие для вузов
Серия: Высшее образование
Издательство: Юрайт, 2022 г.
ISBN 978-5-534-09585-2
На полку
Электронный ресурс
Васюков, В. Л.
Категорная логика : учебное пособие для вузов. – 2-е изд, пер. и доп. – Электрон. дан. – Москва : Юрайт, 2022. – 178 с. – (Высшее образование) . – URL: https://urait.ru/bcode/493300, https://urait.ru/book/cover/235AA454-8019-44D2-9459-722BBBB81F25. – Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей . – URL: https://urait.ru/bcode/493300 (дата обращения: 30.05.2022). – На рус. яз. – ISBN 978-5-534-09585-2 : 779.00.
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
16(075.8)
Рубрикатор Юрайт = Юрайт. Логика
Рубрикатор Юрайт = Юрайт. Гуманитарные и общественные науки.
Рубрикатор Юрайт = Юрайт. Логика
Рубрикатор Юрайт = Юрайт. Математическая логика
Рубрикатор Юрайт = Юрайт. Основы логики
Рубрикатор Юрайт = Юрайт. Категорный
Рубрикатор Юрайт = Юрайт. Основы математической логики
Васюков, В. Л.
Категорная логика : учебное пособие для вузов. – 2-е изд, пер. и доп. – Электрон. дан. – Москва : Юрайт, 2022. – 178 с. – (Высшее образование) . – URL: https://urait.ru/bcode/493300, https://urait.ru/book/cover/235AA454-8019-44D2-9459-722BBBB81F25. – Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей . – URL: https://urait.ru/bcode/493300 (дата обращения: 30.05.2022). – На рус. яз. – ISBN 978-5-534-09585-2 : 779.00.
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
16(075.8)
Рубрикатор Юрайт = Юрайт. Логика
Рубрикатор Юрайт = Юрайт. Гуманитарные и общественные науки.
Рубрикатор Юрайт = Юрайт. Логика
Рубрикатор Юрайт = Юрайт. Математическая логика
Рубрикатор Юрайт = Юрайт. Основы логики
Рубрикатор Юрайт = Юрайт. Категорный
Рубрикатор Юрайт = Юрайт. Основы математической логики