Математическая логика

 Область применения примерной программы Примерная программа учебной дисциплины является частью примерной основной образовательной программы по специальности среднего профессионального обучения 09.02.07 Информационные системы и программирование по специальности 09.02.07 Информационные системы и программирование в соответствии с ФГОС СПО 09.02.07 Информационные системы и программирование, утверждённым приказом Министерства образования и науки Российской Федерации 09 декабря 2016 № 1547, зарегистрированным в Министерстве юстиции Российской Федерации 26 декабря 2016 года, регистрационный № 44936, входящим в укрупнённую группу ТОП-50  09.00.00 Информатика и вычислительная техника. 

1.2. Место дисциплины в структуре основной профессиональной образовательной программы Учебная дисциплина «Дискретная математика с элементами математической логики» принадлежит к математическому и общему  естественнонаучному циклу (ЕН.00), связана с учебными дисциплинами:  ЕН.01 Элементы высшей математики,  ЕН.03 Теория вероятностей и математическая статистика,  ОП.02 Архитектура аппаратных средств,  ОП.03 Информационные технологии,  ОП.07 Экономика отрасли, ОП.08 Основы проектирования баз данных,  ОП. 10 Численные методы;  профессиональными модулями:  ПМ.02 Осуществление интеграции программных модулей,  ПМ.03 Ревьюирование программных продуктов,  ПМ.05 Проектирование и разработка информационных систем,  ПМ.06 Сопровождение информационных систем,  ПМ.07 Соадминистрирование баз данных и серверов. 

1.3. Цель и планируемые результаты освоения дисциплины: В результате освоения дисциплины обучающийся должен уметь: 

 Применять логические операции, формулы логики, законы алгебры логики.  Формулировать задачи логического характера и применять средства математической логики для их решения.   

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

 Основные принципы математической логики, теории множеств и теории алгоритмов.  Формулы алгебры высказываний.  Методы минимизации алгебраических преобразований.  Основы языка и алгебры предикатов.   Основные принципы теории множеств.