Министерство по развитию информационных технологий и коммуникаций республики узбекистан ургенчский филиал ташкентского университета информационных технологий имени мухаммада аль-хоразмий
Распределение курсов «Формальные методы верификации программ» по темам и часам
Download 89.41 Kb.
|
Sillabus ВФМВП рус Abdullayev Anvar
- Bu sahifa navigatsiya:
- Форма занятий: лекция (Л) часы
- Форма занятий: Практика (П) часы
- Темы для самостоятельная работа часы
- Список задач % Семестр
- Итоговый контроль 50
- Рекомендуемая дополнительная литература
Распределение курсов «Формальные методы верификации программ» по темам и часам:
Стратегия обучения Курс Формальные методы верификации программ структурирован следующим образом: теория и решение проблем, тест и контрольные работы, а также самостоятельное обучение. На протяжении теоретических занятий преподаватель предоставляет студенту необходимые концепции и понятия по предмету. В практических и лабораторных занятиях учитель объясняет студентам ряд проблем, в которых учащиеся учатся определять элементы, которые важны для решения проблемы. Используется подход, основанный на участии, и общение между студентом и учителем /студентом имеет важное значение в проблемных профессиях. У студента будут следующие документы: Видео лекции; Электронные лекционные материалы; Презентационные слайды для каждой темы (лекции) курса; Методические указания для лабораторных работ; Методические указания для практических работ; Задания на каждое занятие; Электронные книги и пособия. Во время теоретических занятий студенту будут предоставлены необходимые концепции по теме посредством видео лекции. Студентам будут даны инструкции о том, как использовать презентации, учебники, руководства и другие учебные пособия для усиления темы. Чтобы проверить уровень усвоения темы, студенты проходят тестирование после каждой темы. Если студент завершит эти тесты на необходимом уровне, студенту будет разрешено перейти к следующей теме. Студентам будут предоставлены материалы, презентации, инструкции по решению задач по каждой теме на лабораторных и практических занятиях, а также задания для проверки уровня усвоения темы. Студенты должны будут работать независимо над каждым разделом курса Операционные системы. Переход на следующую тему осуществляется при правильном выполнении задания. К участию в итоговом контроле допускаются студенты, освоившие все темы лекционных, лабораторных и практических занятий. Студент приходит в вуз в конце семестра и проходит итоговый контроль. Оценивание студентов Оценка знаний студентов производится по показателям усвоения учебных материалов в течение семестра и итогового контроля (результаты тестов, заданий и письменной работы). Во время курса Операционные системы студенты оцениваются по 100-балльной шкале. Из них 50% баллов начисляются за посещаемость, текущие и промежуточные результаты, а 50% баллов - за итоговый контроль. Учащиеся, набравшие менее 30 баллов по текущему и промежуточному баллам, к итоговому контрольному экзамену не допускаются. Считается, что студент, набравший 30 или более баллов на итоговом тесте, освоил предмет. Текущие, промежуточные и итоговые контрольные баллы распределяются следующим образом:
Download 89.41 Kb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling