1. ПО.
4. Типовые вычислительные процессы.
5. Лингвистическое обесп.
6, 14. Формализация проектных задач эт. проект.
7. Мат. задачи анализа и синтеза техн. решения.
8. Программные модули проектирования.
9. Процедура струк-го и парм-го синтеза.
10. Мат. об.
11. Постановка задач парам. синтеза.
12. Специальное ПО
13. Общее ПО.
15. Тех. решение. Критерий проектирования. Мн-во альтернатив тех. решения.
16. Информационное обеспечение.
17. Обощенная мат. модель ОП.
18. Технич. об.
19. Назнач. и функц. возм. САПР.
20. Общая постановка задач стр-го и парм-го синтеза.
21. Метод простых итераций.
22. Логич. кубы ф.сх.
23. Синхронное логическое моделирование функциональных схем.
24. Методы многознач. мод-я.
25. Автоматизация проектирования диагн. словарей.
26, 29, 37. D – алгоритм построения тестов для комбинационных схем
27. Автоматизация функционально – логического моделирования работы функциональных схем
28. Асинхронное событийное моделирование функциональных схем
30. Асинхронное сквозное моделирование функциональных схем
31. Методы синтеза диагностических тестов
32. Топологическая модель функциональной схемы.
33.Мат. и програм. модели комбинационных логических элементов.
34. Мат. модель функциональной схемы цифрового устройства
35. Компонентные модели функциональных схем
36. Метод Зайделя моделирования функциональных схем
37. Операция построения активизированного пути в алгоритме Рота
38. Классификация методов логического моделирования функциональных схем
39. Математические и программные модели последовательных логических автоматов
40. Графическая модель функцио-нальной схемы
