АВТОНОМНАЯ НЕКОММЕРЧЕСКАЯ ОБРАЗОВАТЕЛЬНАЯ ОРГАНИЗАЦИЯ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ « ИНДУСТРИАЛЬНЫЙ ИНСТИТУТ »

АВТОНОМНАЯ НЕКОММЕРЧЕСКАЯ ОБРАЗОВАТЕЛЬНАЯ ОРГАНИЗАЦИЯ
ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
« ИНДУСТРИАЛЬНЫЙ ИНСТИТУТ »
Кафедра математических и естественнонаучных дисциплин
АННОТАЦИЯ УЧЕБНОЙ ДИСЦИПЛИНЫ
Математическая логика и теория алгоритмов
Б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
экзамен