Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (11)
"Руконт"-Национальный цифровой ресурс (3)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=Пролог<.>)
Общее количество найденных документов
:
15
Показаны документы
с 1 по 15
1..15
1.
681.3
Д67
Доорс, Дж.
Пролог
- язык программирования будущего [] = Prolog - Programming for Tomorrow : пер. с англ / Дж. Доорс, А. Р. Рейблейн, С. Вадера ; Пер. А. Н. Волков. - М. : Финансы и статистика, 1990. - 142 с. : ил. - Библиогр.: с. 134. - Предм. указ.: с. 135-138. - Содержание : Синтаксис и унификация. Арифметические выражения. Рекурсия. Структуры данных. Операторы. Отсечение. Модули. Отладка. . -
ISBN
5-279-00444-8 (CCCР). - 0-905104-52 (Великобритания) : Б. ц.
ГРНТИ
50.05.09
20
УДК
681.3
ББК
24.4.1
Рубрики:
Информатика--Языки программирования
Аннотация:
Издание содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, операторы и процедуры.
Держатели документа:
МУБиНТ
Доп.точки доступа:
Рейблейн, А. Р.; Вадера, С.; Волков, А. Н. \пер.\ МУБиНТ/ЧЗ
Свободных экз. нет
Найти похожие
2.
681.3
Я41
Язык
Пролог
в
пятом поколении ЭВМ [] : сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский . - М. : Мир, 1988. - 501 с. : ил. - Содержание : К вычислительным системам пятого поколения ; ESP- предварительная версия базового языка программирования компьютеров пятого поколения ; Абстрактные типы данных в PROLOG/KR ; Расширение
пролог
а для работы с негативными знаниями ; ShapeUp- язык обработки информационных знаний ; Операционная система последовательной машины вывода - основные концепции ; Объктно-ориентированное программирование в Параллельном
Пролог
е ; Слияние с ограниченным ожиданием в Параллельном
Пролог
е Шапиро ; Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном
Пролог
е ; Упорядочивание редукции процессов в Параллельном
Пролог
е ; Многоканальное слияние с постоянной задержкой в Параллельном
Пролог
е ;
Пролог
средствами функционального программирования ; Эффективный алгоритм управления памятью
Пролог
-программ, допускающий гибкие стратегии управления ; Максимальные унифицируемые и минимальные неунифицированные подмножества ; Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины ; ORBIT- параллельная модель выполнения
Пролог
-программ ; Конвейерный
Пролог
-процессор ; ИЛИ - параллельная потоковая
Пролог
-машина ; Последовательная
Пролог
-машина РЕК ; Спецификация и инициализация логической вычислительной системы ; Система восходящего грамматического разбора (ВГР), встроенная в
Пролог
; Применение
Пролог
а для синтеза логических схем ;
Пролог
и автоматическое доказательство теорем ; Исчисление событий, основанное на логике ; Определение чисто функционального языка HASL средствами языка
Пролог
; Логическое программироание как средство разработки экспертных систем ; Преобразование программ посредством метасдвига ; Трансляция продукционных правил в
Пролог
-программу с прямой стратегией вывода . -
ISBN
5-03-000537-4 : Б. ц.
ГРНТИ
50.05.09
УДК
681.3
681.3.06
ББК
22.18
Рубрики:
Информатика--Языки программирования
Аннотация:
Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Держатели документа:
МУБиНТ
Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\ МУБиНТ/ЧЗ
Свободных экз. нет
Найти похожие
3.
З973
Х68
Хоггер, Кристофер Джон
.
Введение в логическое программирование [Текст] : нелитературный текст / К. Д.Хоггер ; Пер.с англ. - М. : Мир, 1988. - 348с. -
ISBN
5-03-000490-4 : 30.00 р.
ББК
З973
Рубрики:
Вычислительная техника
Программирование
Кл.слова (ненормированные):
б-ка Русина
--
логическое программирование
--
программы
--
Пролог
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В174
Н13
Набебин, Алексей Александрович
.
Логика и
пролог
в дискретной математике [Текст] : нелитературный текст / А. А.Набебин. - М. : Издательство МЭИ, 1996. - 451 с. -
ISBN
5-7046-0162-6 : 45.00 р.
ББК
В174
Рубрики:
комбинаторный анализ
кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
пролог
язык программирования
--
монадическая логика
--
теория автоматов
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
5.
З973.2-018.1я43
Я41
Язык
Пролог
в
пятом поколении ЭВМ [Текст] : сб. статей / пер. с англ. - М. : Мир, 1988. - 501 с. -
ISBN
5-03-000537-4 : 5.00 р.
ББК
З973.2-018.1я43
Рубрики:
Программирование
Кл.слова (ненормированные):
б-ка Русина
--
логическое программирование
--
языки программирование
--
пролог
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
6.
87.3(3)
Ш87
Штайнер, Р.
Истина и наука [Текст] :
пролог
к"Философии свободы" / Р.Штайнер ; Р.Штейнер. - М. : Моск.Центр вальдорфской педагогики, 1992. - 55с. -
ISBN
5-85251-002-5 : 910,00 р.
ББК
87.3(3)
Рубрики:
34.Философские науки.
Кл.слова (ненормированные):
Философия немецкая.
Держатели документа:
ЯрЦБС ЯрЦБС/АБ,ООФ,Ф10
Свободных экз. нет
Найти похожие
7.
63.3(0)53
П26
Первая мировая война
[Текст] :
пролог
ХХ века / Отв.ред.В.Л.Мальков. - М. : Наука, 1999. - 697с. -
ISBN
5-02-008662-2 : Б. ц.
ББК
63.3(0)53
Рубрики:
17.История.Исторические науки.
Держатели документа:
ЯрЦБС ЯрЦБС/ЧЗ
Свободных экз. нет
Найти похожие
8.
681.3
Д67
Доорс, Дж.
Пролог
- язык программирования будущего [Текст] / Дж. Доорс, А. Р. Рейблейн, С. Вадера; Пер. А. Н. Волков = Prolog - Programming for Tomorrow / J. Doores, A.R. Reiblein, S. Vadera : Пер. с англ. - М. : Финансы и статистика, 1990. - 142 с. : рис. - Библиогр.: с. 134. - Предм. указ.: с. 135-138. -
ISBN
5-279-00444-8 (CCCР). - 0-905104-52 (Великобритания) : 1.10 р.
Содержание:
Синтаксис и унификация. Арифметические выражения. Рекурсия. Структуры данных. Операторы. Отсечение. Модули. Отладка.
ГРНТИ
50.05.09
20
УДК
681.3
ББК
24.4.1
Рубрики:
Информатика--Языки программирования
Аннотация:
Издание содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, операторы и процедуры.
Держатели документа:
МУБиНТ
Доп.точки доступа:
Рейблейн, А. Р.; Вадера, С.; Волков, А. Н. \пер.\
Экземпляры всего:
1
ЧЗ (1)
Свободны:
ЧЗ (1)
Найти похожие
9.
681.3
Я41
Язык
Пролог
в
пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. -
ISBN
5-03-000537-4 : 2.60 р.
Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение
пролог
а для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном
Пролог
е
Слияние с ограниченным ожиданием в Параллельном
Пролог
е Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном
Пролог
е
Упорядочивание редукции процессов в Параллельном
Пролог
е
Многоканальное слияние с постоянной задержкой в Параллельном
Пролог
е
Пролог
средствами функционального программирования
Эффективный алгоритм управления памятью
Пролог
-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения
Пролог
-программ
Конвейерный
Пролог
-процессор
ИЛИ - параллельная потоковая
Пролог
-машина
Последовательная
Пролог
-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в
Пролог
Применение
Пролог
а для синтеза логических схем
Пролог
и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка
Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в
Пролог
-программу с прямой стратегией вывода
ГРНТИ
50.05.09
УДК
681.3
681.3.06
ББК
22.18
Рубрики:
Информатика--Языки программирования
Аннотация:
Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Держатели документа:
МУБиНТ
Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\
Экземпляры всего:
1
ЧЗ (1)
Свободны:
ЧЗ (1)
Найти похожие
10.
>
Шифр: ПТПУ/1997/1
Журнал
Проблемы теории и
практики управления [Текст]. - М. : Финпресс, 1983 - . - ISSN 0234-4505. - Выходит раз в два месяца
1997 г. № 1
Содержание:
Объединение инфраструктур в транснациональную сеть - катализатор процесса создания единой Европы.
Кнаупе, Х. Й. Правила игры сегодня определяет международная конкуренция.
/ Х. Й. Кнаупе
Штольпе, М. Приграничное сотрудничество: возможности малых и средних предприятий в Бранденбурге и Польше.
/ М. Штольпе
Кнооп, А. Многоаспектная сервис-программа для немецких предприятий.
/ А. Кнооп
Маршев, В. Куда движется управленческая мысль.
/ В. Маршев
Голдман, М. Теория управления в США и России: сравнительный анализ.
/ М. Голдман
Лютанс, Ф. Концепция организационного поведения: прошлое как
пролог
к настоящему и будущему.
/ Ф. Лютанс
Данилов, А. Уроки социально-экономической трансформации.
/ А. Данилов
Костин, Г. Опыт управления: успехи и неудачи.
/ Г. Костин
Кисунько, Г. Проблема экономической преступности в России.
/ Г. Кисунько
Саморукова, А. Румыния: аграрная реформа и продовольственная безопасность.
/ А. Саморукова
Соболева, И. Политика занятости в России и мировой опыт.
/ И. Соболева
Дегтярь, Л. Государственная политика на рынке квалифицированного труда: опыт стран Центральной и Восточной Европы.
/ Л. Дегтярь
Василенко, И. Административно-государственное управление: опыт Франции.
/ И. Василенко
Дорогов, Н. Управление экономикой при многообразии форм собственности.
/ Н. Дорогов
Новрузов, Р. Об эффективности управления государственной собственностью.
/ Р. Новрузов
Райсс, М. Границы "безграничных" предприятий: перспективы сетевых организаций.
/ М. Райсс
Бородин, В. Проектирование структуры инновационной научно-технической фирмы.
/ В. Бородин
Сестр, Г. Стратегическое значение информации и роль базы данных в маркетинге.
/ Г. Сестр
Хэдрих, Г. Стратегические факторы успеха на рынках потребительских товаров.
/ Г. Хэдрих, Т. Йеннер
Давиденко, Н. Финансовый менеджмент: эволюция взглядов и уточнение предмета.
/ Н. Давиденко, А. Кудашев
Радченко, Я. М.М. Сперанский: взгляды на организацию и управление. К 225-летию со дня рождения.
/ Я. Радченко
Имеются экземпляры в отделах:
всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
11.
З973.2-018.1я73
Ш 85
Шрайнер, Павел Александрович
.
Основы программирования на языке
Пролог
[] : курс лекций : учеб. пособие для вузов / П. А. Шрайнер. - М. : Интернет-Ун-т Информационных Технологий, 2005. - 173 с. - (Основы информационных технологий). -
ISBN
5-9556-0034-5 : 150.00 р.
ББК
З973.2-018.1я73
Рубрики:
Программирование
Кл.слова (ненормированные):
логическое программирование
--
языки программирования
--
Пролог
--
учебник З973.2-018.1
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
12.
В185.2я73
Р 82
Рублев, Вадим Сергеевич
.
Языки логического программирования [] : учеб. пособие для вузов / В. С. Рублев. - Ярославль : [б. и.], 2007. - 143 с. -
ISBN
978-5-8397-0574-6 : 39.72 р.
ББК
В185.2я73
Рубрики:
Программирование
Кл.слова (ненормированные):
языки программирования
--
логическое программирование
--
РЕФАЛ язык
--
ПРОЛОГ
язык
--
модель Бэкуса
--
учебник В185.2
--
учебник З973.2
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
13.
004
К15
Каймин, В. А.
Информатика [Текст] : учебник / В.А. Каймин. - М. : ИНФРА-М, 2000. - 232 с. : ил. - (Высшее образование). - Библиогр.: с.229 - Глоссарий: с.221 . -
ISBN
5-16-000170-0 : 34.00 р.
ГРНТИ
20.01
УДК
004
Кл.слова (ненормированные):
персональные компьютеры
--
информационные технологии
--
искусственный интеллект
--
алгоритмизация
--
основы программирования
--
Пролог
--
Интерпретатор языка
Пролог
--
ИНТЕРНЕТ
--
БАЗЫ ДАННЫХ
--
РЕШЕНИЕ ЗАДАЧ
--
МАТЕМАТИЧЕСКАЯ ЛОГИКА
--
ЛОГИЧЕСКИЕ операции
--
олимпиадные ЗАДАЧИ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
14.
004
М74
Могилев, А. В.
Информатика [Текст] : учеб. пособие для вузов / А.В. Могилев, Н.И. Пак, Е.К. Хеннер. - 2-е изд., стер. - М. : Академия, 2003. - 816 с. : граф., рис., табл. - (Высшее образование). - Библиогр. в конце глав. -
ISBN
5-7695-0330-0 (в пер.) : 173.40 р.
ГРНТИ
20
УДК
004
Кл.слова (ненормированные):
информация
--
алгоритм
--
структуры данных
--
операционные системы
--
трансляция программ
--
текстовый редактор
--
компьютерная графика
--
базы данных
--
электронные таблицы
--
MATHCAD
--
компьютерные тесты
--
компьютерные вирусы
--
компьютерные игры
--
языки программирования
--
Паскаль
--
Турбо-Паскаль
--
Бейсик
--
Си
--
Пролог
--
ЛИСП
--
микропроцессоры
--
компьютерные сети
--
UNIX
--
АСУ
--
компьютерное моделирование
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Пак, Н.И.; Хеннер, Е.К.
Свободных экз. нет
Найти похожие
15.
519.7/8
К89
Кузнецов, В. Е.
Представление в ЭВМ неформальных процедур [Текст] : научное издание / В.Е. Кузнецов. - М. : Наука. Гл.ред. физ.-мат. лит., 1989. - 159 с. : рис., схем, табл. - (Проблемы искусственного интеллекта). - Библиогр.: с. 157-159. -
ISBN
5-02-014101-1 : 0.65 р.
ГРНТИ
27.47.23
УДК
519.7/8
Кл.слова (ненормированные):
АЛГОРИТМИЧЕСКИЕ
--
ПРОДУКЦИОННЫЕ
--
МОДЕЛИ
--
РЕЖИМ
--
ВОЗВРАТОВ
--
МАШИНА ПОСТА
--
ТЕЗИС ПОСТА
--
ХАНОЙСКИЕ БАШНИ
--
ЯЗЫК РЕФАЛ
--
СИСТЕМЫ
--
КАНОНИЧЕСКИЕ
--
ИСЧИСЛЕНИЯ ПОСТА
--
ЛОГИЧЕСКОЕ
--
ПРОГРАММИРОВАНИЕ
--
ЯЗЫК
ПРОЛОГ
--
К - СИСТЕМЫ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
1..15