RUSSIAN

Языки логического программирования в проектировании вычислительных систем и сетей

By Дубинин В.Н. , Зинкин С.А.

Book information

Publisher
Изд-во Пенз. гос. техн. ун-та
Year
1997
Language
russian
Format
PDF
Filesize
693 kB (709358 bytes)
Pages
81\81
Library
http://window.edu.ru/
Time added
2011-04-06 12:16:06
Информатика и вычислительная техника;Логическое пр

Description

Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и сетевых протоколов с использованием данного сетевого формализма. Представлено описание временной логики для верификации вычислительных систем и процессов, подробно описана реализация временных операторов на Прологе, приводятся примеры формулировки и доказательства свойств рассмотренных в пособии вычислительных систем, процессов и сетевых протоколов. Учебное пособие подготовлено на кафедре ''Вычислительная техника'' и предназначено для студентов специальности 22.01.00, изучающих дисциплины ''Языки логического программирования'', ''Вычислительные комплексы, системы и сети'', ''Системы искусственного интеллекта'', ''Прикладная математика''

Similar books