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