Направленность (профиль): Программная инженерия и компьютерные науки
Дисциплина Введение в
машинное обучение нацелена на ознакомление студентов с основами машинного обучения.
Дисциплина "Представление знаний в системах искусственного интеллекта" освещает основы искусственного интеллекта
Учебная дисциплина для магистрантов 2 курса магистерской программы "Технология разработки программных систем" Направление подготовки 09.04.01 "Информатика и вычислительная техника"
Содержание дисциплины охватывает круг вопросов, связанных с проектированием пользовательских интерфейсов программных систем
Курс - 2, семестр - 3
форма аттестации - экзамен
Факультет информационных технологий.
Обязательная дисциплина для аспирантов образовательной программы 09.06.01 Информатика и вычислительная техника. Реализуется в 5 семестре. Форма аттестации - зачет.
Дисциплина «Информатика» реализуется в рамках
образовательной программы высшего образования – программы бакалавриата 09.03.01
ИНФОРМАТИКА
И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА, направленность (профиль):
Программная инженерия и компьютерные науки.
Содержание дисциплины охватывает круг вопросов, связанных с систематизацией знаний о возможностях и особенностях применения информационных технологий, осознание сущности и значения информации в развитии современного общества.
Преподавание дисциплины предусматривает проведение следующих видов учебных занятий: лекции, практические занятия (семинары), лабораторные занятия и самостоятельная работа обучающихся. Самостоятельная работа включает: подготовку к практическим занятиям по разделам дисциплины, подготовку презентаций докладов. В учебном процессе предусматривается использование активных и интерактивных форм проведения занятий. В том числе, предполагаются заслушивание и обсуждение, подготовленных студентами докладов и презентаций.
Общий объем дисциплины – 2 зачетных единиц (72 часа).
Дисциплина для 2 курса магистратуры факультета информационных технологий, направление подготовки 09.04.01 «Информатика и вычислительная техника», профиль Технология разработки программных систем
Содержание дисциплины охватывает круг вопросов, связанных с управлением проектной деятельностью, методами планирования и реализации проектов
Семестр - 3
«История»
Дисциплина «История» реализуется в рамках образовательной программы высшего образования – программы бакалавриата 09.03.01 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА по очной форме обучения на русском языке.
Место в образовательной программе:
Дисциплина «История» реализуется в 1 семестре в рамках базовой части дисциплин (модулей) Блока 1 и является обязательной дисциплиной.
Предмет дисциплины «История» – история России с древнейших времен до наших дней в контексте мировой истории. Дисциплина «История» является важным компонентом гуманитаризации системы образования, мировоззренческой подготовки современных специалистов, интеллектуального развития личности и выработке креативного мышления В рамках образовательной программы дисциплина нацелена на формирование исторического сознания и культуры мышления.
«История»
Дисциплина «История» реализуется в рамках образовательной программы высшего образования – программы бакалавриата 09.03.01 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА по очной форме обучения на русском языке.
Место в образовательной программе:
Дисциплина «История» реализуется в 1 семестре в рамках базовой части дисциплин (модулей) Блока 1 и является обязательной дисциплиной.
Предмет дисциплины «История» – история России с древнейших времен до наших дней в контексте мировой истории. Дисциплина «История» является важным компонентом гуманитаризации системы образования, мировоззренческой подготовки современных специалистов, интеллектуального развития личности и выработке креативного мышления В рамках образовательной программы дисциплина нацелена на формирование исторического сознания и культуры мышления.
Обязательная дисциплина для 4 курса бакалавриата факультета информационных технологий, направление подготовки 09.03.01 «Информатика и вычислительная техника».
Цель изучения дисциплины - ознакомление с основами стандартизации в области промышленного программирования
Форма аттестации - дифзачет
Обеспечение надёжности программ — важнейшая проблема современного программирования. Традиционные методы тестирования не могут полностью гарантировать отсутствие ошибок в программах. Качественно новый уровень в решении данной задачи даёт сочетание тестирования и верификации — формального математического подтверждения корректности программы.
Содержание спецкурса включает классические методы верификации программ, базирующиеся на подходах Флойда и Хоара. Вначале вводится логический язык спецификаций, на базе которого определяется понятие корректности программ.
Далее подробно описывается метод аксиоматической семантики как для элементарных конструкций, циклов, функций и процедур, так и для операторов над сложными структурами данных, включая массивы, файлы, указатели. Рассматривается проблема автоматизации трудоёмкого процесса верификации программ.
В заключение даётся обзор современных автоматизированных систем верификации программ, включая системы автоматического доказательства теорем.
Спецкурс включает представительную совокупность иллюстративных примеров.
Для успешного понимания курса достаточно знания основ программирования и математической логики.
В рамках курса «Анализ алгоритмов» рассматриваются такие вопросы теории анализа алгоритмов, как структура класса NP, существование в классе NP труднорешаемых задач, отличных от NP-полных; полиномиальная по сложности иерархия задач.
Курс «Анализ алгоритмов» реализуется в рамках образовательной программы высшего образования – программы магистратуры 09.04.01 ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА. Технология разработки программных систем на факультете информационных технологий, в 1 семестре в рамках обязательной части дисциплин (модулей) Блока 1 и является обязательной дисциплиной.