МИНИСТЕРСТВО ПРОСВЕЩЕНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное бюджетное образовательное учреждение высшего образования
"Набережночелнинский государственный педагогический университет"
Информатики и вычислительной математики
аннотация к рабочей программе дисциплины (модуля)
Логическое программирование
44.03.05 Педагогическое образование (с двумя профилями подготовки), профили Математика и Информатика
к.п.н., доц., Филатова З.М.
Распределение часов дисциплины по семестрам
Семестр
(<Курс>.<Семестр на курсе>)
УП: ab44.03.05 МиИ п823, 821 гр..plx
1. ЦЕЛЬ И ЗАДАЧИ ОСВОЕНИЯ ДИСЦИПЛИНЫ (МОДУЛЯ)
Цель освоения преподавания дисциплины – изучение основ логического программирования, его особенностей и области применения, усвоение знаний и навыков построения и реализации на ЭВМ программных модулей сложных интеллектуальных систем.
Задачи освоения дисциплины: Получить знания и овладеть понятийным аппаратом: интеллектуальные системы, функциональное программирование; логическое программирование; рекурсия.
2. МЕСТО ДИСЦИПЛИНЫ (МОДУЛЯ) В СТРУКТУРЕ ОБРАЗОВАТЕЛЬНОЙ ПРОГРАММЫ
Требования к предварительной подготовке обучающегося:
Абстрактная и компьютерная алгебра
Возрастная психология и педагогическая психология
Дифференциальные уравнения
Объектно-ориентированное программирование
Системы компьютерной алгебры
Учебная практика по получению первичных профессиональных умений и навыков, в том числе первичных умений и навыков научно-исследовательской деятельности (решение математических задач)
Основы математического анализа
Теоретические основы информатики
Теория преобразований плоскости
Алгоритмы и структуры данных
Интернет-программирование
Образовательная робототехника во внеурочной деятельности
Разработка web-сайтов на HTML и CSS
Робототехника в школьном курсе информатики
Введение в профессиональную деятельность
Методы научного исследования
Основы алгоритмизации и программирования
Основы общей педагогики и история образования, введение в педагогическую деятельность
Программное обеспечение ЭВМ
Дисциплины и практики, для которых освоение данной дисциплины (модуля) необходимо как предшествующее:
Высокоуровневые методы программирования
Компьютерные сети и интернет-технологии
Основания геометрии и неевклидова геометрия
Учебная практика по получению первичных профессиональных умений и навыков, в том числе первичных умений и навыков научно-исследовательской деятельности
Диагностика предметных и метапредметных результатов обучения математике
Дифференциальная геометрия
Кратные, криволинейные и поверхностные интегралы
УП: ab44.03.05 МиИ п823, 821 гр..plx
Курсовая работа по методикам обучения
Практикум по решению задач на ЭВМ
Курсовая работа по модулю 11 "Математика"
Математические основы физики
Математическое моделирование в физике
Методы и средства защиты информации
Моделирование в системах компьютерной математики
Проектирование информационных систем
Проектно-исследовательская деятельность учащихся по информатике
Производственная педагогическая практика в школе по математике и информатике
Разработка WEВ-приложений
Разработка Интернет-приложений
Теория вероятностей и математическая статистика
Технологии программирования
Избранные главы методики обучения математике
Избранные главы элементарной математики
Компьютерное моделирование
Курсовая работа по проектированию информационных систем
Мультимедиа технологии в образовании
Мультимедийные технологии
Проектирование и исследование задач с применением виртуального конструктора "Живая математика"
Производственная педагогическая практика
Решение олимпиадных задач по математике
Специальные методы решения математических задач
Теория функций комплексной переменной
Автоматизированные системы управления
Вычислительная математика
Защита выпускной квалификационной работы, включая подготовку к процедуре защиты и процедуру защиты
Информационные и коммуникационные технологии в образовании
Нестандартные методы решения математических задач
Практикум по решению задач с параметрами
Прикладные задачи в математическом анализе
Производственная практика научно-исследовательская работа
Производственная преддипломная практика
Современные средства оценивания результатов обучения
Управление информационными системами
Уравнения математической физики
3. ПЛАНИРУЕМЫЕ РЕЗУЛЬТАТЫ ОБУЧЕНИЯ ПО КАЖДОЙ ДИСЦИПЛИНЕ (МОДУЛЮ), ОБЕСПЕЧИВАЮЩИЕ ДОСТИЖЕНИЕ ПЛАНИРУЕМЫХ РЕЗУЛЬТАТОВ ОСВОЕНИЯ ОБРАЗОВАТЕЛЬНОЙ ПРОГРАММЫ
ПК-4: способностью использовать возможности образовательной среды для достижения личностных, метапредметных и предметных результатов обучения и обеспечения качества учебно-воспитательного процесса средствами преподаваемых учебных предметов
средства преподаваемого учебного предмета «Логическое программирование» для обеспечения качества учебно-воспитательного процесса
УП: ab44.03.05 МиИ п823, 821 гр..plx
использовать средства преподаваемого учебного предмета «Логическое программирование» для обеспечения качества учебно-воспитательного процесса
навыками использования средства преподаваемого учебного предмета «Логическое программирование» для обеспечения качества учебно-воспитательного процесса
ПК-11: готовностью использовать систематизированные теоретические и практические знания для постановки и решения исследовательских задач в области образования
основы теории и практики для постановки и решения исследовательских задач в области образования
систематизировать теоретические и практические знания для постановки и решения исследовательских задач в области образования
навыками постановки и решения исследовательских задач в области образования
- структуру языка логического тпрограммирования Prolog,
- особенности написания программ на языках логического программирования,
- Задачи и функции ИС. Состав и структура интеллектуальных систем, основные элементы, структуры.
- Классификации ИС, представление знаний, механизмы вывода.
- Промышленную технологию создания систем.
- Системы извлечения и структурирования знаний.
- Нейронные сети, их модели. подходы и стратегии обучения. Системы нечеткого вывода.
- Принципы построения экспертных систем и требования к ним.
В результате освоения дисциплины обучающийся должен
- использовать новейшие информационные технологии, при решении конкретных интеллектуальных задач;
- работать с неформализованными знаниями и нечеткими методами
- реализовывать программы, направленные на работу с различными типами и структурами данных
- применять средства логического программирования при решении учебных и прикладных задач
- создавать программы с использованием языков логического программирования
- практические навыки использования интеллектуальных информационных систем;
- анализа интеллектуальных информационных систем в различных областях науки и техники
- написания программ на выбранном языке логического программирования (Prolog)
- реализации различных методов, в том числе математических, при решении учебных и прикладных задач