АВТОНОМНАЯ НЕКОММЕРЧЕСКАЯ ОБРАЗОВАТЕЛЬНАЯ ОРГАНИЗАЦИЯ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ « ИНДУСТРИАЛЬНЫЙ ИНСТИТУТ » Кафедра математических и естественнонаучных дисциплин АННОТАЦИЯ УЧЕБНОЙ ДИСЦИПЛИНЫ Математическая логика и теория алгоритмов Б2. В.ОД. 2 СОГЛАСОВАНО: УТВЕРЖДАЮ: СО Проректор по научно – методической работе__________________М.В.Кузнецова (подпись, расшифровка подписи) «29»_августа 2015 г. Заведующий кафедрой математических и естественнонаучных дисциплин _______________________Т.Ю.Ходаковская (подпись, расшифровка подписи) протокол №_1_от «29»_августа_2015г. Направление подготовки: 09.03.01 «Информатика и вычислительная техника» Профиль: «Программное обеспечение средств вычислительной техники и автоматизированных систем» Квалификация (степень) выпускника: бакалавр Форма обучения: очная Курск – 2015 1 Перечень планируемых результатов обучения по дисциплине (модулю), соотнесенных с планируемыми результатами освоения образовательной программы В результате освоения дисциплины обучающийся должен овладеть следующими знаниями, умениями и навыками: Коды Результаты освоения Перечень планируемых компетенций ООП результатов обучения по по ФГОС дисциплине ОК-10 использует основные законы Знать: основные понятия естественнонаучных дисциплин математической логики и теории в профессиональной алгоритмов деятельности, применяет Уметь: использовать язык методы математического математической логики для анализа и моделирования, представления знаний о предметных теоретического и областях; экспериментального Владеть: методами формального исследования доказательства логического следования и оценки сложности алгоритмов. ПК-2 осваивать методики Знать: принципы использования программных аксиоматического средств для решения построения практических задач формализованного исчисления высказываний, понятие вывода, свойства выводимости из гипотез, теорему о дедукции, её применение, производные правила вывода, свойства формализованного исчисления высказываний. Уметь: использовать основные положения математической логики при решении задач. Владеть: навыками применения методов логической ПК-5 разрабатывать компоненты программных комплексов и баз данных, использовать современные инструментальные средства и технологии программирования обработки информации при формализации условия. Знать: основные принципы построения моделей теорий и свойства моделей. Уметь: строить примеры математических моделей. Владеть: навыками использования моделей при решении практических задач. Планируемые уровни сформированности компетенции у студентов-выпускников Уровни сформированности компетенции 1 2 1 Пороговый уровень 2 Повышенные уровни (относительно порогового уровня) Содержательное описание уровня 3 ОК-10 Знает важнейшие законы математической логики и теории алгоритмов Умеет принимать их во внимание при решении профессиональных задач Знает законы химии и экологии, необходимые для решения профессиональных задач; Умеет использовать их для решения прикладных задач Основные признаки уровня 4 Владеет методами формального доказательства логического следования и оценки сложности алгоритмов Владеет навыками практического применения законов математического моделирования, теоретического и экспериментального исследования ПК-2 1 Пороговый уровень Умеет ставить задачу и разрабатывать алгоритм ее решения, использовать прикладные системы программирования. Владеет навыками работы с типовыми программными продуктами Разрабатывать основные программные документы. Имеет представление о методах разработки алгоритмов 2 Повышенный уровень 1 Пороговый уровень Знает структуру и обеспечение жизненного цикла современных информационных систем управления предприятием. Знает содержание, порядок разработки и оформления технической документации: технического задания, спецификации оборудования и программного обеспечения. Разрабатывать рекомендации и предложения по применимости и внедрению тиражируемых программных средств. Умеет подготавливать необходимую техническую документацию на оснащение отделов, лабораторий, офисов компьютерным и сетевым оборудованием. ПК-5 Поверхностно знает технологию разработки алгоритмов и программ, методы отладки и решения задач на ЭВМ. Владеет методами контроля соответствия разрабатываемых проектов и технической документации стандартам. Владеет навыками нахождения компромисса между различными требованиями (стоимости, качества, сроков исполнения) и поиска приемлемых решений. Слабо владеет языками процедурного и объектноориентированного программирования, поверхностно владеет навыками разработки и 2 Повышенный уровень отладки программ на одном из алгоритмических процедурных языков программирования высокого уровня. Умеет уверенно Уверенно владеет работать с навыками работы с современными различными системами операционными программирования, системами и их включая объектно- администрирования. ориентированные. Уверенно владеет методами описания схем баз данных. о 2 Место дисциплины в учебном процессе Дисциплина относится к вариативной части естественнонаучного цикла. Дисциплина базируется на следующих дисциплинах программы бакалавров: «Программирование», «Информатика», «Теория вероятностей и математическая статистика», «Дискретная математика». Знания, умения и навыки, приобретенные при изучении данной дисциплины необходимы при изучении дисциплин «Администрирование и программирование в 1С», «Программирование в Delphi», а также при подготовке курсовых работ и ВКР. 3 Объем дисциплины (модуля) в зачетных единицах с указанием количества академических часов, выделенных на контактную работу обучающихся с преподавателем (по видам занятий) и на самостоятельную работу обучающихся Общая трудоемкость дисциплины составляет 5 зачетных единицы (180 часов) Вид работы Общая трудоемкость Аудиторная работа: Лекции (Л) Практические занятия (ПЗ) Лабораторные работы (ЛР) Самостоятельная работа: Подготовка и сдача экзамена Вид итогового контроля (зачет, экзамен) Трудоемкость, часов 7 семестр Всего 180 180 90 90 36 36 54 54 54 36 54 36 экзамен