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

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

Аннотация

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