|
Функциональное и логическое программирование. Протокол 13, Дата 29. 06. 2022 М. П. деканат
Утверждено
Заведующий кафедрой «Информационно-коммуникационные технологии»
 Кухаренко Е.В.
Заседание кафедры Протокол №13, Дата29.06.2022
М.П. деканат
|
СЕВЕРО-КАЗАХСТАНСКИЙ УНИВЕРСИТЕТИМ. М. КОЗЫБАЕВА
РАБОЧАЯ УЧЕБНАЯ ПРОГРАММА (СИЛЛАБУС)
|
Название дисциплины (курса): Операционные системы
Разработчик (и):
Ким Г.А., м.т.н.
|
462796, внутренний 1224, gakim@ku.edu.kz
|
Кафедра:Кафедра "Информационно-коммуникационные технологии"
Образовательная программа:
6B06102 Информационные системы
6B06105 Архитектор программного обеспечения
Академическая информация о дисциплине (курсе):
Семестр: 5
Объем дисциплины
|
Лекции
|
15
|
Практические
|
0
|
кредиты
|
часы
|
Лабораторные
|
30
|
5
|
150
|
СРОП
|
15
|
СРО
|
75
|
Подготовка и сдача экзамена
|
15
|
Вид и форма контроля:
Вид контроля: экзамен
Форма контроля: письменная форма
Требования преподавателя:
не опаздывать на занятия;
не пропускать занятия, в случае отсутствия по болезни предоставить справку;
на занятия приходить в деловой одежде;
активно участвовать в учебном процессе;
самостоятельно и своевременно выполнять задания СРО;
быть терпимым, открытым и доброжелательным к сокурсникам, преподавателям и сотрудникам Северо-Казахстанского университета им. М. Козыбаева;
содействовать коллективной работе и участвовать в дискуссиях;
быть пунктуальным и обязательным (опоздания, пропуски, поведение в аудитории, позднее предоставление работ, отсутствие на экзамене);
Краткое описание дисциплины (курса): Декларативное программирование. Введение в функциональное программирование. Основы языка ЛИСП. Математические основы языка ЛИСП. Внутреннее представление списков. Рекурсия. Введение в логическое программирование. Основы языка ПРОЛОГ. Порядок предложений и целей. Построение экспертных систем на прологе.
Цель и задачи дисциплины(курса): Формирование у студентов профессиональных знаний и практических навыков по разработке и созданию моделей и систем с помощью языков функционального и логического программирования.
Результаты обучения (РО)LearningOutcomes:
РО1:Применять основные методы и средства эффективной разработки программного продукта; типовые роли в процессе разработки программного обеспечения; математические основы предикатов первого порядка.
РО2: Использовать методы и технологии разработки для генерации исполняемого кода; анализировать поставленные задачи, разрабатывать алгоритмы, представлять данные для решения поставленных задач; разрабатывать модели различных классов систем с применением языков функционального и логического программирования.
СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Таблица1
№ недели
|
Вид учебной деятельности
Формулировка темы
|
Форма проведения занятия/форма завершение
|
1
|
Модуль 1
|
Лекция 1: Концепция функционального и логического программирования. Основные понятия.
|
Вводная лекция
|
Лабораторная работа №1: Основы работы в логическом языке программирования в режиме Test goal.
|
Индивидуальные задания
|
|
СРОП 1: Концепция функционального и логического программирования. Основные понятия и конструкции.
|
Дискуссия
|
2
|
Лекция 2: Основы программирования на языке логического программирования.
|
Традиционная лекция
|
Лабораторная работа №2: Составление простейшей программы.
|
Индивидуальные задания
|
СРОП 2: Основы программирования на языке логического программирования.
|
Дискуссия
|
3
|
Лекция 3: Синтаксические правила. Литеры. Операторы. Равенства и условные соответствия. Арифметика. Общая схема согласования целевых утверждений.
|
Традиционная
лекция
|
Лабораторная работа №3: Формирование правил.
|
Индивидуальные задания
|
СРОП 3: Синтаксические правила. Литеры. Операторы. Равенства и условные соответствия. Арифметика. Общая схема согласования целевых утверждений.
|
Дискуссия
|
| СРО 1.Написание и Защита отчета к лабораторным работам. |
отчет
|
|
Модуль 2
|
4
|
Лекция 4: Понятие рекурсии. Правила записи рекурсивной функции. Терминальная ветвь, рекурсивная ветвь. Прямая и косвенная рекурсия. Рекурсия с несколькими терминальными ветвями, рекурсивными ветвями.
|
Традиционная лекция
|
Лабораторная работа №4. Рекурсия.
|
Индивидуальные задания
|
СРОП 4: Понятие рекурсии. Правила записи рекурсивной функции. Терминальная ветвь, рекурсивная ветвь. Прямая и косвенная рекурсия. Рекурсия с несколькими терминальными ветвями, рекурсивными ветвями.
|
Дискуссия
|
5
|
Лекция 5: Возврат и отсечение. Порождение множественных решений. Отсечение. Общие случаи использования отсечения. Проблемы, связанные с использованием отсечения.
|
Традиционная лекция
|
Лабораторная работа №5. Использование отсечения в программах.
|
Индивидуальные задания
|
|
СРОП 5: Возврат и отсечение. Порождение множественных решений. Отсечение. Общие случаи использования отсечения. Проблемы, связанные с использованием отсечения.
|
Дискуссия
|
6
|
Лекция 6: Использование структур данных. Структуры и деревья. Списки. Принадлежность элементов списку.
|
Традиционная лекция
|
Лабораторная работа №6. Работа со списками.
|
Индивидуальные задания
|
|
СРОП 6: Использование структур данных. Структуры и деревья. Списки. Принадлежность элементов списку.
|
Дискуссия
|
| СРО 2. Написание и Защита отчета к лабораторным работам. |
отчет
|
|
Модуль 3
|
7
|
Лекция 7: Обработка строк. Основные предикаты управления строкой.
|
Традиционная лекция
|
Лабораторная работа №7. Работа со строками.
|
Индивидуальные задания
|
|
СРОП7: Обработка строк. Основные предикаты управления строкой.
|
Дискуссия
|
8
|
Лекция8. Простые и составные объекты. Простые объекты данных. Переменные как объектные данные. Константы как объектные данные. Составные объекты и функторы. Унификация составных объектов. Многоуровневые составные объекты.
|
Традиционная лекция
|
Лабораторная работа №8. Использование составных объектов.
|
Индивидуальные задания
|
|
СРОП8: Простые и составные объекты. Простые объекты данных. Переменные как объектные данные. Константы как объектные данные. Составные объекты и функторы. Унификация составных объектов. Многоуровневые составные объекты.
|
Дискуссия
|
9
|
Лекция 9: Ввод и вывод. Ввод и вывод термов. Ввод и вывод литер. Ввод предложений. Чтение файлов и запись в файлы. Объявление операторов.
|
Традиционная лекция
|
Лабораторная работа №9. Работа с файлами.
|
Индивидуальные задания
|
СРОП9: Ввод и вывод. Ввод и вывод термов. Ввод и вывод литер. Ввод предложений. Чтение файлов и запись в файлы. Объявление операторов.
|
Дискуссия
|
|
СРО 3.Написание и Защита отчета к лабораторным работам.
|
отчет
|
|
Модуль 4
|
10
|
Лекция 10: Встроенные предикаты. Ввод новых утверждений. Выполнение и невыполнение целевого утверждения. Классификация термов. Работа с утверждениями как с термами.
|
Традиционная лекция
|
Лабораторная работа №10. Построение меню.
|
Индивидуальные задания
|
|
СРОП 10: Циклы и рекурсия. Встроенные предикаты. Ввод новых утверждений. Выполнение и невыполнение целевого утверждения. Классификация термов. Работа с утверждениями как с термами.
|
Дискуссия
|
11
|
Лекция 11: Программирование встроенных баз данных.
|
Традиционная лекция
|
Лабораторная работа №11. Динамические базы данных.
|
Индивидуальные задания
|
СРОП 11: Программирование встроенных баз данных.
|
Дискуссия
|
12
|
Лекция 12: Программирование внешних баз данных.
|
Традиционная лекция
|
Лабораторная работа №12. Внешние базы данных.
|
Индивидуальные задания
|
|
СРОП 12: Программирование внешних баз данных.
|
Дискуссия
|
|
СРО 4.Написание и Защита отчета к лабораторным работам.
|
отчет
|
|
Модуль 5
|
13
|
Лекция 13: Конструировние функций.
|
Лекция-визуализация
|
Лабораторная работа №13. В+деревья.
|
Индивидуальные задания
|
СРОП 13: Конструировние функций.
|
Дискуссия
|
14
|
Лекция 14: Циклы и рекурсия. Процессы повторов вычислений. Рекурсивные процедуры. Рекурсивные структуры данных.
|
Традиционная лекция
|
Лабораторная работа № 14. Рекурсивное объявление доменов.
|
Индивидуальные задания
|
СРОП 14: Циклы и рекурсия. Процессы повторов вычислений. Рекурсивные процедуры. Рекурсивные структуры данных.
|
Дискуссия
|
15
|
Лекция 15: Основные элементы графического интерфейса пользователя.
|
Традиционная лекция
|
Лабораторная работа №15. Основы работы в средне визуального программирования.
|
Индивидуальные задания
|
СРОП 15: Основные элементы графического интерфейса пользователя.
|
Дискуссия
|
|
СРО 5.Написание и Защита отчета к лабораторным работам.
|
отчет
|
КРИТЕРИИ ОЦЕНИВАНИЯ ПО ФОРМАМ ПРОВЕДЕНИЯ ЗАНЯТИЙ
Отчет и защита отчета:
№
|
Критерии
|
Балл
|
1
|
титульный лист
|
2
|
2
|
описание задания на лабораторную работу и варианта
|
3
|
3
|
описание выполненного задания
|
20
|
4
|
исследования и результаты выполнения всех заданий
|
20
|
6
|
тестирование системы
|
20
|
7
|
отчёт не должен содержать орфографических, пунктуационных и смысловых ошибок. Все его разделы должны быть выдержаны в едином стиле оформления в соответствии с Ушакова, Е.В. Методические указания по выполнению дипломных проектов/работ для бакалавриата направления информационно-коммуникационные технологии [Текст] / Е.В. Ушакова, Л.В. Долматова. - Петропавловск: СКГУ им. М. Козыбаева, 2020;
|
15
|
8
|
ответы на контрольные вопросы
|
20
|
|
итого
|
100
|
КОНТРОЛЬ УСПЕВАЕМОСТИ
Для оценивания учебных достижений обучающихся используется балльно-рейтинговая буквенная система оценки учета с переводом их в традиционную шкалу оценок.
Балльно-рейтинговая буквенная система оценки учета учебных достижений обучающихся с переводом их в традиционную шкалу оценок и ECTS (иситиэс)
Оценка по буквенной системе
|
Цифровой эквивалент
|
Баллы (%-ное содержание)
|
Оценка по традиционной системе
|
А
|
4
|
95-100
|
Отлично
|
A-
|
3,67
|
90-94
|
B+
|
3,33
|
85-89
|
Хорошо
|
B
|
3,0
|
80-84
|
B-
|
2,67
|
75-79
|
C+
|
2,33
|
70-74
|
C
|
2,0
|
65-69
|
удовлетворительно
|
C-
|
1,67
|
60-64
|
D+
|
1,33
|
55-59
|
D
|
1,0
|
50-54
|
FХ
|
0,5
|
25-49
|
неудовлетворительно
|
F
|
0
|
0-24
|
ПРОМЕЖУТОЧНАЯ АТТЕСТАЦИЯ
Примеры практикоориентированных заданий на экзамене:
Разработайте рекурсивную процедуру поиска суммы элементов списка целых чисел.
Критерии оценивания экзамена
№
|
Критерии
|
Балл
|
1
|
Постановка задачи
|
25
|
2
|
Текст программы
|
25
|
3
|
Результаты тестирования
|
25
|
4
|
Выводы
|
25
|
|
Итого
|
100
|
Пререквизиты: Архитектура компьютера, Системное программное обеспечение
Постреквизиты: Производственная практика 4
Методы/формы организации учебного процесса: сase-study /метод конкретных обучающих ситуаций, метод блиц-опроса, мини-исследование, коллоквиум, лекция-беседа, лекция-визуализация, метод портфолио, метод «круглого стола», «студенческая трибуна».
Обеспечение инклюзивных образовательных условий: В процессе инклюзии участвуют люди с особыми образовательными потребностями, когнитивными и ментальными особенностями, представители этнических меньшинств, лица, содержащиеся в пенитенциарных учреждениях, маргинальные слои общества, ВИЧ-инфицированные, трудовые мигранты, студенты-иностранцы, люди, оказавшиеся в трудной жизненной ситуации, одарённые личности и другие.
Университет обеспечивает:
предоставление данной категории обучающихся психолого-педагогических, медицинских, социальных услуг, обеспечивающих адаптивную, безбарьерную среду обучения и жизнедеятельности.
доступ в здание образовательной организации для лиц, имеющих физические отклонения в развитии.
В рамках изучения данной дисциплины преподаватель (преподаватели) создает следующие образовательные условия:
реализация дифференцированного подхода, позволяющего учитывать индивидуальные потребности обучающихся, которые проявляются в неоднородности возможностей освоения содержания образования, индивидуально-типологических проявлениях когнитивного стиля, коммуникативно-личностных особенностях.
использование специальных образовательных технологий, методов и форм обучения;
проведение индивидуальных и/или групповых коррекционных занятий;
использование дистанционных образовательных технологий;
- изменение методов и форм оценивания результатов обучения.
Междисциплинарные связи Языки и технологии программирования, Алгоритмы и структуры данных/Теория алгоритмов.
ЛИТЕРАТУРА И РЕСУРСЫ
Список литературы
Таблица 3
№
|
Название, год и место издания
|
|
Основная литература
|
1.
|
Половикова О.Н. Функциональное и логическое программирование: Учебно-методическое пособие / Барнаул: Издательство Алтайского государственного университета, 2016. - 43 c.
|
2.
|
Зыков, С. В. Программирование. Функциональный подход : учебник и практикум для академического бакалавриата / С. В. Зыков. — М. : Издательство Юрайт, 2016. — 164 с. [Электронный ресурс] URL: https://www.biblio-online.ru/book/programmirovanie-funkcionalnyy-podhod-394030
|
3.
|
Цуканова, Н. И. Теория и практика логического программирования на языке Visual Prolog 7[Текст]: учеб. пособие для вузов по специальности "Прогр. обеспечение вычисл. техники и автоматизир. систем" / Н. И. Цуканова, Т. А. Дмитриева. - М. : Горячая линия - Телеком, 2013. - 232 с. : ил.
|
|
Дополнительная литература
|
1.
|
Иванов, В. М. Интеллектуальные системы : учеб. пособие для вузов / В. М. Иванов ; под науч. ред. А. Н. Сесекина. — М. : Издательство Юрайт, 2016. — 91 с. —[Электронный ресурс] URL: https://www.biblio-online.ru/book/intellektualnye-sistemy-397757
|
2.
|
Математическая логика: Учебное пособие / Игошин В.И. - М.:НИЦ ИНФРА-М, 2016. - 399 с.: 60x90 1/16. - (Высшее образование: Бакалавриат) (Переплёт) ISBN 978-5-16-011691-4 - Режим доступа: http://znanium.com/catalog/product/539674
|
Электронные и Internet-ресурсы
https://intuit.ru/studies/courses/558/414/info
https://intuit.ru/studies/courses/471/327/info
https://www.hse.ru/edu/courses/292665534. |
|
|
Скачать 59.08 Kb.