Методическое руководство по курсу Теория вычислительных процессов

Скачать 41.79 Kb.

Название	Методическое руководство по курсу Теория вычислительных процессов
Тип	Руководство

rykovodstvo.ru > Руководство ремонт > Руководство

Методическое руководство по курсу

Теория вычислительных процессов
Курс предназначен для студентов, обучающихся по направлению 230105 "Программное обеспечение вычислительной техники и автоматизированных систем"

Автор курса - Рабинович Евгений Владимирович, профессор, д.т.н., профессор кафедры "Вычислительная техника"
Учебным планом в 9-м семестре предусмотрены:

Лекции - 6 час.
Контрольная работа.
Заочные (дистанционные) практические занятия - 8 час.
Очные практические занятия - 8 час.
Самостоятельная работа по курсу - 86 час.
Экзамен.

Всего на прохождение курса отведено 100 часов.
Теоретический материал курса составлен в строгом соответствии с ГОС по данной специальности. Теоретический материал приводится в учебном пособии, а также в виде электронного учебника размещенных на сервере ИДО.

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

Две лекции содержат теоретические сведения об математических основах программирования и задания, предназначенные для практического освоения материала.

Контрольная работа предназначена для контроля усвоения основ теоретического программирования - методов исследования, интерпретации и анализа программ, доказательства правильности программы, а также владения одним из языков программирования высокого уровня и методами разработки программ с GUI.

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

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

Итоговая оценка

На итоговую оценку по курсу влияют качество и ритмичность выполнения учебной нагрузки. Итоговая оценка складывается из набранных рейтинговых баллов .

Итоговая оценка за курс:

«удовлетворительно», выставляется если 63  86;

«хорошо», выставляется если 87  94;

«отлично», выставляется если 95 .

Рейтинговые баллы начисляются за:

успешное выполнение одного практического задания 5 балов;

защиту практического задания в срок 2 балл;

успешное выполнение контрольной работы 40 баллов;

защиту контрольной работы в срок 10 баллов;

оценку на экзамене «удовлетворительно» 10 баллов;

оценку на экзамене «хорошо» 20 баллов;

оценку на экзамене «отлично» 30 баллов;

качественную работу в семестре (поощрение) до 5 баллов.

Распределение учебной нагрузки

Уч. нед.	Наименование тем курса	Наименование тем практических занятий
1	Введение 1. Схемы программ 1.1. Краткое математическое предисловие	1. Множество, способы описания и операции над множествами. Подмножества.
2	1.2. Стандартные схемы программ 1.3. Свойства и виды стандартных схем программ	Защита теоретического задания №1
3	1.4. Моделирование стандартных схем программ	2. Отношения. Свойства отношений. Функции.
4	1.5. Рекурсивные схемы
5	1.6. Трансляция схем программ 1.7 Обогащенные и структурированные схемы	Защита теоретического задания №2
6	2. Семантическая теория программ 2.1. Описание смысла программ	3. Высказывания. Вычисление и исчисление высказываний.
7	2.2. Языки формальной спецификации
8	2.3. Верификация программ	Защита теоретического задания №3
9	3. Теоретические модели вычислительных процессов 3.1. Взаимодействующие последовательные процессы	4. Язык логики предикатов. Вычисление предикатов. Кванторы.
10	3.2. Параллельные процессы 3.3. Взаимодействие – обмен сообщениями
11	3.4. Разделяемые ресурсы	Защита теоретического задания №4
12	3.5. Программирование параллельных вычислений	5. Доказательство правильности программ.
13	3.6. Модели параллельных вычислений
14	4. Сети Петри 4.1. Введение в сети Петри	Защита теоретического задания №5
15	4.2. Основные определения	6. Построение и условия для проверки циклов.
16	4.3. Моделирование систем на основе сетей Петри 4.4. Анализ сетей Петри	Защита теоретического задания №6

Похожие:

	Методическое пособие для учителя к курсу «Окружающий мир» Д. Б. Эльконина, В. В. Давыдова, В. В. Репкина (теория учебной деятельности), Г. А. Цукерман (теория организации содержательного...		Альманах студенческих работ Аналитические работы по курсу «Теория... Аналитические работы по курсу «Теория и практика рекламных коммуникаций». Вып. 1 [Электронный ресурс] : альм студент работ / под...
	Учебно-методическое пособие к лабораторным занятиям по курсу «Основы кристаллооптики» Практическое руководство по работе с поляризационным микроскопом для исследования петрографических объектов: Учебно-методическое...		Моделирование вычислительных процессов на распределенной системе объектно-атрибутной архитектуры
	Учебно-методическое пособие для студентов специальности «Программное... В пособии рассмотрены основные команды операционной системы unix, предназначенные для работы с файлами и каталогами, а также для...		Учебно-методическое пособие для студентов специальности «Программное... В пособии рассмотрены основные команды операционной системы unix, предназначенные для работы с файлами и каталогами, а также для...
	Методическое пособие по выполнению практических работ по междисциплинарному курсу Методическое пособие предназначено для обучающихся по специальности 151901 Технология машиностроения		Учебно-методическое пособие по курсу «Рентгенографический анализ» Казань, 2010 Методическое пособие предназначено для студентов и аспирантов геологического факультета
	Понятие и структура ос. Эволюция вычислительных и ос. Основные функции ос Параллельные процессы, синхронизация процессов, пример необходимости синхронизации, критическая секция		Методические указания составлены в соответствии с рабочей программой... ПМ. 03. Выполнение работ по профессии «оператор электронно-вычислительных и вычислительных машин»
	Методическое пособие для самостоятельной работы студентов по курсу... Методическое пособие подготовлено доцентом кафедры разведения с Х. животных и зоотехнологий Хасановой С. А		Материально-техническое обеспечение кабинета №6 по профессии «Оператор... Материально-техническое обеспечение кабинета №6 по профессии «Оператор электронно-вычислительных и вычислительных машин»
	Российской Федерации Старооскольский технологический институт им. А. А. Угарова ПМ. 03. Выполнение работ по профессии «оператор электронно-вычислительных и вычислительных машин»		Российской Федерации Старооскольский технологический институт им. А. А. Угарова ПМ. 03. Выполнение работ по профессии «оператор электронно-вычислительных и вычислительных машин»
	Учебно-методическое обеспечение по междисциплинарному курсу мдк 01.... Наименование документа: учебно-методическое обеспечение организации и выполнения практических занятий по пм. 01, Мдк 01		Методика регистарации электрической активности нейронов методом «патч-кламп»... Руководство предназначено для студентов 4 курса дневного отделения, обучающихся по направлению подготовки "Биология", по профилю...

Руководство, инструкция по применению