Теория вычислительных процессов

Cover
Litres, 31.07.2016
В учебном пособии рассмотрены основ теоретического программирования. Пособие предназначено для студентов вузов, обучающихся по специальности 230105.65 «Программное обеспечение вычислительной техники и автоматизированных систем», при изучении дисциплины «Теория вычислительных процессов».
 

Inhalt

Введение
6
1 Теория схем программ
7
2 Семантическая теория программ
34
3 Асинхронные процессы
62
4 Взаимодействие процессов
76
5 Модели вычислительных процессов
95
6 Сети Петри
111
7 Протоколы и интерфейсы
131
8 Итоговые тесты проверки усвоения материала
146
Список использованных источников
159
Urheberrecht

Häufige Begriffe und Wortgruppen

автомат адаптер алгоритма АП асинхронного процесса базиса бесконечно будет векторов вершина вид возможно всех входной выполнения выполняется выражения выходной компоненты вычислительной схемы вычислительных процессов данных двоичного ДДГКА Денотационная Денотационная семантика диаграмме переходов Доказательство дуга единиц ресурса заблокирован заданного задачи запрос значение имеет инициаторов каждого конечного автомата конечное которые критическая секция критического интервала логического любой множество модели Холта может можно мьютексом называется начальной некоторые образом одной оператором присваивания операций Определение определяется очереди первой переменной повторно используемых ресурсов позиции покрывающее дерево сети постусловие почтового ящика правила предикат представленной на рисунке предусловие приведенных процессов Пример пространства состояний протокола процесс Р1 Пусть пути разметке редукции результантов репозиции свободные интерпретации свойства семафора сети Петри символов следует слово случае сообщения соответствует состояний системы ССП стандартных схем программ Теорема терма тогда точки тройки Хоара тупика условий верификации устройств формально фрагмента функция цесс цикла число эквивалентности элемент является языка программирования FACT ident Wi+1

Bibliografische Informationen