Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Базы данных

Електронний каталог ЖОУНБ ім. О. Ольжича- результаты поиска

Вид поиска

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=обчислення висловлювань<.>

Общее количество найденных документов : 2
Показаны документы с 1 по 2

007
П 62

Поспелов, Дмитрий Александрович.
Моделирование рассуждений. Опыт анализа мыслительных актов [] / Д. А. Поспелов. - М. : Радио и связь, 1989. - 184 с. : рис., табл. - Лит.: с. 179-183. - ISBN 5-256-00183-3 : 0.60 р.

УДК

007

ББК 32.813
Рубрики: Штучний інтелект--Кібернетичні моделі--Популярні видання

фывфывфыв:
формальные рассуждения -- формальні міркування -- человеческие рассуждения -- людські міркування -- силлогистика Аристотеля -- силогістика Арістотеля -- моделирование силлогистики -- моделювання силогістики -- исчисление высказываний -- обчислення висловлювань -- исчисление предикатов -- обчислення предикатів -- нечеткая силлогистика -- нечітка силогістика -- интеллектуальная система -- інтелектуальна система -- семантическая сеть -- семантична мережа -- управление выводами -- управління висновками -- продукционные системы -- продукційні системи -- герменевтика -- забытые науки -- забуті науки
Аннотация: Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Найти похожие

004.891
Р79

Рот, Михаэль.
Интеллектуальный автомат: компьютер в качестве эксперта [] / М. Рот ; пер. с нем. А. П. Свиридова. - М. : Энергоатомиздат, 1991. - 80 с. : рис. - ISBN 5-283-02522-5 : 6.55 крб

УДК

004.891

ББК 32.813
Рубрики: Експертні системи--Практичні посібники
Комп'ютери--Історія--Практичні посібники

фывфывфыв:
эволюция ЭВМ -- еволюція ЕОМ -- логическое программирование -- логічне програмування -- исчисление высказываний -- обчислення висловлювань -- логика предикатов -- логіка предикатів -- языки логического программирования -- мови логічного програмування -- ЭВМ четвертого поколения -- ЕОМ четвертого покоління -- ЭВМ пятого поколения -- ЕОМ п'ятого покоління -- диагностические экспертные системы -- діагностичні експертні системи -- машина логического вывода -- машина логічного виводу -- процедурное знание -- процедурне знання -- продукционная система -- продукційна система
Аннотация: Основы построения и практического применения экспертных систем, дан анализ эволюции компьютеров за последние три столетия.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Свиридов, А. П. \пер.\
Экземпляры всего: 1
ФОНД (1)
Свободны: ФОНД (1)
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)