Для студентов МГУ им. Ломоносова по предмету Модели последовательных и параллельных вычисленийЛекцияЛекция
2021-08-182021-08-18СтудИзба
Лекции: Лекция
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Просмотров
3
Скачиваний
0
Размер
4,15 Mb
Список файлов
- Курс лекций
- 1. Сети Петри - происхождение, основные понятия, область применения, свойства вычислений.pdf 695,87 Kb
- 2. Проблемы ограниченности и безопасности для обыкновенных сетей Петри. Деревья покрытия разметок сетей Петри.pdf 1,21 Mb
- 3. Проблема R-эквивалентности для обыкновенных сетей Петри. Диофантовы уравнения и некоторые их свойства. Моделирование многочленов обыкновенными сетями Петри.pdf 850,58 Kb
- 4. Разнообразие классов сетей Петри. Ординарные сети Петри. Моделирование обыкновенных сетей Петри ординарными сетями. Автоматные сети Петри.pdf 1,25 Mb
- 5. Проблема эквивалентности программ и трудности ее решения. Моделирование программ схемами программ. Стандартные схемы программ - синтаксис и семантика.pdf 590,73 Kb
- 6. Описание стандартных схем программ при помощи систем переходов и алгебры подстановок. Эрбрановские интерпретации для стандартных схем программ.pdf 582,32 Kb
- 7. Логико-термальная эквивалентность стандартных схем программ. Аппроксимируемость функциональной эквивалентности программ логико-термальной эквивалентностью схе.pdf 1 Mb
- 8. Алгебраические модели систем взаимодействующих процессов. Алгебра процессов - синтаксис. Алгебра процессов - операционная семантика.pdf 683,28 Kb
- 9. Особенности мобильной связи. π-исчисление мобильных процессов. Синтаксис π-исчисления. Операционная семантика π-исчисления.pdf 821,29 Kb
Ваше удовлетворение является нашим приоритетом, если вы удовлетворены нами, пожалуйста, оставьте нам 5 ЗВЕЗД и позитивных комментариев. Спасибо большое!