Примерный перечень вопросов к экзамену



Скачать 24.58 Kb.
Дата30.12.2012
Размер24.58 Kb.
ТипЗадача
. ПРИМЕРНЫЙ ПЕРЕЧЕНЬ ВОПРОСОВ К ЭКЗАМЕНУ


  1. Мотивация, историческая справка. Стандартные схемы: базис, операторы, граф.

  2. Интерпретация схемы, программа. Исполнение программы: допустимые цепочки, значение программы.

  3. Эквивалентность, тотальность, пустота, свобода. Корректные отношения эквивалентности.

  4. Свободные интерпретации. Теоремы Лакхэма-Парка-Патерсона.

  5. Двоичный двухголовочный автомат (ДДА): определение и свойства. Неразрешимость проблемы пустоты ДДА.

  6. Моделирование ДДА стандартной схемой. Неразрешимость проблем пустоты и эквивалентности стандартных схем.

  7. Частичная разрешимость проблемы тотальности.

  8. Задача Поста и ее частичнаня разрешимость. Обратная задача Поста и ее неразрешимость.

  9. Сведение проблемы свободы схемы к задаче пустоты системы Поста. Неразрешимость проблемы свободы.

  10. Логико-термальная (ЛТ) эквивалентность стандартных схем: мотивация, определение. Корректность ЛТ-эквивалентности.

  11. Разрешимость ЛТ-эквивалентности.

  12. Полная система ЛТ-эквивалентных преобразований.

  13. Логическая спецификация программ.

  14. Анализ корректности последовательных программ.

  15. Аксиоматическая семантика последовательных программ.

  16. Автоматизация верификации программ.

  17. Доказательство корректности программ в проблемных областях.

  18. Верификация недетерминированных и параллельных программ.

  19. Языки спецификаций. Языки, специализированные по средствам (табличные, эквациональные, функциональные, диаграммные и сетевые, модуляризации и структуризаоснованные на крупных операциях).

  20. Языки спецификаций. Языки, специализированные по области применения (управление, структуры данных, языки и трансляторы, базы данных и знаний, пакеты прикладных программы).

  21. Языки спецификаций. Универсальные и расширяемые языки.

  22. Денотационная, операционная и аксиоматическая семантики. Теория неподвижных точек. Семантика состояний. Абстрактные типы данных и сигнатурные графы.

  23. Формальные методы спецификации программ. VDM (венский метод построения программ). Логико-алгебраические спецификации. Машины абстрактных состояний.

  24. Модели вычислительных процессов: Модель графов распределения ресурсов. Сети Петри. Вычислительные схемы.

  25. Взаимодействие процессов, асинхронные процессы: Синхронизация параллельных процессов. Проблема критических участков. Анализ подходов к решению проблемы. Алгоритм Деккера. Программная реализация взаимоисключений:

  26. блокирование (spinlock).

  27. Семафоры и мониторы: определение, назначение, реализация.

  28. Протоколы и интерфейсы: открытость разработки стандартов; уровневые протоколы; драйверы; средства оконного интерфейса.

  29. Функциональное программирование. Лямбда-исчисление и язык Лисп.
    Нормальные алгоритмы Маркова и язык Рефал. Комбинаторная логика и язык Миранда.

  30. Логическое программирование. SLD-резолюция и язык Пролог.

  31. Принципы построения: неформальное и формальное определение и способы представления сетей

  32. Петри и описание их подклассов.

  33. Алгоритмы поведения: дерево достижимости и анализ структурной ограниченности, сохраняемости, повторяемости сетей Петри; избыточные сети Петри и инварианты сетей Петри, алгоритм Тудика.

  34. Области применения: моделирование систем на основе сетей Петри и расширения сетей Петри.

  35. Принципы и способы технической реализации моделей процессов и структур.

Похожие:

Примерный перечень вопросов к экзамену iconПримерный перечень вопросов к экзамену по курсу «конституционное право зарубежных стран»

Примерный перечень вопросов к экзамену iconПримерный перечень вопросов к вступительному экзамену в аспирантуру по специальности 07. 00. 02 «Отечественная история»

Примерный перечень вопросов к экзамену iconИстория эстрадно-джазовой музыки (зарубежной, отечественной) Примерный перечень вопросов к экзамену

Примерный перечень вопросов к экзамену iconПримерный перечень вопросов к зачёту (экзамену) по курсу
Окрестности. Свойства окрестностей. Типы точек по отношению к заданному множеству
Примерный перечень вопросов к экзамену iconПримерный перечень вопросов к экзамену по курсу «Высшая геодезия» (7 семестр)
Гравиметрический метод определения уклонений отвесных линий. Формулы Венинг-Мейнеса
Примерный перечень вопросов к экзамену iconПримерный перечень вопросов к экзамену и зачету по курсу
Эсхил – «отец трагедии». Символическое истолкование образа Прометея и его судьба в последующей культуре
Примерный перечень вопросов к экзамену iconПримерный перечень вопросов к экзамену
Философия как наука и мировоззрение. Предмет, функции философии. Взаимосвязь философии, науки и религии
Примерный перечень вопросов к экзамену iconМетодические рекомендации по написанию рефератов, тематика рефератов, примерный перечень вопросов для подготовки к экзамену и перечень ре­комендуемой литературы по всему курсу и по отдельным разделам
Охватывает всех терминов, которые использу­ются в курсе истории государства и права зарубежных стран, да и не пре
Примерный перечень вопросов к экзамену iconПримерный перечень вопросов для подготовки к экзамену по дисциплине «История государства и права зарубежных стран»
Общественный строй Салических франков. Возникновение и развитие феодальных отношений
Примерный перечень вопросов к экзамену iconПримерный перечень вопросов к экзамену по курсу «Четвертичная геология»
Особенности четвертичной геологии, отличающие эту часть геологии от других геологических дисциплин
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org