1.
| 51/В75
Воробьев, Н. Н. Признаки делимости [Текст] / Н. Н. Воробьев. - 4-е изд., испр. - М. : Наука. Главная редакция физико-математической литературы, 1988. - 96 с. - ISBN 5-02-013731-6 : Б. ц. Содержание: Делимость чисел. Делимость сумм и произведений. Признаки равноостаточности и признаки делимости. Делимость степеней. Доказательства теорем. ББК 22.131 Рубрики: Математика Аннотация: Описываются признаки делимости. Излагаются некоторые вопросы элементарной теории чисел, теории отношений и теории алгоритмов.
Держатели документа: МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Экземпляры всего: 1 Абонемент (1) Свободны: Абонемент (1) Найти похожие
|
2.
| 681.3 Я41
Язык Пролог в пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. - ISBN 5-03-000537-4 : 2.60 р. Содержание: К вычислительным системам пятого поколения ESP- предварительная версия базового языка программирования компьютеров пятого поколения Абстрактные типы данных в PROLOG/KR Расширение пролога для работы с негативными знаниями ShapeUp- язык обработки информационных знаний Операционная система последовательной машины вывода - основные концепции Объктно-ориентированное программирование в Параллельном Прологе Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе Упорядочивание редукции процессов в Параллельном Прологе Многоканальное слияние с постоянной задержкой в Параллельном Прологе Пролог средствами функционального программирования Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления Максимальные унифицируемые и минимальные неунифицированные подмножества Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины ORBIT- параллельная модель выполнения Пролог-программ Конвейерный Пролог-процессор ИЛИ - параллельная потоковая Пролог-машина Последовательная Пролог-машина РЕК Спецификация и инициализация логической вычислительной системы Система восходящего грамматического разбора (ВГР), встроенная в Пролог Применение Пролога для синтеза логических схем Пролог и автоматическое доказательство теорем Исчисление событий, основанное на логике Определение чисто функционального языка HASL средствами языка Пролог Логическое программирование как средство разработки экспертных систем Преобразование программ посредством метасдвига Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода ББК 22.18 Рубрики: Информатика--Языки программирования Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Держатели документа: МУБиНТ : 150003, г. Ярославль, ул. Советская, 80 Доп.точки доступа: Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\
, Чит. зал Свободных экз. нет Найти похожие
|