Достоверный и правдоподобный вывод

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

Аннотация

Аннотация рабочей программы дисциплины " Достоверный и правдоподобный вывод " Направление подготовки: 02.03.03 - Математическое обеспечение и администрирование информационных систем Направленность программы: Математическое и программное обеспечение систем искусственного интеллекта Форма обучения: Очная Присваиваемая квалификация (степень): Магистр Год набора: 2018 1. Цели и задачи изучения дисциплины Цель дисциплины заключается во внесении вклада дисциплины «Достоверный и правдоподобный вывод» в общекультурную компетенцию ОК 1 «Способность к абстрактному мышлению, анализу, синтезу», общепрофессиональную компетенцию ОПК 6 «Владение основными концептуальными положениями функционального, рекурсивного, логического, объектно-ориентированного и визуального направлений программирования, методами и средствами разработки программ в рамках этих направлений» и профессиональную компетенцию ПК 2 «Владение навыками использования метода системного моделирования при исследовании и проектировании систем». Задачи курса: 1) усвоение обучаемыми основных понятий, его состава и структуры; 2) формирование у обучаемых умений выполнения действий  по использованию метода системного моделирования при исследовании, проектировании систем, основанных на достоверном и/или правдоподобном выводе;  при разработке моделирующих алгоритмов достоверного и/или правдоподобного вывода и реализации их на базе языков и пакетов прикладных программ моделирования; 3) формирование умственного навыка и навыка восприятия на основе полученных знаний и умений  по использованию метода системного моделирования при исследовании, проектировании систем, основанных на достоверном и/или правдоподобном выводе;  при разработке моделирующих алгоритмов достоверного и/или правдоподобного вывода и реализации их на базе языков и пакетов прикладных программ моделирования. 2. Краткая характеристика учебной дисциплины, её место в учебно-воспитательном процессе Дисциплина относится к вариативным дисциплинам образовательной программы. Содержание дисциплины состоит из следующих основных модулей: 1. Достоверный вывод: введение, автоматическое доказательство теорем, реализация моделей представления знаний и механизмов вывода на них. 2. Правдоподобный вывод: индукция и обобщение; дескриптивная логика. 3. Место дисциплины в структуре образовательной программы Дисциплина входит в вариативную часть "Блок 1" образовательной программы магистратуры, реализуется на 2-м году обучения с трудоемкостью освоения – 6 ЗЕТ. 4. Взаимосвязь дисциплины с предшествующими и последующими дисциплинами учебного плана подготовки Предшествующие дисциплины: «Основы системного анализа», «История, философия и методология информатики как науки», «Теоретические основы обработки ЕЯ-текста», «Мягкие вычисления», «Современные методы разработки сложных программных комплексов», «Научно-исследовательская работа 1», «Производственная практика», «Учебная практика». Последующие дисциплины: «Научно-исследовательская работа 3», «Преддипломная практика», «Подготовка и защита ВКР». 5. Ожидаемые результаты освоения дисциплины В результате освоения дисциплины, у обучающихся должны быть сформированы следующие компетенции: ОК 1 – «Способность к абстрактному мышлению, анализу, синтезу» ОПК 6 – «Владение основными концептуальными положениями функционального, рекурсивного, логического, объектно-ориентированного и визуального направлений программирования, методами и средствами разработки программ в рамках этих направлений» ПК 2 – «Владение навыками использования метода системного моделирования при исследовании и проектировании систем»