Языки логического программирования в проектировании вычислительных систем и сетей
Дубинин В.Н., Зинкин С.А.
Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и сетевых протоколов с использованием данного сетевого формализма. Представлено описание временной логики для верификации вычислительных систем и процессов, подробно описана реализация временных операторов на Прологе, приводятся примеры формулировки и доказательства свойств рассмотренных в пособии вычислительных систем, процессов и сетевых протоколов.
Учебное пособие подготовлено на кафедре ''Вычислительная техника'' и предназначено для студентов специальности 22.01.00, изучающих дисциплины ''Языки логического программирования'', ''Вычислительные комплексы, системы и сети'', ''Системы искусственного интеллекта'', ''Прикладная математика''
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
