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