Логика высказываний

Целью выполнения контрольной работы по дисциплине является формирование компетенции:
готовность использовать основные законы естественнонаучных дисциплин в профессиональной деятельности, применять методы математического анализа и моделирования, теоретического и экспериментального исследования (ОК-7).
В ходе выполнения контрольной работы ставятся следующие задачи:
формирование знаний и навыков работы с понятиями высшей математики (определения, свойства, утверждения и т.д.);
умение корректно формулировать задачу, осуществлять её решение и интерпретировать результат;
формирование навыков построения математических моделей при решении прикладных задач.