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

УМКД дисциплины

Аннотация

Аннотация к рабочей программе дисциплины "Математическая логика" Направление подготовки: 09.03.04 – Программная инженерия Направленность программы: Разработка программно-информационных систем Форма обучения: очная Присваиваемая квалификация (степень): бакалавр Год набора: 2017 1. Цели и задачи изучения дисциплины Целью дисциплины является формирования у студентов умений и навыков применение методов математической логики, математических методов к анализу форм и законов доказательного рассуждения, формальных методов логического обоснования, принципов логического рассуждения и доказательств. Задачи: 1) формирование базовых знаний формальных методов логического обоснования и структурного логического мышления; 2) формирование умений самостоятельно решать стандартные задачи, связанные с формальными математическими утверждениями и их доказательств; 3) формирование навыков интерпретации формально-системных (логических) конструкций в математике и ее приложениях, решение проблемных задач, требующих применение логико-математического аппарата. 2. Краткая характеристика учебной дисциплины Содержание дисциплины состоит из нескольких основных разделов: логика высказываний; логика предикатов; машина Тьюринга и нормальные алгоритмы Маркова. 3. Место дисциплины в структуре образовательной программы Дисциплина входит в базовую часть "Блок 1" образовательной программы бакалавриата, реализуется на 2-м году обучения с трудоемкостью освоения - 6.0 Зет. 4. Взаимосвязь дисциплины с предшествующими и последующими дисциплинами учебного плана подготовки Формирование общепрофессиональных и профессиональных компетенций в процессе изучения дисциплины базируется на ключевых компетенциях, основанных на знаниях и навыках бакалавров, полученных при изучении дисциплин Математический анализ, Линейная алгебра и аналитическая геометрия, Дискретная математика, Информатика. Программирование, Объектно-ориентированное программирование, Алгоритмы дискретной математики, Практикум по программированию. Последующие дисциплины: Архитектура ЭВМ и систем, Теория систем и системный анализ, Теория автоматов, Производственная практика Учебная практика, Разработка встроенных приложений, Инструменты разработки программного обеспечения, Компьютерное моделирование, Производственная практика, Преддипломная практика, Защита ВКР. 5. Ожидаемые результаты освоения дисциплины В результате освоения дисциплины, у обучающихся должны быть сформированы следующие компетенции: ОПК 1 - Владение основными концепциями, принципами, теориями и фактами, связанными с информатикой ПК 1 - Готовность применять основные методы и инструменты разработки программного обеспечения