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

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

Аннотация

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