Категорная логика

Категорная логика

Bibliografische gegevens
Hoofdauteur:	Васюков В. Л. Владимир Леонидович
Coauteur:	Российская академия наук Институт философии (ИФ РАН)
Samenvatting:	Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над ними. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т.е. категория - это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует. Книга представляет интерес для логиков, философов и математиков и может быть использована в исследовании теоретических и метатеоретических вопросов современной логики.
Taal:	Russisch
Gepubliceerd in:	Москва, АНО Институт логики, 2005
Onderwerpen:	логика категории категорная логика дедуктивные системы дедуктивные категории сопряжение когерентность логические исчисления секвенции ситуции топосы
Formaat:	Boek
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=67330

Gelijkaardige items

Дедуктивная и индуктивная логика
door: Минто У. Уильям
Gepubliceerd in: (Москва, Типография Т-ва И. Д. Сытина, 1898)

Дедуктивная и индуктивная логика
door: Минто У. Уильям
Gepubliceerd in: (Москва, Типография Т-ва И. Д. Сытина, 1901)

Математические принципы нечеткой логики: пер. с англ.
door: Новак В. Вилен
Gepubliceerd in: (Москва, Физматлит, 2006)

Логика и язык научной теории
door: Целищев В. В. Виталий Валентинович
Gepubliceerd in: (Новосибирск, Наука, 1982)

Система принципов построения дедуктивных теорий
door: Кедровский О. И. Олег Иванович
Gepubliceerd in: (Киев, Выща школа, 1990)

Логика: учебное пособие
door: Хоменко Е. А. Ефим Алексеевич
Gepubliceerd in: (Москва, Воениздат, 1976)

Проблема обоснования в логике и методологии науки
door: Конверский А. Е. Анатолий Евгеньевич
Gepubliceerd in: (Киев, Вища школа, 1985)

Логика методические рекомендации
door: Никитенко Т. А.
Gepubliceerd in: (Ярославль, 2015)

Логические задачи: учебник
door: Мельников В. Н. Владимир Николаевич
Gepubliceerd in: (Киев, Выща школа, 1989)

Логика электрон. учеб.-метод. комплекс для студентов специальности 1-28 01 02 «электронный маркетинг»
door: Магалинский И. В.
Gepubliceerd in: (Новополоцк, ПГУ им. Евфросинии Полоцкой, 2021)

Логика: учебник и практикум для бакалавров
door: Сковиков А. К. Алексей Константинович
Gepubliceerd in: (Москва, Юрайт, 2013)

Теория дедуктивных систем и ее применения
door: Маслов С. Ю. Сергей Юрьевич
Gepubliceerd in: (Москва, Радио и связь, 1986)

Математическая логика и теория алгоритмов учебно-методическое-пособие
door: Геут К. Л.
Gepubliceerd in: (Екатеринбург, 2017)

Логика: учебное пособие
door: Руденко А. М. Андрей Михайлович
Gepubliceerd in: (Ростов-на-Дону, Феникс, 2019)

Индуктивная и дедуктивная логика: 8-е бесплатное приложение к журналу "Самообразование"
door: Минто У. Уильям
Gepubliceerd in: (СПб., Санкт-Петербургская Электропечатня, 1902)

Прикладная логика информатики
door: Козачков Л. С. Лев Семенович
Gepubliceerd in: (Киев, Наукова думка, 1990)

Логика учебное пособие
door: Дрянных Н. В.
Gepubliceerd in: (Вологда, ВоГУ, 2014)

Дедуктивная и индуктивная логика: пер. с англ.
door: Минто У. Уильям
Gepubliceerd in: (Москва, Типография Т-ва И. Д. Сытина, 1896)

Категорная логика учебник для вузов
door: Васюков В. Л. Владимир Леонидович
Gepubliceerd in: (Москва, Юрайт, 2025)

Основы логической семантики: учебное пособие
door: Смирнова Е. Д. Елена Дмитриевна
Gepubliceerd in: (Москва, Высшая школа, 1990)

Категорная логика учебное пособие для вузов
door: Васюков В. Л. Владимир Леонидович
Gepubliceerd in: (Москва, Юрайт, 2023)

Категорная логика учебное пособие для вузов
door: Васюков В. Л. Владимир Леонидович
Gepubliceerd in: (Москва, Юрайт, 2024)

Категорная логика учебное пособие для вузов
door: Васюков В. Л. Владимир Леонидович
Gepubliceerd in: (Москва, Юрайт, 2022)

Категорная логика учебное пособие для вузов
door: Васюков В. Л. Владимир Леонидович
Gepubliceerd in: (Москва, Юрайт, 2021)

Системы искусственного интеллекта: учебное пособие для вузов
door: Девятков В. В. Владимир Валентинович
Gepubliceerd in: (Москва, Изд-во МГТУ, 2001)

Исследования по теории алгорифмов и математической логике: сборник
Gepubliceerd in: (Москва, Наука, 1979)

Логика и навыки критического мышления: учебное пособие
door: Брылина И. В. Ирина Владимировна
Gepubliceerd in: (Томск, Изд-во ТПУ, 2020)

Логика для студентов гуманитарных факультетов
door: Кадыг-оол Х. К.
Gepubliceerd in: (Кызыл, ТувГУ, 2020)

Универсальная алгебра, алгебраическая логика и базы данных
door: Плоткин Б. И. Борис Исаакович
Gepubliceerd in: (Москва, Наука, 1991)

Топосы. Категорный анализ логики: пер. с англ.
door: Голдблатт Р.
Gepubliceerd in: (Москва, Мир, 1983)

Габитус, идентичность, обусловленность и когерентность в топологике местных сообществ; Известия Томского политехнического университета [Известия ТПУ]; Т. 323, № 6 : Экономика. Философия, социология и культурология. История
door: Макогон Т. И. Татьяна Ивановна
Gepubliceerd in: (2013)

Логика: теория аргументации и критического мышления
door: Воробьева С. В.
Gepubliceerd in: (Минск, БГУ, 2018)

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
door: Бабичева И. В.
Gepubliceerd in: (Санкт-Петербург, Лань, 2024)

Символическая логика: классическая и релевантная: философско - методологические аспекты; учебное пособие
door: Войшвилло Е. К. Евгений Казимирович
Gepubliceerd in: (Москва, Высшая школа, 1989)

Логические категории и понятия
door: Булатов М. А. Михаил Александрович
Gepubliceerd in: (Киев, Наукова думка, 1981)

Математическая логика и теория алгоритмов: учебное пособие
door: Шелупанов А. А. Александр Александрович
Gepubliceerd in: (Томск, STT, 2001)

Т. 13; Алгебра. Топология. Геометрия
Gepubliceerd in: (1975)

Кн. 1; Логика как часть теории познаний и научной методологии
Gepubliceerd in: (1994)

Исследование основных термодинамических процессов дедуктивным методом
door: Муравьев М. Д.
Gepubliceerd in: (Минск, Высшая школа, 1963)

Методы искусственного интеллекта
door: Осипов Г. С. Геннадий Семенович
Gepubliceerd in: (Москва, Физматлит, 2011)