libcats.org
Главная

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

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

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

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

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb
Только что пользователи скачали эти книги:

Robeson, Kenneth - The Secret of the Su

Автор:
Размер книги: 185 Kb

Structure and the Book of Zechariah

Автор:
Размер книги: 12.05 Mb

Идея феноменологии

Автор:
Категория: Философия
Размер книги: 835 Kb

Był Sobie Chłopiec

Автор:
Категория: fiction
Размер книги: 513 Kb

Her Prince's Secret Son

Автор:
Категория: fiction
Размер книги: 231 Kb

Tot de woede is geluwd druk 1

Автор:
Категория: fiction
Размер книги: 370 Kb