87я7 Н 53 Непейвода, Н. Н. Прикладная логика [Text] : учебное пособие для вузов / Н. Н. Непейвода ; УдГУ ; Ин-т "Открытое общество". - Ижевск : Изд-во УдГУ, 1997. - 385 с. - Библиогр.: с. 375-376. - Предм. указ.: с. 377-382. - Персоналии: с. 383-384. - ISBN 5-7029-0074-Х (в пер.) : 25.00 р.
Рубрики: ФИЛОСОФИЯ--ЛОГИКА--ЛОГИЧЕСКИЕ СИСТЕМЫ И ИСЧИСЛЕНИЯ--УЧЕБНИКИ И ПОСОБИЯ МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ И ПОСОБИЯ Кл.слова (ненормированные): прикладная логика -- математическая логика -- высказывания (логика) -- логический синтаксис -- логическая семантика -- нестандартный анализ -- естественный вывод -- теории определений -- определения (логика) -- семантика -- неформализуемость (логика) -- классическая логика -- язык математики -- язык логики -- множества -- искусственный интеллект -- кодирование -- аксиомы Экземпляры всего: 3 ООЛ (3) Свободны: ООЛ (3) |
87.4я7 К 14 Казаков, А. Н. Логика-I [Текст] : парадоксология : учеб. пособие для лицеев, колледжей, гимназий и вузов / Казаков А. Н., Якушев А. О. - 2-е изд., доп. и перераб. - Ижевск : Издат. дом Удм. ун-т, 1999. - 320 с. : ил. - Имен. указ.: с. 301-306.- Предм. указ.: с. 307-313. - ISBN 5-7029-0274-2 (в пер.) : 40.00 р. Рубрики: ФИЛОСОФИЯ--ЛОГИКА Кл.слова (ненормированные): логика -- парадоксология -- парадоксы (логика) -- доказательство (логика) -- смысл (логика) -- семиотика -- логическая семантика -- логический синтаксис -- истина и ложь (логика) -- дедукция (логика) -- индукция (логика) Доп.точки доступа: Якушев, А. О. Экземпляры всего: 1 ОХиИФ (1) Свободны: ОХиИФ (1) |