Логика и теория алгоритмов

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

Аннотация

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