Подписывайтесь на наш instagram, чтобы не пропустить результаты конкурса грантов!
Дискретная математика и математическая логика'
-
Цель дисциплина формировпние знаний о логике высказывании, логическом следствие и эквивалентности, Дать понятия о предикатах. Будут изучены: основные формулы логики предикатов, понятие множества, задание множеств, подмножества и их свойства, операции над множествами, покрытия и разбиения множеств, декартово произведение множеств, бинарные отношения и их свойства, отношения эквивалентности и частичного порядка, типы функциональных отношений, Иинтуитивное понятие алгоритма и необходимость его уточнения, машина Тьюринга, Тезис Тьюринга, Ппонятие сложности алгоритма и классы.
-
Образовательная программа 6B06113 Программирование и разработка программного обеспечения
-
Кредитов 4
-
Год обучения 1
-
Семестр 2