Логическое программирование (для заочников)
Аннотация
Дисциплина «Логическое программирование» необходима для формирования у студентов общекультурных и профессиональных компетенций, знаний, умений и навыков владения современными методами разработки и программной реализации моделей для трудноформализуемых и неформализуемых задач.О курсе
Курс посвящен
Логическое программирование, так же как и родственное ему направление – функциональное программирование, радикально отклоняется от основного пути развития языков программирования. Логическое программирование строится не с помощью некоторой последовательности абстракций и преобразований, отталкивающейся от машинной архитектуры фон Неймана и присущего ей набора операций, а на основе абстрактной модели, которая никак не связана с каким либо типом модели машинной. Логическое программирование базируется на убеждении, что не человека следует обучать мышлению в терминах операций компьютера, а компьютер должен выполнять инструкции, свойственные человеку.
Цели курса
формирование у будущих бакалавров практических навыков разработки и программной реализации логических моделей для решения конкретных прикладных задач.
Результаты обучения
Знания, умения и навыки, полученные студентом в процессе изучения курса «Логическое и функциональное программирование», в том числе необходимы в дальнейшем для изучения в курсах «Теория вычислительных процессов», «Системы искусственного интеллекта», «Нейрокомпьютерные системы».
Формат курса
Состав курса
Каждый раздел курса: – содержит теоретико-познавательный модуль, обеспеченный логически законченной частью учебной информации; – имеет тренингово-практический модуль (лабораторные, задачи и т.п.); – заканчивается контрольным модулем. В каждом разделе (за исключением редких, чисто описательных) четко сформулированы цель и постановка задачи, а также конфликтность ситуации, суть возникших проблем (зачем это нужно? почему это не было сделано ранее на основе старого аппарата?) и механизм разрешения этой конфликтности. Разделы курса выстроены в логическую цепочку по принципу «от простого – к сложному». Структура модулей каждого раздела соответствует иерархической структуре «абстрактное - конкретное».
Расписание курса
Информационные ресурсы
Основная литература
-
- Рублев В.С. Языки логического программирования [Электронный ресурс] / В.С. Рублев. - 2-е изд. - Электрон. текстовые данные. - М. : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 125 c. - 2227-8397. - Режим доступа: http://www.iprbookshop.ru/73741.html
- Ефимова Е.А. Основы программирования на языке Visual Prolog [Электронный ресурс] / Е.А. Ефимова. - 3-е изд. - Электрон. текстовые данные. - М. : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Эр Медиа, 2019. - 265 c. - 978-5-4486-0517-8. - Режим доступа: http://www.iprbookshop.ru/79710.html
- Теория и практика логического программирования на языке Visual Prolog 7: Учебное пособие для вузов / Цуканова Н.И., Дмитриева Т.А. - М.: Гор. линия-Телеком, 2013. - 232 с.: 60x90 1/16. - (Учебное пособие для высших учебных заведений) ISBN 978-5-9912-0194-0 - Режим доступа: http://znanium.com/catalog/product/414543
- Козырева Г.Ф. Функциональное и логическое программирование [Электронный ресурс]: учебно-методическое пособие / Г.Ф. Козырева. - Электрон. текстовые данные. - Саратов: Ай Пи Эр Медиа, 2018. - 120 c. - 978-5-4486-0122-4. - Режим доступа: http://www.iprbookshop.ru/71596.html
Дополнительная литература
- Кузнецов, А. С. Теория вычислительных процессов [Электронный ресурс] /Кузнецов А.С., Царев Р.Ю., Князьков А.Н. - Краснояр. : СФУ, 2015. - 184 с. // ZNANIUM.COM : электронно-библиотечная система. - Режим доступа: http://znanium.com/catalog.php, ограниченный. - Загл. с экрана.
- Ездаков, А.Л. Функциональное и логическое программирование: Учебное пособие / А. Л. Ездаков. - 2-е изд. - М.: Интернет-Университет Информационных Технологий; Бином. Лаборатория знаний, 2016. - 120с.
- Новиков П.В. Логическое программирование [Электронный ресурс]: учебно-методическое пособие к лабораторным работам / П.В. Новиков. - Электрон. текстовые данные. - Саратов: Вузовское образование, 2017. - 103 c. - 978-5-4487-0010-1. - Режим доступа: http://www.iprbookshop.ru/66314.html
Дополнительный инструментарий
- Среда разработки Visual Prolog 5.2 (ссылка для свободного скачивания http://www.softslot.com/software-2136-visual-prolog-windows.html либо Visual Prolog 5.2 Portable (дополнительные материалы курса);
- Операционная система Microsoft® Windows Professional 7 Russian
- Текстовый редактор OpenOffice (ссылка для свободного скачивания https://www.openoffice.org/ru/download/index.html;
- браузер Google Chrome или Internet Explorer.
Оценивание и документы
Правила Формирования оценки
|
№ |
Наименование оценочного средства |
Шкала оценивания |
|
1 |
Лабораторная работа (2 работы) |
10 баллов |
|
2 |
Опорный конспект (2 конспекта) |
5 баллов |
|
3 |
Краткий конспект лекции (3 конспектов) |
2 балла |
|
4 |
Мини-тест |
4 балла |
|
5 |
Расчетно-графическая работа |
20 баллов |
Система оценивания
Максимальное количество баллов за курс - 79.
0 – 30 % от максимально возможной суммы баллов – «неудовлетворительно»
31 – 50 % от максимально возможной суммы баллов – «удовлетворительно»
51 – 80 % от максимально возможной суммы баллов – «хорошо»
81 – 100 % от максимально возможной суммы баллов – «отлично»