Аннотация учебной программы дисциплины «Интеллектуальные системы» Содержание«Интеллектуальные системы»Тематический план курсаТехнология разработки программных системПрофессиональные компетенцииОсновные разделы курсаЧасть 2. Компьютерные технологии в наукеЧасть 3. Компьютерные технологии в образованииТематический план курсапримеры успешного применения различных парадигм программирования при решении конкретных задач.Профессиональные компетенцииОсновы логического программирования.Дедуктивные базы данных.Логика Хоара. Верификация последовательных программ.Модальные и временные логики. Верификация параллельных программ.Паранепротиворечивые логики. Представления и анализа знаний.Нечеткие логики.Задачами дисциплиныУровень «владеть»Общекультурные компетенцииТематический план курсаАннотация учебной программы дисциплиныОсновные разделы курсаЗадачами дисциплиныПрофессиональные компетенцииЗадачами дисциплиныПрофессиональные компетенцииЗадачами дисциплиныПрофессиональные компетенцииТематический план курсаВычислительные системы»Профессиональные компетенцииЗадачи дисциплиныОсновные разделы курсаЗадачами дисциплиныУровень «знать»Профессиональные компетенцииТематический план курсаЗадачами дисциплиныПрофессиональные компетенцииСодержание разделов и тем курсаЗадачами дисциплиныПрофессиональные компетенцииЗадачами дисциплиныПрофессиональные компетенции2. Разработка учебно-методического пособия по IT-тематике на выбор.3. Разработка плана учебных занятий для преподавании IT-дисциплины. Проведение учебных занятий по конкретной IT-дисциплине.Тематический план курсаЗадачами дисциплиныПрофессиональные компетенцииПолучить навык управленияЗнать и уметь использовать на практикеЗнать и уметь использовать на практикеЯзыки систем обработки знаний.Основы построения систем инженерии знаний.Структура языков представления знаний.История развития информатики.Направления развития ИТТенденции развития компьютерной техники.Новые возможности ПО.Интернет и Web – технологии.Системы автоматизации управления процессовСущность теории мягких вычислений.Нечеткая арифметика.Нечеткая математика.Методы нечеткого моделирования.Нечеткое управление.Устойчивость нечетких систем управления.Анализ формальных понятий.ДСМ метод автоматического порождения гипотез.Генетические алгоритмы и эволюционное программирование.Сети доверия.Теория возможностей.Фракталы и теория хауса.Цели изучения дисциплины.Задачи изучения дисциплины.Иметь представлениеВведение. Общее представление об информационной системе.Общая классификация архитектур информационных приложений.Средства и методологии проектирования, разработки и сопровождения файл-серверных приложений.Средства и методологии проектирования, разработки и сопровождения клиент-серверных приложений.Средства и методологии проектирования, разработки и сопровождения Intranet-приложений.Информационные приложения, основанные на использовании "складов данных" (DataWarehousing).
