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

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

Аннотация

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