Учебная дисциплина для магистрантов 1 курса магистерской программы "Технология разработки программных систем" Направление подготовки 09.04.01 "Информатика и вычислительная техника"

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

Курс - 2, семестр - 3

форма аттестации - экзамен

Факультет информационных технологий. 

Обязательная дисциплина для аспирантов образовательной программы 09.06.01 Информатика и вычислительная техника. Реализуется в 5 семестре. Форма аттестации  - зачет.

Дисциплина «Информатика» реализуется в рамках образовательной программы высшего образования – программы бакалавриата 09.03.01 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА, направленность (профиль): Программная инженерия и компьютерные науки.

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

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

Общий объем дисциплины – 2 зачетных единиц (72 часа).


Обязательная дисциплина для 1 курса магистратуры факультета информационных технологий,  направление подготовки 09.04.01 «Информатика и вычислительная техника», профиль Компьютерное моделирование

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

Семестр - 2

Форма аттестации - экзамен

«История»

Дисциплина «История» реализуется в рамках образовательной программы высшего образования – программы бакалавриата 09.03.01 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА по очной форме обучения на русском языке.

Место в образовательной программе:

Дисциплина «История» реализуется в 1 семестре в рамках базовой части дисциплин (модулей) Блока 1 и является обязательной дисциплиной.

Предмет дисциплины «История» – история России с древнейших времен до наших дней в контексте мировой истории. Дисциплина «История» является важным компонентом гуманитаризации системы образования, мировоззренческой подготовки современных специалистов, интеллектуального развития личности и выработке креативного мышления В рамках образовательной программы дисциплина нацелена на формирование исторического сознания и культуры мышления.

«История»

Дисциплина «История» реализуется в рамках образовательной программы высшего образования – программы бакалавриата 09.03.01 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА по очной форме обучения на русском языке.

Место в образовательной программе:

Дисциплина «История» реализуется в 1 семестре в рамках базовой части дисциплин (модулей) Блока 1 и является обязательной дисциплиной.

Предмет дисциплины «История» – история России с древнейших времен до наших дней в контексте мировой истории. Дисциплина «История» является важным компонентом гуманитаризации системы образования, мировоззренческой подготовки современных специалистов, интеллектуального развития личности и выработке креативного мышления В рамках образовательной программы дисциплина нацелена на формирование исторического сознания и культуры мышления.

Обязательная дисциплина для 4 курса бакалавриата факультета информационных технологий,  направление подготовки 09.03.01 «Информатика и вычислительная техника».

Цель изучения дисциплины - ознакомление  с основами стандартизации в области промышленного программирования

Форма аттестации - дифзачет

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

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

Далее подробно описывается метод аксиоматической семантики как для элементарных конструкций, циклов, функций и процедур, так и для операторов над сложными структурами данных, включая массивы, файлы, указатели. Рассматривается проблема автоматизации трудоёмкого процесса верификации программ.

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

Спецкурс включает представительную совокупность иллюстративных примеров.

Для успешного понимания курса достаточно знания основ программирования и математической логики.

В рамках курса «Анализ алгоритмов» рассматриваются такие вопросы теории анализа алгоритмов, как структура класса NP, существование в классе NP труднорешаемых задач, отличных от NP-полных; полиномиальная по сложности иерархия задач.

Курс «Анализ алгоритмов» реализуется в рамках образовательной программы высшего образования – программы магистратуры 09.04.01 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА. Технология разработки программных систем на факультете информационных технологий, в 1 семестре в рамках  обязательной части дисциплин (модулей) Блока 1 и является обязательной дисциплиной.