Библиотечная система ФГБОУ ВО 'ИжГТУ имени М.Т.Калашникова'

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

Библиотечная БД - результаты поиска

Вид поиска

Библиотечная БД

Имидж-каталог

Учебно-методические пособия

Выпускные квалификационные работы

Учебно-методоческие издания

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=классическая логика<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

   87я7
   Н 53

    Непейвода, Н. Н.
    Прикладная логика [Text] : учебное пособие для вузов / Н. Н. Непейвода ; УдГУ ; Ин-т "Открытое общество". - Ижевск : Изд-во УдГУ, 1997. - 385 с. - Библиогр.: с. 375-376. - Предм. указ.: с. 377-382. - Персоналии: с. 383-384. - ISBN 5-7029-0074-Х (в пер.) : 25.00 р.

УДК

510.6(075)

ББК 87.4я7 + 87.41я7 + 87.42я7
Рубрики: ФИЛОСОФИЯ--ЛОГИКА--ЛОГИЧЕСКИЕ СИСТЕМЫ И ИСЧИСЛЕНИЯ--УЧЕБНИКИ И ПОСОБИЯ
МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
прикладная логика -- математическая логика -- высказывания (логика) -- логический синтаксис -- логическая семантика -- нестандартный анализ -- естественный вывод -- теории определений -- определения (логика) -- семантика -- неформализуемость (логика) -- классическая логика -- язык математики -- язык логики -- множества -- искусственный интеллект -- кодирование -- аксиомы

Экземпляры всего: 3
ООЛ (3)
Свободны: ООЛ (3)
Найти похожие

87.4
В 20

Васюков, В. Л.
Категорная логика [Text] : [монография] / Васюков В. Л. - М. : АНО Ин-т логики, 2005. - 194 с. : табл. - Библиогр.: с. 185-190. - Предм. указ.: с. 191-194. - ISBN 5-85593-145-5 : 55.00 р.

ББК 87.4 + 87.43
Рубрики: ФИЛОСОФИЯ--ЛОГИКА
Кл.слова (ненормированные):
логика -- категорная логика -- дедуктивные системы -- дедуктивные категории -- сопряжение (категорная логика) -- когерентность -- логические исчисления -- классическая логика -- интуиционистская логика -- модальная логика -- элементарная теория категорий

Экземпляры всего: 1
ОХиИФ (1), ООНЛ
Свободны: ОХиИФ (1)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)