Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю

Поиск в найденном
 Найдено в других БД:Электронный каталог МУБиНТ, г. Ярославль (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 (Великобритания) : Б. ц.
ГРНТИ
УДК
ББК 24.4.1
Рубрики: Информатика--Языки программирования
Аннотация: Издание содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, операторы и процедуры.

Держатели документа:
МУБиНТ

Доп.точки доступа:
Рейблейн, А. Р.; Вадера, С.; Волков, А. Н. \пер.\ МУБиНТ/ЧЗ
Свободных экз. нет
Найти похожие

2.
681.3
Я41


   
    Язык Пролог в пятом поколении ЭВМ [] : сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский . - М. : Мир, 1988. - 501 с. : ил. - Содержание : К вычислительным системам пятого поколения ; ESP- предварительная версия базового языка программирования компьютеров пятого поколения ; Абстрактные типы данных в PROLOG/KR ; Расширение пролога для работы с негативными знаниями ; ShapeUp- язык обработки информационных знаний ; Операционная система последовательной машины вывода - основные концепции ; Объктно-ориентированное программирование в Параллельном Прологе ; Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро ; Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе ; Упорядочивание редукции процессов в Параллельном Прологе ; Многоканальное слияние с постоянной задержкой в Параллельном Прологе ; Пролог средствами функционального программирования ; Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления ; Максимальные унифицируемые и минимальные неунифицированные подмножества ; Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины ; ORBIT- параллельная модель выполнения Пролог-программ ; Конвейерный Пролог-процессор ; ИЛИ - параллельная потоковая Пролог-машина ; Последовательная Пролог-машина РЕК ; Спецификация и инициализация логической вычислительной системы ; Система восходящего грамматического разбора (ВГР), встроенная в Пролог ; Применение Пролога для синтеза логических схем ; Пролог и автоматическое доказательство теорем ; Исчисление событий, основанное на логике ; Определение чисто функционального языка HASL средствами языка Пролог ; Логическое программироание как средство разработки экспертных систем ; Преобразование программ посредством метасдвига ; Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода . - ISBN 5-03-000537-4 : Б. ц.
ГРНТИ
УДК
ББК 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 р.
    Содержание:
Синтаксис и унификация. Арифметические выражения. Рекурсия. Структуры данных. Операторы. Отсечение. Модули. Отладка.
ГРНТИ
УДК
ББК 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 средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
ГРНТИ
УДК
ББК 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 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
персональные компьютеры -- информационные технологии -- искусственный интеллект -- алгоритмизация -- основы программирования -- Пролог -- Интерпретатор языка Пролог -- ИНТЕРНЕТ -- БАЗЫ ДАННЫХ -- РЕШЕНИЕ ЗАДАЧ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ операции -- олимпиадные ЗАДАЧИ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

14.
004
М74


    Могилев, А. В.
    Информатика [Текст] : учеб. пособие для вузов / А.В. Могилев, Н.И. Пак, Е.К. Хеннер. - 2-е изд., стер. - М. : Академия, 2003. - 816 с. : граф., рис., табл. - (Высшее образование). - Библиогр. в конце глав. - ISBN 5-7695-0330-0 (в пер.) : 173.40 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
информация -- алгоритм -- структуры данных -- операционные системы -- трансляция программ -- текстовый редактор -- компьютерная графика -- базы данных -- электронные таблицы -- MATHCAD -- компьютерные тесты -- компьютерные вирусы -- компьютерные игры -- языки программирования -- Паскаль -- Турбо-Паскаль -- Бейсик -- Си -- Пролог -- ЛИСП -- микропроцессоры -- компьютерные сети -- UNIX -- АСУ -- компьютерное моделирование

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Пак, Н.И.; Хеннер, Е.К.
Свободных экз. нет
Найти похожие

15.
519.7/8
К89


    Кузнецов, В. Е.
    Представление в ЭВМ неформальных процедур [Текст] : научное издание / В.Е. Кузнецов. - М. : Наука. Гл.ред. физ.-мат. лит., 1989. - 159 с. : рис., схем, табл. - (Проблемы искусственного интеллекта). - Библиогр.: с. 157-159. - ISBN 5-02-014101-1 : 0.65 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
АЛГОРИТМИЧЕСКИЕ -- ПРОДУКЦИОННЫЕ -- МОДЕЛИ -- РЕЖИМ -- ВОЗВРАТОВ -- МАШИНА ПОСТА -- ТЕЗИС ПОСТА -- ХАНОЙСКИЕ БАШНИ -- ЯЗЫК РЕФАЛ -- СИСТЕМЫ -- КАНОНИЧЕСКИЕ -- ИСЧИСЛЕНИЯ ПОСТА -- ЛОГИЧЕСКОЕ -- ПРОГРАММИРОВАНИЕ -- ЯЗЫК ПРОЛОГ -- К - СИСТЕМЫ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

 1..15