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