Б 19 Бакаев, Александр Александрович. Экспертные системы и логическое программирование [] / А. А. Бакаев, В. И. Гриценко, Д. Н. Козлов ; отв. ред. А. А. Морозов ; Акад. наук Украины, Ин-т кибернетики им. В. М. Глушкова. - К. : Наук. думка, 1992. - 220 с. : рис., табл. - Лит.: с. 216-217. - ISBN 5-12-002735-0 : 6.00 крб
Рубрики: Дескриптивне програмування--Наукові видання Prolog, мова--Наукові видання Кл.слова (ненормовані): экспертные системы -- експертні системи -- логическое программирование -- дескриптивне програмування -- язык программирования ПРОЛОГ -- мова програмування ПРОЛОГ -- предикаты первого порядка -- предикати першого порядку -- способы логического вывода -- способи логічного висновку Анотація: Принципы создания экспертных систем и их разработка на языке программирования ПРОЛОГ. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Гриценко, Владимир Ильич; Козлов, Дмитрий Николаевич; Морозов, А. А. \ред.\; Академия наук Украины; Институт кибернетики им. В. М. Глушкова Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
М 15 Макаллистер, Дж. Искусственный интеллект и Пролог на микроЭВМ [] = Artificial Intelligence and PROLOG on Microcomputers / Дж. Макаллистер ; под ред. М. В. Сергиевского ; пер. с англ. А. В. Чувашова, М. В. Сергиевского. - М. : Машиностроение, 1990. - 240 с. : рис., табл. - Лит.: с. 236. - ISBN 5-217-00973-X : 2.40 р.
Рубрики: Штучний інтелект--Практичні посібники Prolog, мова--Практичні посібники Кл.слова (ненормовані): развитие искусственного интеллекта -- розвиток штучного інтелекту -- инженерия знаний -- інженерія знань -- экспертные системы -- експертні системи -- базы данных -- бази даних -- логические символы -- логічні символи -- эффективность программ -- ефективність програм -- рекурсивные определения -- рекурсивні визначення -- комбинации высказываний -- комбінації висловлювань -- логика -- базы знаний -- бази знань -- модификация записей -- модифікація записів -- специализированная система -- спеціалізована система -- навчальні системи -- обучающие системы Анотація: Использование языка программирования Пролог для построения баз данных, баз знаний и экспертных систем. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Сергиевский, М. В. \ред.\; Чувашов, А. В. \пер.\; Сергиевский, М. В. \пер.\ Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
С28 Себеста, Роберт У. Основные концепции языков программирования [] = Concepts of Programming Languages / Роберт У. Себеста ; под ред. Д. А. Клюшина ; пер. с англ. Д. А. Клюшина. - 5-е изд. - М. : Вильямс, 2001. - 672 с. : рис. - Лит.: с. 649-660. - Предм. указ.: с. 661-668. - ISBN 5-8459-0192-8 : 46.08 грн
Рубрики: Програмування--Мови програмування--Практичні посібники Кл.слова (ненормовані): Short Code -- FORTRAN -- LIPS -- ALGOL -- COBOL -- BASIC -- PL/I -- APL -- Prolog -- Pascal -- FLOW-MATIC -- SNOBOL -- Ada -- Smalltalk -- C++ -- Eiffel -- синтаксические графы -- синтаксичні графи -- синтаксический анализ -- синтаксичний аналіз -- концепция связывания -- концепція зв'язування -- типы данных -- типи даних -- арифметические выражения -- арифметичні вирази -- операторы присваивания -- оператори просвоювання -- операторы цикла -- оператори циклу -- подпрограммы -- підпрограми -- объектно-ориентированное программирование -- об'єктно-орієнтоване програмування -- параллельность -- паралельність -- обработка исключительных ситуаций -- обробка виняткових ситуацій -- функциональные языки программирования -- функціональні мови програмування -- языки логического программирования -- мови логічного програмування -- Java Анотація: Описано фундаментальные понятия программирования на примере вопросов различных языковых конструкций, подвергнуто критическому анализу их реализацию в широком спектре языков. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Клюшин, Д. А. \ред.\; Клюшин , Д. А. \пер.\ Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
П70 Пратт, Теренс. Языки программирования: разработка и реализация [] = Programming Languages: Design and Implementation / Т. Пратт, М. Зелковиц ; [под ред. А. Матросова ; пер. с англ. А. Михайловой]. - 4-е изд. - СПб. : Питер , 2002. - 688 с. : рис. - (Классика Сomputer Science). - Библиогр.: с. 669-674. - Алф. указ.: с. 675-688. - ISBN 5-318-00189-0 : 41.80 грн
Рубрики: Мови програмування--Розробка--Практичні посібники Моделі програмування--Практичні посібники Кл.слова (ненормовані): среда программирования -- середовище програмування -- машинная архитектура -- машинна архітектура -- синтаксис языка программирования -- синтаксис мови програмування -- свойства языка программирования -- властивості мови програмування -- типы данных -- типи даних -- инкапсуляция -- інкапсуляція -- управление последовательностью действий -- управління послідовністю дій -- управление подпрограммами -- управління підпрограмами -- управление памятью -- управління памятю -- обработка данных -- обробка даних -- сетевое программирование -- мережеве програмування -- Ada -- C -- C++ -- FORTRAN -- JAVA -- LISP -- VL -- Pascal -- Perl -- Postscript -- Prolog -- Smalltalk Анотація: Концепции разработки и реализации языков программирования, а также основы формальных грамматик и конечных автоматов - математических моделей, используемых для определения и реализации языков программирования. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Зелковиц, Марвин; Матросов, А. \ред.\; Михайлова, А. \пер.\ Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
Д55 Доорс, Джим. Пролог - язык программирования будущего [] = Prolog - Programming for Tomorrow / Дж. Доорс, А. Р. Рейблейн, С. Вадера ; пер. c англ. А. Н. Волкова. - М. : Финансы и статистика, 1990. - 144 с. : рис. - Прил.: с. 118-134. - Предм. указ.: с. 135-138. - Указ. операторов и процедур: с. 139. - ISBN 5-279-00444-8 : 1.10 р.
Рубрики: Мови програмування--Prolog, мова--Наукові видання Бази даних--Наукові видання Кл.слова (ненормовані): синтаксис программ -- синтаксис програм -- унификация -- уніфікація -- арифметические выражения -- арифметичні вирази -- структура данных -- структура даних -- рекурсия -- рекурсія -- операторы -- оператори -- модули -- модулі -- механизм возраста -- механізм віку -- встроенные предикаты -- вбудовані предикати Анотація: Рассмотрены синтаксические элементы и структура языка, арифметические функции, рекурсия, структуры данных, операторы и процедуры, встроенные функции для отладки программ и работы БД. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Рейблейн, Алан; Вадера, Сьюнил; Волков, А. Н. \пер.\ Примірників всього: 3 АБ (1), ВВ (1), ФОНД (1) Свободны: АБ (1), ВВ (1), ФОНД (1) |
С79 Стерн, Леон. Искусство программирования на языке Пролог [] = The art of Prolog Advaced Programming Technigues / Л. Стерн, Э. Шапиро ; пер. c англ.: С. Ф. Сопрунова, Л. В. Шабанова ; под ред. Ю. Г. Дадаева. - Москва : Мир, 1990. - 235 с. : рис., табл. - Прил.: с. 261-317. - Лит.: с. 318-323. - Предм. указ.: с. 324-328. - ISBN 5-03-000406-8 : 2.70 р.
Рубрики: Prolog, мова--Використання--Практичні посібники Кл.слова (ненормовані): логические программы -- логічні програми -- программирование баз данных -- програмування баз даних -- рекурсивное программирование -- рекурсивне програмування -- модель логических программ -- модель логічних програм -- множественные выражения -- множинні вирази -- методы поиска -- методи пошуку -- метаинтерпретаторы -- метаінтерпретатори -- решатель уравнений -- вирішувач рівнянь -- системные предикаты -- системні предикатори Анотація: Логическое программирование, описание языка Пролог, ввод-вывод, приемы и средства организации интерактивных программ, применение структур данных. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Шапиро, Эгуд; Сопрунов, С. Ф. \пер.\; Шабанов, Л. В. \пер.\; Дадаев, Ю. Г. \ред.\ Примірників всього: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1) |