Для студентов МГУ им. Ломоносова по предмету Модели последовательных и параллельных вычисленийЛекцияЛекция
2021-08-182021-08-18СтудИзба
Лекции: Лекция
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
МГУ им. ЛомоносоваПросмотров
3
Размер
4,15 Mb
Список файлов
Курс лекций
3. Проблема R-эквивалентности для обыкновенных сетей Петри. Диофантовы уравнения и некоторые их свойства. Моделирование многочленов обыкновенными сетями Петри.pdf
4. Разнообразие классов сетей Петри. Ординарные сети Петри. Моделирование обыкновенных сетей Петри ординарными сетями. Автоматные сети Петри.pdf
5. Проблема эквивалентности программ и трудности ее решения. Моделирование программ схемами программ. Стандартные схемы программ - синтаксис и семантика.pdf
6. Описание стандартных схем программ при помощи систем переходов и алгебры подстановок. Эрбрановские интерпретации для стандартных схем программ.pdf
7. Логико-термальная эквивалентность стандартных схем программ. Аппроксимируемость функциональной эквивалентности программ логико-термальной эквивалентностью схе.pdf
![Картинка-подпись](https://s.studizba.com/z.php?f=/uploads/fotos/podpt_77101_20215.jpg&w=1632&h=400&t=1")
Ваше удовлетворение является нашим приоритетом, если вы удовлетворены нами, пожалуйста, оставьте нам 5 ЗВЕЗД и позитивных комментариев. Спасибо большое!
anhyeuem
zzyxel
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
