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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=обчислення предикатів<.>

Загальна кількість знайдених документів : 4
Показані документи с 1 за 4

Форма документа : Однотомне видання
Шифр видання : 007:004.8/Э 51
Автор(и) : Элти, Джим, Кумбс, Майк
Назва : Экспертные системы: концепции и примеры
Паралельн. назви :Expert systems: concepts and examples
Вихідні дані : М.: Финансы и статистика, 1987
Кільк.характеристики :191 с.: рис.
Примітки : Лит.: с. 184-187
Ціна : 0.65 р.
УДК : 007:004.8
ББК : 32.816
Предметні рубрики: Експертні системи-- Класифікація
Географіч. рубрики:
Анотація: Методологические основы построения и классификация экспертных систем.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 007/П 62
Автор(и) : Поспелов, Дмитрий Александрович
Назва : Моделирование рассуждений. Опыт анализа мыслительных актов
Вихідні дані : М.: Радио и связь, 1989
Кільк.характеристики :184 с.: рис., табл.
Примітки : Лит.: с. 179-183
ISBN, Ціна 5-256-00183-3: 0.60 р.
УДК : 007
ББК : 32.813
Предметні рубрики: Штучний інтелект-- Кібернетичні моделі
Географіч. рубрики:
Анотація: Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6/Н73
Автор(и) : Новиков, Петр Сергеевич
Назва : Элементы математической логики . -2-е изд., испр.
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1973
Кільк.характеристики :400 с
Серія: Математическая логика и основания математики
Примітки : Предм. указ.: с. 397-399
Ціна : 1.43 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6/М50
Автор(и) : Мендельсон, Элиот
Назва : Введение в математическую логику . -2-е изд., испр.
Паралельн. назви :Introduktion to mathematical logic
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1976
Кільк.характеристики :320 с.: рис.
Примітки : Лит.: с. 296-309. - Алф. указ.: с. 310-317
Ціна : 1.65 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)