519.8
   Д706
   
    Достоверный и правдоподобный вывод в интеллектуальных системах : учеб. пособие для вузов по напр. "Прикл. математика и информатика", "Информатика и вычисл. техника" / Под ред. В.Н. Вагина, Д.А. Поспелова. - Изд. 2-е, испр. и доп. - М. : ФИЗМАТЛИТ, 2008. - 710 с. : ил. - ISBN 978-5-9221-0962-8 : 660 р.
Допущено МО РФ
ГРНТИ 28.29.03
28
УДК:519.816(075.8)007(075.8)

Рубрики: Теория принятия решений--Учебные пособия --- Кибернетика ---
Ключевые слова: интеллектуальные системы -- достоверный вывод -- правдоподобный вывод -- формальные системы -- автоматическое доказательство теорем -- вывод на графе связей -- вывод на графе дизъюнктов -- вывод на аналитических таблицах -- вывод на иерархических структурах -- аргументация -- абдукция -- монотонные модальные логики -- немонотонные модальные логики -- логическое программирование -- индукция -- обобщение -- учебные пособия
Доп.точки доступа: Вагин, Вадим Николаевич \ред.\ --- Поспелов, Дмитрий Александрович \ред.\ ---
Экземпляры всего: 5
Mесто хранения: чз (3), аб (2)
Свободны: чз (3), аб (2)

   6П2.154
   П627
    Поспелов, Дмитрий Александрович.
    Логико-лингвистические модели в системах управления : научное издание / Д. А. Поспелов. - М. : Энергоиздат, 1981. - 231 с. : ил. - 1.70 р.
ГРНТИ 50.47
УДК:681.5

Рубрики: Автоматизация--Логико-лингвистические модели ---
Ключевые слова: системы управления -- логико-лингвистические модели -- реляционные языки -- предикатные языки -- ситуационное управление -- семиотические модели
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

   6П2.154
   П627
    Поспелов, Дмитрий Александрович.
    Ситуационное управление : Теория и практика / Д. А. Поспелов. - М. : Наука, 1986. - 288 с. : ил. - (Проблемы искусственного интеллекта). - 2.70 р.
ГРНТИ 50
УДК:681.51

Рубрики: Автоматизация--Ситуационное управление ---
Ключевые слова: ситуационное управление -- искусственный интеллект
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

   6П2.154
   В188
    Варшавский, Виктор Ильич.
    Оркестр играет без дирижера : Размышления об эволюции некоторых техн. систем и упр. ими / В. И. Варшавский, Д. А. Поспелов. - М. : Наука, 1984. - 207 с. - (Проблемы науки и технического прогресса). - 0.65 р.
ГРНТИ 50.43
УДК:681.51

Рубрики: Автоматизация--Технические системы--Управление ---
Ключевые слова: управление техническими системами -- децентрализованное управление
Доп.точки доступа: Поспелов, Дмитрий Александрович ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)

   6П2.154
   З-382
    Захаров, Валерий Николаевич.
    Системы управления : Задание. Проектирование. Реализация / В. Н. Захаров, Д. А. Поспелов, В. Е. Хазацкий. - 2-е изд., перераб. и доп. - М. : Энергия, 1977. - 423 с. : ил. - 2.50 р.
В б-ке есть изд. 1972 г.
ГРНТИ 50.43
УДК:681.52

Рубрики: Автоматическое управление--Задания ---
Ключевые слова: ЭВМ -- формальные задания -- технические задания -- экономическая эффективность систем
Доп.точки доступа: Поспелов, Дмитрий Александрович --- Хазацкий, Вилий Ефимович ---
Экземпляры всего: 3
Mесто хранения: кх (3)
Свободны: кх (3)

   6П2.154
   П627
    Поспелов, Дмитрий Александрович.
    Логические методы анализа и синтеза схем : научное издание / Д. А. Поспелов. - 2-е изд., перераб. и доп. - М. : Энергия, 1974. - 368 с. - 1.16 р.
ГРНТИ 50.43
УДК:681.58

Рубрики: Автоматика--Логические элементы ---
Ключевые слова: дискретные системы -- анализ логических элементов -- синтез логических элементов
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)