1.Эффективность вычислений. Основные понятия и определения. 1

2. Алгоритм. Основные понятия и определения. 2

3. Семантическая теория программ. 4

4. Схемы программ. 6

5. Способы задания алгоритмов. 7

6. Универсальные модели алгоритмов. 9

7. Понятийные средства спецификации программ. 11

8. Основные требования к спецификации программ. 11

9. Спецификации в жизненном цикле программ. 12

10. Методы спецификации программ. 13

11. Графические методы спецификации. 16

12.Автоматное преобразование информации 17

13. Основные понятия и определения теории конечных автоматов 18

14.Способы задания конечных автоматов. 22

15. Конечный автомат как модель «реагирующей системы». 25

16. Конечный автомат как модель протокола передачи сообщений в сетях. 26

17. Конечный автомат как модель взаимодействия процессов. 27

18. Автоматы Мура и Милли. 28

19. Примеры конечных автоматов. 29

20. Программная и аппаратная реализация конечных автоматов. 30

21. Сети Петри: принципы построения. 31

23. Структура сети Петри. 34

24. Графы сети Петри. 35

25.Аналитическое и графическое представление сети Петри. 36

27.Выполнение сети Петри. 38

28. Пространство состояний сети Петри. 39

29,30,40 Достижимость сети Петри. + 30.Множество достижимости сети Петри 40

31. Сети Петри как аппарат для моделирования систем 41

32. Одновременность и конфликт сети Петри. 43

34.Моделирование программного обеспечения сетями Петри 47

35.Параллелизм в сетях Петри. 49

36,48 Моделирование дискретных процессов сетями Петри. 50

37. Безопасность сетей Петри 51

38.Ограниченность сети Петри 52

39.Тупики в сетях Петри. 53

40. Достижимость в сети Петри. См. билет 29 54

41. Дерево достижимости в сетях 54

43,47 Матричные уравнения сетей + 57

47. Матричное представление сетей Петри. 57

50. Недостатки классических сетей Петри. 60

62