2023-весна: Логика высказываний и булевы алгебры
Цель освоения курса - формирование систематизированных знаний в области булевой алгебры и математической логики как о теоретическом фундаменте современной вычислительной техники, формирование умений применять полученные знания в сфере своей профессиональной деятельности.
Содержание: Введение. История предмета и его практическая ценность. Основные понятия теории множеств. Булева алгебра. Математическая логика. Расширение семантики традиционной логики. Основы нечеткой логики. Иная контактная работа. Контроль.
2023-весна: Разработка и анализ алгоритмов
Цель освоения курса - обучение студента базовым принципам и основам разработки, представления и оценки сложности алгоритмов; особенностям разработки и анализа алгоритмов как составной части процесса разработки программного обеспечения.
Содержание: Основы разработки и анализа алгоритмов. Способы отображения и сложность алгоритмов. Алгоритмическая разрешимость и неразрешимость. Алгоритмизация прямых методов решения задач математического анализа. Полиномиальная сложность. Алгоритмизация итерационных методов численного решения задач математического анализа. NP-полнота. Алгоритмизация численного решения задач вариационного анализа