Размер шрифта
Цветовая схема
Изображения
Обычная версия сайта

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

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

Рабочая программа и аннотация - zML_PE_27-04-16.pdf - для просмотра файла необходимо авторизоваться

Методические рекомендации - zMR_ML_PE_27-04-16.pdf

Аннотация

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