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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

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

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

Форма документа : Однотомне видання
Шифр видання : 004.42/Б 19
Автор(и) : Бакаев, Александр Александрович, Гриценко, Владимир Ильич, Козлов, Дмитрий Николаевич
Назва : Экспертные системы и логическое программирование
Вихідні дані : К.: Наук. думка, 1992
Кільк.характеристики :220 с.: рис., табл.
Колективи : Академия наук Украины, Институт кибернетики им. В. М. Глушкова
Примітки : Лит.: с. 216-217
ISBN, Ціна 5-12-002735-0: 6.00 крб
УДК : 004.42
ББК : 32.813
Предметні рубрики: Дескриптивне програмування
Prolog, мова
Географіч. рубрики:
Анотація: Принципы создания экспертных систем и их разработка на языке программирования ПРОЛОГ.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 004.891/Р79
Автор(и) : Рот, Михаэль
Назва : Интеллектуальный автомат: компьютер в качестве эксперта
Вихідні дані : М.: Энергоатомиздат, 1991
Кільк.характеристики :80 с.: рис.
ISBN, Ціна 5-283-02522-5: 6.55 крб
УДК : 004.891
ББК : 32.813
Предметні рубрики: Експертні системи
Комп'ютери-- Історія
Географіч. рубрики:
Анотація: Основы построения и практического применения экспертных систем, дан анализ эволюции компьютеров за последние три столетия.
Примірники :ФОНД(1)
Вільні : ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 004.42:004.891/Т23
Автор(и) : Таунсенд, Карл, Фохт, Деннис
Назва : Проектирование и программная реализация экспертных систем на персональных ЭВМ
Паралельн. назви :Designing and programming personal expert systems
Вихідні дані : М.: Финансы и статистика, 1990
Кільк.характеристики :320 с.: рис.
Примітки : Прил.: с. 272-307. - Глоссарий: с. 307-313. - Лит.: с. 314-315
ISBN, Ціна 5-279-00255-0: 4.50 р.
УДК : 004.42:004.891
ББК : 32.813
Предметні рубрики: Експертні системи
Анотація: Методы и приемы программирования экспертных систем, технология описана с применением языка Форт.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 004.03/Д40
Автор(и) : Джексон, Питер
Назва : Введение в экспертные системы . -3-е изд.
Паралельн. назви :Introduction to Expert Systems
Вихідні дані : М.; СПб.; Киев: Вильямс, 2001
Кільк.характеристики :624 с.: рис., табл.
Примітки : Прил.: с. 535-596. - Лит.: с. 597-616. - Предм. указ.: с. 617-622
ISBN, Ціна 5-8459-0150-2: 32.30 грн
УДК : 004.03
ББК : 32.973.23-018.2
Предметні рубрики: Експертні системи-- Програмування
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): искусственный интеллект--штучний інтелект--представление знаний--уявлення знань--символические представления--символічні уявлення--канонические системы--канонічні системи--ассоциативные сети--асоціативні мережі--системы фреймов--системи фреймів--объектно-ориентированное программирование--об'єктно-орієнтоване програмування--логическое программирование--логічне програмування--приобретение знаний--набуття знань--эвристическая классификация--евристична класифікація--средства формирования пояснений--засоби формування пояснень--системы отслеживания--системи відстеження--формирование знаний--формування знань--сети доверия--мережі довіри--гибридные системы--гібридні системи
Анотація: Теория и проектирование экспертных систем: базовые концепции технологии экспертных систем, специализированные языки представления знаний, диагностика и конструирование.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 519.854/К82
Автор(и) : Кривий, Сергій Лук'янович
Назва : Дискретна математика. Вибрані питання : навч. посібник
Вихідні дані : К.: Києво-Могил. акад., 2007
Кільк.характеристики :570, [2] с.: рис., табл.
Колективи : Міністерство освіти і науки України, Інститут кібернетики імені В. М. Глушкова НАН України, Хмельницький національний університет
Примітки : Бібліогр.: с. 550-564
ISBN, Ціна 978-966-518-432-4: 35.00 грн
УДК : 519.854
ББК : 22.174
Предметні рубрики: Дискретна математика
Географіч. рубрики:
Анотація: Розглянуто основні поняття теорії множини та відношень, загальної алгебри, математичної логіки і теорії алгоритмів, представлені формальні логічні мови.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 004.43/М19
Автор(и) : Малпас Дж.
Назва : Реляционный язык Пролог и его применение
Вихідні дані : Москва: Наука, 1990
Кільк.характеристики :464 с.: рис., табл.
Примітки : Прил.: с. 328-447. - Лит.: с. 448-458. - Предм. указ.: с. 459-463
ISBN, Ціна 5-02-014509-2: 3.50 р.
УДК : 004.43
ББК : 32.973.2-018
Предметні рубрики: Pascal, мова-- Програмування-- Методика-- Застосування
Географіч. рубрики:
Анотація: Реляционный язык программирования Пролог, рассматривается методика программирования и конкретные приложения.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

Форма документа : Багатотомне видання
Шифр видання : 004.43/Х99
Автор(и) : Хювёнен, Ээро
Назва : Мир Лиспа = LISP-MAAILMA: в 2 т./ Э. Хювёнен, Й. Сеппянен ; пер. с фин. А. А. Рейтсакаса ; под ред. В. Л. Стефанюка. Т. 2: Методы и системы программирования
Паралельн. назви :Ohjelmointimenetelmat ja -jarjestelmat
Вихідні дані : Москва: Мир, 1990 - 1990
Кільк.характеристики :319 с.: рис., табл.
Примітки : Прил.: с. 297-308 - Предм. указ.: с. 309-312
ISBN, Ціна 5-03001936-7: 1.10 р.
УДК : 004.43
ББК : 32.973.2-018
Предметні рубрики: Lisp, мова-- Програмування-- Методи
Географіч. рубрики:
Анотація: Методы и средства программирования: задачи символьной обработки информации, обработка естественных языков, искусственного интеллекта, экспертных систем.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

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