|
|
libcats.org
Языки логического программирования в проектировании вычислительных систем и сетейДубинин В.Н., Зинкин С.А.Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и сетевых протоколов с использованием данного сетевого формализма. Представлено описание временной логики для верификации вычислительных систем и процессов, подробно описана реализация временных операторов на Прологе, приводятся примеры формулировки и доказательства свойств рассмотренных в пособии вычислительных систем, процессов и сетевых протоколов.
Учебное пособие подготовлено на кафедре ''Вычислительная техника'' и предназначено для студентов специальности 22.01.00, изучающих дисциплины ''Языки логического программирования'', ''Вычислительные комплексы, системы и сети'', ''Системы искусственного интеллекта'', ''Прикладная математика''
Скачать книгу бесплатно (pdf, 693 Kb)
Читать «Языки логического программирования в проектировании вычислительных систем и сетей» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Линейная алгебра в вопросах и задачахАвтор: Бутузов В. Ф., Автор: Крутицкая Н. Ч., Автор: Шишкин А. А.
Размер книги: 1.56 Mb
Lie algebras, geometry, and Toda-type systemsАвтор: Alexander V. Razumov, Автор: Mikhail V. SavelievКатегория: M_Mathematics, MP_Mathematical physics
Размер книги: 1.36 Mb
Complete Guide to Writing Fantasy: The Opus MagusАвтор: Tee Morris, Автор: Valerie Griswold Ford
Размер книги: 2.56 Mb
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003Автор: Hartmut König, Автор: Monika Heiner, Автор: Adam Wolisz
Размер книги: 3.85 Mb
|
|
|