87я7 Н 53 Непейвода, Н. Н. Прикладная логика [Text] : учебное пособие для вузов / Н. Н. Непейвода ; УдГУ ; Ин-т "Открытое общество". - Ижевск : Изд-во УдГУ, 1997. - 385 с. - Библиогр.: с. 375-376. - Предм. указ.: с. 377-382. - Персоналии: с. 383-384. - ISBN 5-7029-0074-Х (в пер.) : 25.00 р.
Рубрики: ФИЛОСОФИЯ--ЛОГИКА--ЛОГИЧЕСКИЕ СИСТЕМЫ И ИСЧИСЛЕНИЯ--УЧЕБНИКИ И ПОСОБИЯ МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ И ПОСОБИЯ Кл.слова (ненормированные): прикладная логика -- математическая логика -- высказывания (логика) -- логический синтаксис -- логическая семантика -- нестандартный анализ -- естественный вывод -- теории определений -- определения (логика) -- семантика -- неформализуемость (логика) -- классическая логика -- язык математики -- язык логики -- множества -- искусственный интеллект -- кодирование -- аксиомы Экземпляры всего: 3 ООЛ (3) Свободны: ООЛ (3) |
62(06) Т 38 Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности) [Text] : сб. трудов науч.-техн. конф. с междунар. участием в рамках форума "Высокие технологии-2004" / ред. Атанов, Г. А. ; науч. ред.: Васильев, С. Н., Бельтюков, А. П., Непейвода, Н. Н. ; отв. ред.: Маслов, С. Г., Моченов, С. В. - Ижевск : Изд-во ИжГТУ, 2005. - 406 с. : ил., табл. - Библиогр. в конце трудов. - ISBN 5-93972-431-0 : 40-00 р. Передано в дар.
Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--НАУЧНЫЕ И ТЕХНИЧЕСКИЕ ОБЩЕСТВА,С'ЕЗДЫ,КОНГРЕССЫ,КОНФЕРЕНЦИИ,СИМПОЗИУМЫ,СЕМИНАРЫ,ВЫСТАВКИ--АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ НАРОДНОЕ ОБРАЗОВАНИЕ.ПЕДАГОГИКА Кл.слова (ненормированные): высокие технологии -- информационные технологии -- образование -- образовательная сеть -- наука -- промышленность -- интеллектуальные системы -- безопасность всемирная -- электронные издания -- САПР -- семантический анализ текста -- метаинформация -- датчики давления микроэлектронные -- мембраны плоские -- ИжГТУ -- конференции Доп.точки доступа: Атанов, Г. А. \ред.\; Васильев, С. Н. \науч. ред.\; Бельтюков, А. П. \науч. ред.\; Непейвода, Н. Н. \науч. ред.\; Маслов, С. Г. \отв. ред.\; Моченов, С. В. \отв. ред.\ Экземпляры всего: 2 ОХФ (2) Свободны: ОХФ (2) |