87я7
   Н 53


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

Кл.слова (ненормированные):
прикладная логика -- математическая логика -- высказывания (логика) -- логический синтаксис -- логическая семантика -- нестандартный анализ -- естественный вывод -- теории определений -- определения (логика) -- семантика -- неформализуемость (логика) -- классическая логика -- язык математики -- язык логики -- множества -- искусственный интеллект -- кодирование -- аксиомы

Экземпляры всего: 3
ООЛ (3)
Свободны: ООЛ (3)

531.1(075)
Н 74


    Новожилов, А. И.
    Краткий курс теоретической механики [Text] : учеб. пособие [для вузов] / Новожилов, А. И. ; ред. Филимонов, В. Н. - Владимир : Владимир. гос. ун-т, 2003. - 189 с. : ил. - ISBN 5-89368-411-7 : 30-00 р.
УДК
Рубрики: МЕХАНИКА--ОБЩАЯ МЕХАНИКА
Кл.слова (ненормированные):
теоретическая механика -- статистика -- уравнения равновесия -- трение -- кинематика -- динамика -- аксиомы динамики -- теоремы динамики -- Даламбера принципы решения задач -- Лагранжа уравнения -- колебания -- удар -- задачи -- тесты


Доп.точки доступа:
Филимонов, В. Н. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)

74.584(2)
М 50


   
    Менеджмент качества в вузе [Text] / Агранович Б. Л. [и др.] ; под ред.: Ю. П. Похолкова, А. И. Чучалина. - М. : Логос, 2005. - 206 с. : ил., табл. - Библиогр.: с. 203-206. - ISBN 5-94010-395-2 : 30.00 р.
ББК 74.584(2)
Рубрики: НАРОДНОЕ ОБРАЗОВАНИЕ.ПЕДАГОГИКА--ВЫСШЕЕ ОБРАЗОВАНИЕ.ПЕДАГОГИКА ВЫСШЕЙ ШКОЛЫ
Кл.слова (ненормированные):
высшее образование -- качество образования -- менеджмент качества -- инновационное образование -- интернационализация образования -- TQM организации -- Деминга аксиомы -- ИСО 9001:2000 -- аттестация -- самоаттестация


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