9.Теория вычислительных процессов (Мордовской с.Д.)

1. Теория вычислительных процессов. Основные направления исследований теоретического программирования. Математические основы программирования. Теория схем программ. Семантическая теория программ. Теория вычислительных процессов и структур (теория параллельных вычислений). Прикладные задачи теоретического программирования.

2. Схемы программ. Функции и графы. Вычислимость и разрешимость. Программы и схемы программ. Стандартные схемы программ. Графовая форма стандартной схемы, линейная форма стандартной схемы. Интерпретация стандартных схем программ

3. Схемы программ. Свойства и виды стандартных схем программ. Эквивалентность, тотальность, пустота, свобода. Свободные интерпретации. Логико-термальная эквивалентность

4. Схемы программ. Моделирование стандартных схем программ. Одноленточные автоматы. Многоленточные автоматы. Двухголовочные автоматы.

5. Схемы программ. Рекурсивные схемы. Схемы с процедурами. Обогащенные и структурированные схемы

6. Семантическая теория программ. Описание смысла программ. Операционная семантика. Аксиоматическая семантика. Денотационная семантика. Декларативная семантика

7. Семантическая теория программ. Языки формальной спецификации. Верификация программ. Методы доказательства правильности программ. Использование высказываний в программах. Правила верификации к Хоара.

8. Теоретические модели вычислительных процессов. Взаимодействующие последовательные процессы. Параллельные процессы, взаимодействие потоков.

9. Параллельные процессы. Разделяемые ресурсы, поочередное использование, общая память. Планирование ресурсов.

10. Программирование параллельных вычислений. Основные понятия. Многопоточная обработка. Условные критические участки, мониторы. Модели параллельных вычислений.

11. Сети Петри. Основные определения. Графы сетей Петри. Маркировка сетей Петри. Правила выполнения сетей Петри. Моделирование систем на основе сетей Петри

12. Сети Петри. Анализ сетей Петри. Свойства сетей Петри. Методы анализа.

10. Человеко–машинное взаимодействие (Жебсаин в.В.)

1. Структура человеко – машинного взаимодействия. динамическая информационная модель (ИМ). Образно-концептуальная модель. Виды анализаторов. Зрительные, слуховые и тактильные анализаторы.

2. Воспринимающие каналы человека. Передача количественной информации, многомерных сигналов, информации о локализации объектов в пространстве, о временных интервалах, об аварийных ситуациях.

3. Работоспособность. Дееспособность и трудоспособность. Показатели и динамика работоспособности. Факторы влияющие на работоспособность.

4. Психическая напряженность. Стрессоры. Виды стрессоров. Эмоциональная и операционная напряженность.

5. Пользовательский интерфейс. Структура и классификация пользовательских интерфейсов.

6. Метафоры пользовательского интерфейса.

7. Основные принципы создания интерфейса. Естественность (интуитивность). Непротиворечивость. Неизбыточность. Эффективная система помощи. Гибкость.

8. Оценка качество пользовательского интерфейса. Критерии оценки.