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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

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

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

   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я7
   К 14

    Казаков, А. Н.
    Логика-I [Текст] : парадоксология : учеб. пособие для лицеев, колледжей, гимназий и вузов / Казаков А. Н., Якушев А. О. - 2-е изд., доп. и перераб. - Ижевск : Издат. дом Удм. ун-т, 1999. - 320 с. : ил. - Имен. указ.: с. 301-306.- Предм. указ.: с. 307-313. - ISBN 5-7029-0274-2 (в пер.) : 40.00 р.

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

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

87.4
Ф 86

Фреге, Г.
Логика и логическая семантика [Text] : сб. тр. / Фреге Г. ; под ред. Кузичевой З. А. ; пер. с нем. Бирюкова Б. В. - М. : Аспект Пресс, 2000. - 512 с. : ил. - Имен. указ.: с. 509-511. - ISBN 5-7567-0128-1 (в пер.) : 163.80 р.

ББК 87.4 + 87.41 + 87.42
Рубрики: ФИЛОСОФИЯ--ЛОГИКА
Кл.слова (ненормированные):
логика -- алгебра логики -- логическая семантика -- логические исследования -- Фреге формализованная арифметика -- понятие

Доп.точки доступа:
Кузичева, З. А. \ред.\; Бирюков, Б. В. \пер.\
Экземпляры всего: 1
ООНЛ (1), ОХиИФ
Свободны: ООНЛ (1)
Найти похожие

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

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