Центр дистанционного обучения КнАГТУ

Distance Education Center of KnASTU

Логическое и функциональное программирование

Аннотация

Дисциплина «Логическое и функциональное программирование» необхо-дима для формирования у студентов общекультурных и профессиональных компетенций, знаний, умений и навыков владения современными методами разработки и программной реализации моделей для трудно формализуемых и неформализуемых задач.

О курсе

Курс посвящен

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

Цели курса

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

Результаты обучения

Знания, умения и навыки, полученные студентом в процессе изучения курса «Логическое и функциональное программирование», в том числе необходимы в дальнейшем для изучения в курсах «Теория вычислительных процессов», «Системы искусственного интеллекта», «Нейрокомпьютерные системы».

Формат курса

Состав курса

Каждый раздел курса: – содержит теоретико-познавательный модуль, обеспеченный логически законченной частью учебной информации; – имеет тренингово-практический модуль (лабораторные, задачи и т.п.); – заканчивается контрольным модулем. В каждом разделе (за исключением редких, чисто описательных) четко сформулированы цель и постановка задачи, а также конфликтность ситуации, суть возникших проблем (зачем это нужно? почему это не было сделано ранее на основе старого аппарата?) и механизм разрешения этой конфликтности. Разделы курса выстроены в логическую цепочку по принципу «от простого – к сложному». Структура модулей каждого раздела соответствует иерархической структуре «абстрактное - конкретное».

Расписание курса

Модуль 1 : Введение в логическое программирование.

Сравнительная характеристика методов структурного, функционального и логического программирования

  • Вводная лекция(Домашнее задание)

  • Опорный конспект 1(Домашнее задание)

  • Знакомство с Visual Prolog(Лабораторная работа)

Модуль 2 : Основные структуры, методы и приемы программирования на языке Пролог.

Общие сведения о логическом программировании. Основные структуры языка Пролог.

  • Краткий конспект(Домашнее задание)

  • Опорный конспект 2(Домашнее задание)

Секционированность программ. Основные секции

  • Секционированность программ(Лабораторная работа)

  • Краткий конспект(Домашнее задание)

Основные способы создания оконного интерфейса. Основы дизайна программного обеспечения

  • 15-02-2017 11:30
  • Основы дизайна ПО(Традиционная лекция)

Составные объекты. Списки. Бинарные деревья. Операции со списками и бинарными деревьями.

  • Списки.(Домашнее задание)

  • Лабораторная работа 3(Лабораторная работа)

  • Электронный обучающий курс(Дополнительный материал)

  • Краткий конспект(Домашнее задание)

Рекурсивная обработка данных. Восходящая и нисходящая рекурсии

  • Рекурсия. Краткий конспект(Домашнее задание)

  • Мини-тест(Традиционная лекция)

Отсечение: красные и зеленые отсечения. Отрицание.

  • Краткий конспект(Домашнее задание)

Металогические и внелогические предикаты. Циклы, виды циклов.

  • Опорный конспект(Домашнее задание)

  • Лабораторная работа 4(Лабораторная работа)

Модуль 3 : Модели и методы решения трудно формализуемых задач.

Элементарные экспертные системы

  • Лабораторная работа 5(Лабораторная работа)

  • Краткий конспект(Домашнее задание)

Графы, деревья, поиск пути на графе пространства состояний

  • Курсовая работа(Курсовая работа)

Модуль 4 : Дополнительный материал.

Обучающий курс

  • электронный обучающий курс(Дополнительный материал)

  • Visual Prolog (Portable) - без помощи(Дополнительный материал)

Информационные ресурсы

  1. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. – СПб.: БХВ-Петербург, 2003
  2. Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ.-М.Мир,1990
  3. Дьяконов В.П., Борисов А.В. Основы искусственного интеллекта. Смоленск, 2007.
  4. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний в интеллектуальных системах. Уч. пос. для вузов, СПб.:Питер, 2000
  5. Корнеев В.В. и др. Базы данных. Интеллектуальная обработка информации. Рос.ассоц.издат. компьют.лит-ры.-М.:НОЛИДЖ, 2000

Направления подготовки

  • 010503 Математическое обеспечение и администрирование информационных систем
  • 09.04.04 Программная инженерия
  • 230105 Программное обеспечение вычислительной техники и автоматизированных систем
  • 09.03.01 Информатика и вычислительная техника
  • 09.03.02 Информационные системы и технологии



Модулей 4

Часов 180

Недель 18

Часов в неделю 4

КнАГТУ

Комсомольский-на-Амуре Государственный Технический Университет