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

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