Специальность / Speciality: 1-31 03 08 Математика и информационные технологии / Mathematics and Information Technology
Направление / Direction: 1-31 03 08-01 Веб-программирование и интернет-технологии / Web Development and Internet Technologies
Специализация / Specialization: 1-31 03 08-01 03 Математическая информатика / Mathematical Informatics
Учебная дисциплина, модуль / Academic discipline, module: Логическое программирование и искусственный интеллект, модуль «Программирование» / Logic programming and artificial intelligence, module «Programming»
|
Краткое содержание учебной дисциплины, модуля / Brief summary |
Логическое программирование в Visual Prolog. Системы искусственного интеллекта. |
Logic programming in Visual Prolog. Artificial intelligence systems. |
|
Формируемые компетенции / The formed competences |
Базовые профессиональные компетенции: Применять современные технологии и базовые конструкции логического программирования для реализации алгоритмических прикладных задач. |
Base professional competence: Apply modern technologies and base constructions of logic programming in future professional activities. |
|
Результаты обучения (знать, уметь, владеть) / Learning outcomes (know, can, be able) |
Знать и владеть основными приемами и методами логического программирования на языке Visual Prolog. |
Obtaining knowledge and skills in logic programming in Visual Prolog. |
|
Семестр изучения учебной дисциплины, модуля / Semester of study |
7 |
7 |
|
Пререквизиты / Prerequisites |
Методы программирования (1, 2 семестры) |
Programming methods (1,2 semesters) |
|
Трудоемкость в зачетных единицах (кредитах) / Credit units |
3 |
3 |
|
Количество аудиторных часов и часов самостоятельной работы / Academic hour of students’ class work, hours of self-directed learning |
Всего 52 часа, из них 36 аудиторных часов и 16 часов самостоятельной работы. |
A total of 52 hours, of which 36 academic hours of students’ class work and 16 hours of self-directed learning. |
|
Требования и формы текущей и промежуточной аттестации / Requirements and forms of current and interim certification |
Опрос, письменный отчет с устной защитой по лабораторной работе, письменный отчет с устной защитой по домашнему заданию. Зачет. |
Survey, written report with oral defense on laboratory work, written report with oral defense on homework. End-of-term tests. |