Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


Книжный фонд - результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=язык Пролог<.>
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
   22.18
   М19

    Малпас, Д.
    Реляционный язык Пролог и его применение [Текст] / Пер. с англ. А.А. Титова; Под ред. В.Н. Соболева. - М. : Наука, 1990. - 464 с. - 50.00 р.
ББК 22.18
Рубрики: Математика--математическая кибернетика
Кл.слова (ненормированные):
язык Пролог -- язык программирования -- программирование логическое -- логика -- запрос -- база данных -- арифметика -- структура данных -- список -- программа -- обработка текста -- сеть -- фрейм

Экз-ры: чзт(1)

” Цитировать
Найти похожие
2.
   32.813
   Р31

   
    Реальность и прогнозы искусственного интеллекта [Текст] : сборник научно-популярных статей / Пер. с англ.; Под ред. В. Стефанюка. - М. : Мир, 1987. - 247с. - 20.00 р.
ББК 32.813
Рубрики: Кибернетика--искусственный интеллект
Кл.слова (ненормированные):
автомат -- язык Липс -- программа -- язык программирования -- язык Паскаль -- отладчик -- автоматический -- система -- сеть -- сетевая модель -- искусственный интеллект -- экспертная система -- электронно-вычислительная машина -- память -- вычислительная техника -- кибернетика -- робот -- манипулятор -- язык Пролог -- Плэннер

Экз-ры: аб(1)

” Цитировать
Найти похожие
3.
   32.811
   К15

    Каймин, В. А.
    Информатика [Текст] : учебник / Каймин В.А. - М. : Проспект, 2007. - 272 с. - ISBN 9785482014 : 900.00 р.
ББК 32.811
Рубрики: Информатика--вычислительная техника
Кл.слова (ненормированные):
введение в информатику -- электронно-вычислительная машина -- работа на персональных ЭВМ -- редактирование -- обучение с помощью ЭВМ -- Internet -- интернет-технология -- работа в сети Интернет -- поиск информации в Интернет -- электронная почта -- создание сайта -- язык гипертекстов НTМL -- база данных -- программа -- программирование -- обработка данных -- язык Пролог -- интерпретатор -- Бейсик -- Паскаль -- гипертекст -- Web-дизайн -- информатика -- информация

Экз-ры: чз(1)

” Цитировать
Найти похожие
4.
   32.973
   И 74

   
    Информационные технологии проектирования радиоэлектронных средств [Текст] : учебное пособие для вузов / Ю. Л. Муромцев [и др.]. - М. : Академия, 2010. - 382 с. - ISBN 978-5-7695-6256-3 : 6300 р.
ГРНТИ
50
ББК 32.973
Рубрики: Электроника
Кл.слова (ненормированные):
Информационные технологии проектирования радиоэлектронных средств -- система автоматизированного проектирования -- цифровая схема -- программное обеспечение -- автоматизация проектирования -- база данных -- автоматизированная информационная система -- моделирование цифровых устройств -- автоматизированная система -- язык Пролог



Соавторы:
Муромцев, Ю.Л.; Муромцев, Д.Ю.; Тюрин, И.В.; Кольтюков, Н.А.
Экз-ры: чз(1)

” Цитировать
Найти похожие
5.
681.3
Г 91

    Грэй , П.
    Логика, алгебра и базы данных [Текст] : пер. с англ. Х.И. Килова, Г.Е. Минца / /Под ред. Г.В. Орловского. А.О. Слисенко. - Новое изд. - М. : Машиностроение, 1989. - 368 с. - ISBN 5-217-00178-Х : 300.00 р.
УДК
681.3
ББК 32.965
Рубрики: Информатика--база данных
Кл.слова (ненормированные):
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ЛАМБДА ВЫРАЖЕНИЯ -- ОБРАБОТКА СПИСКОВ -- ПРОГРАММА ДИЗЪЮНКТАМИ -- ЯЗЫК ПРОЛОГ -- ФУНКЦИОНАЛЬНЫЕ ОБОЗНАЧЕНИЯ -- РЕЛЯЦИОННАЯ МОДЕЛЬ -- РЕЛЯЦИОННЫЕ ИСЧИСЛЕНИЯ -- РЕЛЯЦИОННАЯ АЛГЕБРА -- АППЛИКАТИВНЫЙ ЯЗЫК -- МОДЕЛЬ ДАННЫХ -- КОДАСИЛ -- БАЗА ДАННЫХ "КУБОК МИРА" -- АСТРИД -- ДИАГРАММА БАХМАНА -- СИНТАКСИС ЯЗЫКА SQL -- ДАПЛЕКС

Экз-ры: аб(1)

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