Направление 010300 "Фундаментальная информатика и информационные технологии"
Профессионально-образовательная программа "Супервычисления"

Дисциплина относится к базовой части профессиональных дисциплин (Б3). Шифр дисциплины в рабочем учебном плане – Б3.Б.4.

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

• ПК-1. Способность применять в профессиональной деятельности современные языки программирования и языки баз данных, методологии системной инженерии, системы автоматизации проектирования, электронные библиотеки и коллекции, сетевые технологии, библиотеки и пакеты программ, современные профессиональные стандарты информационных технологий (в соответствии с профилизацией).
• ПК-2. Способность профессионально решать задачи производственной и технологической деятельности с учетом современных достижений науки и техники, включая: разработку алгоритмических и программных решений в области системного и прикладного программирования; разработку математических, информационных и имитационных моделей по тематике выполняемых исследований; создание информационных ресурсов глобальных сетей, образовательного контента, прикладных баз данных; разработку тестов и средств тестирования систем и средств на соответствие стандартам и исходным требованиям; разработку эргономичных человеко-машинных интерфейсов (в соответствии с профилизацией).
• ПК-13. Способность составлять и контролировать план выполняемой работы, планировать необходимые для выполнения работы ресурсы, оценивать результаты собственной работы.
• ПК-15.Понимание концепций и абстракций, способность использовать на практике базовые математические дисциплины, включая: Математический анализ I; Математический анализ II; Алгебра и геометрия; Теория функций комплексной переменной; Функциональный анализ; Математическая логика и теория алгоритмов; Теория автоматов и формальных языков; Дифференциальные и разностные уравнения; Теория вероятностей и математическая статистика; Вычислительные методы; Методы оптимизации и исследование операций;
• ПК-17. Детальное знание методов и базовых алгоритмов обработки информационных структур, методов анализа сложности алгоритмов.

В результате освоения дисциплины студент должен

знать:

• основы логики высказываний, логики предикатов и теории алгоритмов;
• основные методы и алгоритмы математической логики.

уметь:

• пользоваться указанными выше знаниями в конкретных обстоятельствах.

владеть:

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

Преподаватель: Самохвалов Климентий Фёдорович