Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «тюменский государственный университет» Институт математики и компьютерных наук Кафедра программного обеспечения

Институт математики и компьютерных наук

Кафедра программного обеспечения

ОТВЕТСТВЕННЫЙ РЕДАКТОР: Захарова И.Г., д.п.н., профессор.

1. 
   Пояснительная записка.
   
   1. 
      Цели и задачи дисциплины
      
   
   Целью дисциплины является изучение и практическое освоение средств функционального программирования для решения научных и прикладных задач, в том числе изучение парадигм программирования, используемых при решении задач искусственного интеллекта и элементами инженерии знаний; знакомство с теоретической базой, используемой при решении неформализуемых задач. В качестве инструментального средства изучается язык ЛИСП. Рассматриваются теоретические и прикладные аспекты использования программных средств для решения задач искусственного интеллекта. Задачи дисциплины – развитие современного профессионального мировоззрения и знакомство с нестандартными подходами к решению задач на компьютерах; получение первичных навыков построения моделей на основе функциональной парадигмы; знакомство с техникой программирования задач искусственного интеллекта.
   
   1. 
      Место дисциплины в структуре ООП
      
   
   Дисциплина относится к циклу ДС (дисциплины специальности) и дает базовую основу для понимания, анализа и оценки основных проблем, связанных с разработкой, внедрением и сопровождением программных продуктов, применения технологий формирования и управления специфическими процессами и ресурсами проектирования, планирования, разработки и внедрения ПО. Курс подготавливает выпускника к работе в современной компании, разрабатывающей и/или внедряющей программные средства, которая рассматривает информационно-коммуникационные технологии и методы в качестве средства, способного обеспечить компании определенные конкурентные преимущества.
   

• 
  Иметь представление:
  

об основных понятиях, определениях и методах решения слабоформализуемых задач с помощью методов функционального программирования;

• 
  Знать:
  

особенности задач искусственного интеллекта и роль функционального и логического программирования как методологий решения этих задач; теоретические основы и прикладные средства функционального программирования; тенденции и перспективы развития инструментальных средств декларативного программирования.

• 
  Уметь:
  

использовать теоретические основы и прикладные средства функционального программирования при решении практических задач, в частности, задач искусственного интеллекта; практически решать типичные экономические задачи методами имитационного моделирования; решать достаточно сложные в вычислительном отношении задачи, требующих их численной реализации на ЭВМ.

• 
  Иметь навыки:
  

построения моделей простых неформализуемых задач с использованием функциональной парадигмы.

1. 
   Структура и трудоемкость дисциплины.
   
   Таблица 1.
   

   Вид учебной работы	Семестры
   	9
   Аудиторные занятия (всего)	39
   Лекции	26
   Лабораторные занятия	13
   Самостоятельная работа (всего)	25
   Вид промежуточной аттестации	Контрольная, зачет
   Общая трудоемкость	64

   
   
   
2. 
   Тематический план.
   
   Таблица 2.