5. Требования к результатам освоения дисциплины.

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

способность владеть культурой мышления, умнеть аргументировано и ясно строить устную и письменную речь (ОК-1);

способность демонстрации общенаучных базовых знаний естественных наук, математики и информатики, понимание основных фактов, концепций, принципов теорий, связанных с прикладной математикой и информатикой (ПК-1);

способность приобретать новые научные и профессиональные знания, используя современные образовательные и информационные технологии (ПК-2);

способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат (ПК-3);

способность собирать, обрабатывать и интерпретировать данные современных научных исследований, необходимые для формирования выводов по соответствующим научным, профессиональным, социальным и этическим проблемам (ПК-7);

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

– иметь представление о математике как универсальном языке науки;

– знать основные понятия элементов теории множеств и логики, определения понятий отношение и функция и понятий связанных с ними; формулировки и доказательства рассмотренных в курсе теорем и лемм;

– уметь задавать множества различными способами и сравнивать их, выполнять операции над множествами, высказываниями и предикатами, находить декартово произведение множеств, доказывать равносильности логических формул, строить обратную, противоположную и противоположную к обратной теореме для данной теоремы, выделять условие и заключение в математических утверждениях, записывать символически «несложные» математические предложения;

– иметь навыки проведения доказательств теорем, рассмотренных в курсе; решения задач по темам дисциплины