| Коды компетенции(й) | Результаты освоения основной образовательной программы (компетенция или содержание достигнутого уровня освоения компетенции) | Результаты обучения |
| ПК-2 | Cпособность разрабатывать, внедрять и адаптировать прикладное программное обеспечение | знать: интуитивное определение алгоритма и его различные уточнения уметь: самостоятельно проводить анализ алгоритмов и программ решения математических и прикладных задач. владеть: навыками теоретического анадиза алгоритмов и программ решения математических и прикладных задач обеспечения |
| ПК-7 | Cпособность проводить описание прикладных процессов и информационного обеспечения решения прикладных задач | знать: способы документирования процессов создания информационных систем на стадиях жизненного цикла уметь: самостоятельно выполнять анализ документирования процессов создания информационных систем на стадиях жизненного цикла владеть: навыками применения способов документирования процессов создания информационных систем на стадиях жизненного цикла и смежных областях. |
ОБЪЕМ ДИСЦИПЛИНЫ (МОДУЛЯ) И РАСПРЕДЕЛЕНИЕ ЧАСОВ ПО ВИДАМ УЧЕБНОЙ РАБОТЫ
Таблица 3
Организационно-методические данные дисциплины
| Виды контактной и внеаудиторной работы | Всего часов | |
| очная форма обучения | заочная (очно-заочная) форма обучения | |
| Общий объем дисциплины | ||
| Аудиторная работа | ||
| в том числе: | ||
| Лекции | ||
| Лабораторные | ||
| Практические (семинарские) | ||
| Самостоятельная работа обучающихся | ||
| Контрольная работа | 3 семестр | |
| Иные виды работы | ||
| Виды промежуточной аттестации: | ||
| Зачет | ||
| Курсовое проектирование | ||
| Курсовая работа | ||
| Экзамен | 3 семестр |
СОДЕРЖАНИЕ ДИСЦИПЛИНЫ (МОДУЛЯ)
Таблица 4
Разделы дисциплины
| Наименование разделов дисциплины | Всего часов | В том числе | |||||
| Аудиторные занятия | Из них | Самостоятельная работа | |||||
| Лекции | Практические (семинарские) занятия | Лабораторные занятия | |||||
| Алгебра логики | |||||||
| Логика высказываний | |||||||
| Логика предикатов | |||||||
| Интуитивное определение алгоритма | |||||||
| Уточнение понятия алгоритма. Формализации Черча, Тьюринга, Маркова | |||||||
| Алгоритмические проблемы | |||||||
| Всего |
Таблица 5
Темы разделов дисциплины
| Раздел | Вид занятия | Номер вида занятий | Тема занятия | Часы | |
| 1. Алгебра логики | 1,2 | Лекция | Алгебра логики | ||
| Практическое | Алгебра логики | ||||
| Лабораторное | Логические операции. Булевы функции | ||||
| Лабораторное | Двухэлементная булева алгебра. Алгебра логики. Алгебра Жегалкина | ||||
| Лабораторное | Дизъюнктивное разложение булевых функций. СДНФ | ||||
| Лабораторное | Конъюнктивное разложение булевых функций. СКНФ | ||||
| 2. Логика высказываний | Лекция | Логика высказываний | |||
| Практическое | Логика высказываний | ||||
| Лабораторное | Решение логических задач методами алгебры логики | ||||
| Лабораторное | Переключательные схемы булевых функций | ||||
| 3. Логика предикатов | Лекция | Логика предикатов | |||
| 13,14 | Практическое | Логика предикатов | |||
| 15,16 | Лабораторное | Логика предикатов | |||
| 4. Интуитив-ное определе-ние алгоритма | Лекция | Интуитивное определение алгоритма. Сложность алгоритма | |||
| Практическое | Сложность алгоритмов | ||||
| 19, 20 | Лабораторное | Составление алгоритмов и оценка их сложности | |||
| 5. Уточнение понятия алгоритма. Формализация Черча, Тьюринга, Маркова | Лекция | Формализация Черча | |||
| Практическое | Числовые функции. Рекурсивные функции | ||||
| 23, 24 | Лабораторное | Числовые функции. Рекурсивные функции | |||
| Лекция | Формализация Тьюринга | ||||
| Практическое | Машины Тьюринга. МНС | ||||
| 27, 28 | Лабораторное | Машины Тьюринга. МНС | |||
| Лекция | Формализация Маркова | ||||
| Практическое | Нормальный алгорифм Маркова | ||||
| 31, 32 | Лабораторное | Нормальный алгорифм Маркова | |||
| Алгоритмиче-ские проблемы | Лекция | Алгоритмические проблемы | |||
| Практическое | Алгоритмические проблемы в логике и математике | ||||
| 35, 36 | Лабораторное | Разрешимые множества и предика-ты. Перечислимые и диофантовы множества |
