Вводная лекция Теория вычислительных процессов Разработал: к.п.н.,

Содержание

1. Вводная лекция Теория вычислительных процессов Разработал: к.п.н.,
2. План лекции:1 Цель и задачи дисциплины.2 Основные темы дисциплины.3 Рекомендуемая литература.
3. 1 Цель и задачи дисциплины
4. создание теоретической основы для изучения специальных дисциплин
5. о проблемах и направлениях развития теории вычислительных
6. Знать и уметь использовать: формальные модели вычислительных
7. Знать и уметь использовать:методы управления процессами, протоколы
8. применения различных формальных средств реализации моделей асинхронных
9. 2 Основные темы дисциплины
10. Основные темы: 1 Асинхронные процессы2 Модели динамической
11. Основные темы: 8 Применение семафорных механизмов9 Модели
12. Основные темы: 14 Верификация программ15 Анализ завершения
13. 3 Рекомендуемая литература
14. Основная литература1 Гордеев, А. В. Системное программное
15. Дополнительная литература1 Варшавский, В. И. Автоматное управление
16. Скачать презентанцию

План лекции:1 Цель и задачи дисциплины.2 Основные темы дисциплины.3 Рекомендуемая литература.

Главная
Разное
Вводная лекция Теория вычислительных процессов Разработал: к.п.н.,

Слайды и текст этой презентации

Слайд 1Вводная лекция
Теория вычислительных процессов
Разработал: к.п.н., доцент

Ишакова

Е. Н.

Слайд 2План лекции:
1 Цель и задачи дисциплины.
2 Основные темы дисциплины.
3 Рекомендуемая

литература.

Слайд 31 Цель и задачи дисциплины

Слайд 4
создание теоретической основы для изучения специальных дисциплин учебного плана подготовки,

связанных с новыми информационными и сетевыми технологиями на базе принципов

параллельной и распределенной обработки информации.

Цель дисциплины:

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

Слайд 5о проблемах и направлениях развития теории вычислительных процессов и структур,

новых способах их формального описания и верификации;
об основных тенденциях

развития способов задания семантики программ, их формальной спецификации и верификации.

Иметь представление:

о проблемах и направлениях развития теории вычислительных процессов и структур, новых способах их формального описания и верификации;

Слайд 6Знать и уметь использовать:
формальные модели вычислительных процессов и структур,

основные классы моделей и методы решения задач анализа моделей;

сетевые модели вычислительных процессов - сети Петри;
принципы построения моделей процессов, методы и средства формализации, алгоритмизации и реализации модели на ЭВМ;

Знать и уметь использовать: формальные модели вычислительных процессов и структур, основные классы моделей и методы решения задач

Слайд 7Знать и уметь использовать:
методы управления процессами, протоколы взаимодействия объектов вычислительных

структур, методы анализа структур и процессов;
основные классы схем программ

и программных механизмов.

Знать и уметь использовать:методы управления процессами, протоколы взаимодействия объектов вычислительных структур, методы анализа структур и процессов; основные

Слайд 8применения различных формальных средств реализации моделей асинхронных процессов и систем

взаимодействующих вычислительных процессов с целью анализа, расчетов и оптимизации разрабатываемых

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

Иметь опыт:

применения различных формальных средств реализации моделей асинхронных процессов и систем взаимодействующих вычислительных процессов с целью анализа, расчетов

Слайд 92 Основные темы дисциплины

Слайд 10Основные темы:
1 Асинхронные процессы
2 Модели динамической логики
3 Функционирование сетей

Петри
4 Анализ сетей Петри
5 Взаимодействие процессов
6 Синхронизация процессов с активным

ожиданием
7 Синхронизация процессов с пассивным ожиданием

Основные темы: 1 Асинхронные процессы2 Модели динамической логики3 Функционирование сетей Петри4 Анализ сетей Петри5 Взаимодействие процессов6 Синхронизация

Слайд 11Основные темы:
8 Применение семафорных механизмов
9 Модели состояний вычислительных процессов
10

Модель повторно используемых ресурсов
11 Формальное представление параллельных алгоритмов
12 Распараллеливание

вычислительных алгоритмов
13 Семантическая теория программ

Основные темы: 8 Применение семафорных механизмов9 Модели состояний вычислительных процессов10 Модель повторно используемых ресурсов11 Формальное представление параллельных

Слайд 12Основные темы:
14 Верификация программ
15 Анализ завершения программ
16 Операционная и

денотационная семантика программ
17 Теория схем программ
18 Свойства стандартных схем программ

Основные темы: 14 Верификация программ15 Анализ завершения программ16 Операционная и денотационная семантика программ17 Теория схем программ18 Свойства

Слайд 133 Рекомендуемая литература

Слайд 14Основная литература
1 Гордеев, А. В. Системное программное обеспечение: учеб. пособие

для вузов / А.В. Гордеев, А.Ю. Молчанов. - CПб.: Питер,

2003. - 736с.
2 Ишакова Е.Н. Теория вычислительных процессов. – Оренбург: ИПК ГОУ ОГУ, 2007. – 160 с.

Основная литература1 Гордеев, А. В. Системное программное обеспечение: учеб. пособие для вузов / А.В. Гордеев, А.Ю. Молчанов.

Слайд 15Дополнительная литература
1 Варшавский, В. И. Автоматное управление асинхронными процессами в

ЭВМ и дискретных системах/ В. И. Варшавский, М. А. Кишиневский,

В. Б. Мараховский; под. общ. ред. В.И. Варшавского. - М.: Наука, 1986. – 398 с.
2 Котов, В. Е. Теория схем программ / В. Е. Котов. - М.: Наука, 1991 – 247 с.
3 Котов, В. Е. Сети Петри / В. Е. Котов. – М.: Наука, 1984. - 158 с.

Дополнительная литература1 Варшавский, В. И. Автоматное управление асинхронными процессами в ЭВМ и дискретных системах/ В. И. Варшавский,

Скачать презентацию

Разделы презентаций

Вводная лекция Теория вычислительных процессов Разработал: к.п.н.,

Содержание

Слайды и текст этой презентации

Слайд 1Вводная лекция
Теория вычислительных процессов
Разработал: к.п.н., доцент

Ишакова

Слайд 2План лекции:
1 Цель и задачи дисциплины.
2 Основные темы дисциплины.
3 Рекомендуемая

литература.

Слайд 31 Цель и задачи дисциплины

Слайд 4
создание теоретической основы для изучения специальных дисциплин учебного плана подготовки,

связанных с новыми информационными и сетевыми технологиями на базе принципов

Слайд 5о проблемах и направлениях развития теории вычислительных процессов и структур,

новых способах их формального описания и верификации;
об основных тенденциях

Слайд 6Знать и уметь использовать:
формальные модели вычислительных процессов и структур,

основные классы моделей и методы решения задач анализа моделей;

Слайд 7Знать и уметь использовать:
методы управления процессами, протоколы взаимодействия объектов вычислительных

структур, методы анализа структур и процессов;
основные классы схем программ

Слайд 8применения различных формальных средств реализации моделей асинхронных процессов и систем

взаимодействующих вычислительных процессов с целью анализа, расчетов и оптимизации разрабатываемых

Слайд 92 Основные темы дисциплины

Слайд 10Основные темы:
1 Асинхронные процессы
2 Модели динамической логики
3 Функционирование сетей

Петри
4 Анализ сетей Петри
5 Взаимодействие процессов
6 Синхронизация процессов с активным

Слайд 11Основные темы:
8 Применение семафорных механизмов
9 Модели состояний вычислительных процессов
10

Модель повторно используемых ресурсов
11 Формальное представление параллельных алгоритмов
12 Распараллеливание

Слайд 12Основные темы:
14 Верификация программ
15 Анализ завершения программ
16 Операционная и

денотационная семантика программ
17 Теория схем программ
18 Свойства стандартных схем программ

Слайд 133 Рекомендуемая литература

Слайд 14Основная литература
1 Гордеев, А. В. Системное программное обеспечение: учеб. пособие

для вузов / А.В. Гордеев, А.Ю. Молчанов. - CПб.: Питер,

Слайд 15Дополнительная литература
1 Варшавский, В. И. Автоматное управление асинхронными процессами в

ЭВМ и дискретных системах/ В. И. Варшавский, М. А. Кишиневский,

Обратная связь

Что такое TheSlide.ru?

Разделы презентаций

Вводная лекция Теория вычислительных процессов Разработал: к.п.н.,

Содержание

Слайды и текст этой презентации

Слайд 1Вводная лекцияТеория вычислительных процессовРазработал: к.п.н., доцент

Ишакова

Слайд 2План лекции:1 Цель и задачи дисциплины.2 Основные темы дисциплины.3 Рекомендуемая

литература.

Слайд 31 Цель и задачи дисциплины

Слайд 4создание теоретической основы для изучения специальных дисциплин учебного плана подготовки,

связанных с новыми информационными и сетевыми технологиями на базе принципов

Слайд 5о проблемах и направлениях развития теории вычислительных процессов и структур,

новых способах их формального описания и верификации; об основных тенденциях

Слайд 6Знать и уметь использовать: формальные модели вычислительных процессов и структур,

основные классы моделей и методы решения задач анализа моделей;

Слайд 7Знать и уметь использовать:методы управления процессами, протоколы взаимодействия объектов вычислительных

структур, методы анализа структур и процессов; основные классы схем программ

Слайд 8применения различных формальных средств реализации моделей асинхронных процессов и систем

взаимодействующих вычислительных процессов с целью анализа, расчетов и оптимизации разрабатываемых

Слайд 92 Основные темы дисциплины

Слайд 10Основные темы: 1 Асинхронные процессы2 Модели динамической логики3 Функционирование сетей

Петри4 Анализ сетей Петри5 Взаимодействие процессов6 Синхронизация процессов с активным

Слайд 11Основные темы: 8 Применение семафорных механизмов9 Модели состояний вычислительных процессов10

Модель повторно используемых ресурсов11 Формальное представление параллельных алгоритмов 12 Распараллеливание

Слайд 12Основные темы: 14 Верификация программ15 Анализ завершения программ16 Операционная и

денотационная семантика программ17 Теория схем программ18 Свойства стандартных схем программ

Слайд 133 Рекомендуемая литература

Слайд 14Основная литература1 Гордеев, А. В. Системное программное обеспечение: учеб. пособие

для вузов / А.В. Гордеев, А.Ю. Молчанов. - CПб.: Питер,

Слайд 15Дополнительная литература1 Варшавский, В. И. Автоматное управление асинхронными процессами в

ЭВМ и дискретных системах/ В. И. Варшавский, М. А. Кишиневский,

Похожие презентации

Обратная связь

Что такое TheSlide.ru?

Слайд 1Вводная лекция
Теория вычислительных процессов
Разработал: к.п.н., доцент

Слайд 2План лекции:
1 Цель и задачи дисциплины.
2 Основные темы дисциплины.
3 Рекомендуемая

Слайд 4
создание теоретической основы для изучения специальных дисциплин учебного плана подготовки,

новых способах их формального описания и верификации;
об основных тенденциях

Слайд 6Знать и уметь использовать:
формальные модели вычислительных процессов и структур,

Слайд 7Знать и уметь использовать:
методы управления процессами, протоколы взаимодействия объектов вычислительных

структур, методы анализа структур и процессов;
основные классы схем программ

Слайд 10Основные темы:
1 Асинхронные процессы
2 Модели динамической логики
3 Функционирование сетей

Петри
4 Анализ сетей Петри
5 Взаимодействие процессов
6 Синхронизация процессов с активным

Слайд 11Основные темы:
8 Применение семафорных механизмов
9 Модели состояний вычислительных процессов
10

Модель повторно используемых ресурсов
11 Формальное представление параллельных алгоритмов
12 Распараллеливание

Слайд 12Основные темы:
14 Верификация программ
15 Анализ завершения программ
16 Операционная и

денотационная семантика программ
17 Теория схем программ
18 Свойства стандартных схем программ

Слайд 14Основная литература
1 Гордеев, А. В. Системное программное обеспечение: учеб. пособие

Слайд 15Дополнительная литература
1 Варшавский, В. И. Автоматное управление асинхронными процессами в