Компетенции обучающегося, формируемые в результате освоения дисциплины (модуля)

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

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

готов к письменной и устной коммуникации на родном языке (разделы «Аксиоматические теории», «Анализ правильности рассуждений», «Запись математических утверждений с использованием логической символики») (ОК-10);

способен работать с информацией в глобальных компьютерных сетях (раздел «Запись математических утверждений с использованием логической символики») (ОК-12);

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

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

способен логично и последовательно представить освоенное знание, наглядно продемонстрировать освоенные умения и навыки (разделы «Аксиоматические теории», «Анализ правильности рассуждений», «Запись математических утверждений с использованием логической символики», «Получение всех следствий из посылок», «Отыскание минимального набора посылок для заданного множества высказываний») (СК-4);

способен к критике и самокритике (раздел «Анализ правильности рассуждений») (СК-6);

способен использовать общенаучные и специальные методы и способы анализа и синтеза (разделы «Анализ правильности рассуждений», «Анализ и синтез дискретных устройств», «Решение логических задач») (СК-10)