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

Про нас

Електронний депозитарій 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)
Свободны: ВВ (1)
Знайти схожі

004.891
Р79

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

УДК

004.891

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

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

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

Дод.точки доступу:
Свиридов, А. П. \пер.\
Примірників всього: 1
ФОНД (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
Рубрики: Експертні системи--Практичні посібники
Кл.слова (ненормовані):
язык Форт -- мова Форт -- обработка списков -- обробка списків -- преобразование списков -- перетворення списків -- методы программирования -- методи програмування -- логическое программирование -- логічне програмування -- язык Пролог -- мова Пролог -- эвристический поиск -- евристичний пошук -- метарассуждения -- метаміркування -- параллельные вычисления -- парелельні обчислення -- распознавание образов -- розпізнання образів -- классификация образов -- класифікація образів -- свойства гиперплоскости -- властивості гіперплоскості -- підпрограми діагностики -- подпрограммы диагностики
Анотація: Методы и приемы программирования экспертных систем, технология описана с применением языка Форт.

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

Дод.точки доступу:
Фохт, Деннис; Контратенко, В. А. \пер.\; Трубицын, С. В. \пер.\; Осипов, Г. С. \авт. предисл.\
Примірників всього: 2
ВВ (1), ФОНД (1)
Свободны: ВВ (1), ФОНД (1)
Знайти схожі

004.03
Д40

Джексон, Питер.
Введение в экспертные системы [] = Introduction to Expert Systems / Питер Джексон ; [пер. с англ. В. Т. Тертышного ; под ред. В. Т. Тертышного]. - 3-е изд. - М. ; СПб. ; Киев : Вильямс, 2001. - 624 с. : рис., табл. - Прил.: с. 535-596. - Лит.: с. 597-616. - Предм. указ.: с. 617-622. - ISBN 5-8459-0150-2 : 32.30 грн

УДК

004.03

ББК 32.973.23-018.2
Рубрики: Експертні системи--Програмування--Популярні видання

Кл.слова (ненормовані):
искусственный интеллект -- штучний інтелект -- представление знаний -- уявлення знань -- символические представления -- символічні уявлення -- канонические системы -- канонічні системи -- ассоциативные сети -- асоціативні мережі -- системы фреймов -- системи фреймів -- объектно-ориентированное программирование -- об'єктно-орієнтоване програмування -- логическое программирование -- логічне програмування -- приобретение знаний -- набуття знань -- эвристическая классификация -- евристична класифікація -- средства формирования пояснений -- засоби формування пояснень -- системы отслеживания -- системи відстеження -- формирование знаний -- формування знань -- сети доверия -- мережі довіри -- гибридные системы -- гібридні системи
Анотація: Теория и проектирование экспертных систем: базовые концепции технологии экспертных систем, специализированные языки представления знаний, диагностика и конструирование.

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

Дод.точки доступу:
Тертышный, В. Т. \пер.\; Тертышный, В. Т. \ред.\
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

519.854
К82

Кривий, Сергій Лук'янович.
Дискретна математика. Вибрані питання [] : навч. посібник / С. Л. Кривий ; М-во освіти і науки України, Ін-т кіберн. ім. В. М. Глушкова НАН України, Хмельн. нац. ун-т. - К. : Києво-Могил. акад., 2007. - 570, [2] с. : рис., табл. - Бібліогр.: с. 550-564. - ISBN 978-966-518-432-4 : 35.00 грн

УДК

519.854

ББК 22.174
Рубрики: Дискретна математика--Навчальні видання для вищої школи

Кл.слова (ненормовані):
елементарна транзиційна система -- элементарная трансакционная система -- реактивна система -- реактивная система -- функціональна система -- функциональная система -- метод верифікації систем -- метод верификации систем -- логічне програмування -- логическое программирование -- теорія множин -- теория множеств -- теорія відношень -- теория отношений -- загальна алгебра -- общая алгебра -- математична логіка -- матемтическая логика -- теорія алгоритмів -- теория алгоритмов -- теорія графів -- теория графов -- теорія автоматів -- теория автоматов -- мережі Петрі -- сети Петри
Анотація: Розглянуто основні поняття теорії множини та відношень, загальної алгебри, математичної логіки і теорії алгоритмів, представлені формальні логічні мови.

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

Дод.точки доступу:
Міністерство освіти і науки України; Інститут кібернетики імені В. М. Глушкова НАН України; Хмельницький національний університет
Примірників всього: 1
ЧЗ (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)
Свободны: ВВ (1)
Знайти схожі

004.43
Х99

   Хювёнен, Ээро
    Мир Лиспа [Текст] = LISP-MAAILMA : в 2 т. / Э. Хювёнен, Й. Сеппянен ; пер. с фин. А. А. Рейтсакаса ; под ред. В. Л. Стефанюка. - Москва : Мир, 1990.
   Т. 2 : Методы и системы программирования = Ohjelmointimenetelmat ja -jarjestelmat. - 319 с. : рис., табл. - Прил.: с. 297-308 - Предм. указ.: с. 309-312. - ISBN 5-03001936-7 : 1.10 р.

УДК

004.43

ББК 32.973.2-018
Рубрики: Lisp, мова--Програмування--Методи--Навчальні видання

Кл.слова (ненормовані):
Lisp, язык -- операторное программирование -- операторне програмування -- продукционное программирование -- продукційне програмування -- логическое программирование -- логічне програмування -- объектное программирование -- об'єктне програмування -- качество программирования -- якість програмування -- среда Интерлиспа -- середовище Інтерліспа -- среда Зеталиспа -- середовище Зеталіспа -- Миксима -- Міксима -- язык сплетника -- мова пліткаря -- история Лиспа -- історія Ліспа -- Лисп-системы -- Лісп-системи -- Лисп-машины -- Лісп-машини
Анотація: Методы и средства программирования: задачи символьной обработки информации, обработка естественных языков, искусственного интеллекта, экспертных систем.

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

Дод.точки доступу:
Сеппянен, Йоуко; Рейтсакас, А. А. \пер.\; Стефанюк, В. Л. \ред.\
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

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