Ф.УМУ-8.1/8.

3-2020-12-03
АО «АЛМАТИНСКИЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ»
ФАКУЛЬТЕТ ИНЖИНИРИНГА И ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
КАФЕДРА ИНФОРМАЦИОННЫХ ТЕХНОЛОГИИ

«УТВЕРЖДАЮ»
Декан ФИ и ИТ

__________Усупов С.С.

«_02_» __09__ 2022 г.

УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКСДИСЦИПЛИНЫ

по дисциплине KV LFP 3214– «Логическое и функциональное программирование»

для ОП 6B06102-Програмная инженерия

Алматы, 2022 г.
 Учебно-методический комплекс дисциплины дисциплине KV LFP 3214 –
«Логическое и функциональное программирование» разработан на основе Ф.УМУ-8.1/8.3-
2020-12-03

Учебно-методический комплекс дисциплине KV LFP 3214 – «Логическое и

функциональное программирование» разработал(а) лектор кафедры «ИТ» Адилжанова
Салтанат Альмуханбетовна _____________

Рассмотрен на заседании кафедры «Информационные технологии»

«_26_» 08 2022г., протокол №1

Зав.кафедрой ___________________________Маликова Ф.У.

Одобрен научно-методической комиссией факультета «Инжиниринг и

информационные технологии»

«_02_» _09_2022 г., протокол № 1

 Ф.УМУ-8.1/8.3-2020-12-03

АО «АЛМАТИНСКИЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ»

ФАКУЛЬТЕТ ИНЖИНИРИНГА И ИНФОРМАЦИОННЫХ ТЕХНОЛОГИИ
КАФЕДРА ИНФОРМАЦИОННЫХ ТЕХНОЛОГИИ

«УТВЕРЖДЕН»
Решением НМК факультета
от « 02 » 09 2022 г.
(протокол №1 )
Председатель НМК, декан
____________Усупов С.С.

СИЛЛАБУС
по дисциплине
KV LFP 3214– «Логическое и функциональное программирование»
для специальности 6B06102-Програмная инженерия
форма обучения, очная

Курс 2
Семестр 3
Количество академических кредитов 5
Трудоемкость в академических часах 150
в том числе: 45
лекционных занятий 15
практических занятий -
лабораторных занятий 30
СРОП 15
СРО 90
Формат обучения (традиционный, Традиционный
смешанный, онлайн)
Форма итогового контроля (экзамен, Экзамен
курсовой проект, государственный экзамен)
Форма проведения итогового контроля Письменный
(письменный, устный, комбинированный,
творческий, компьютерное тестирование)

Алматы, 2022
 1. Информация о преподавателях учебной дисциплины

Фамилия, имя, отчество лектора Адилжанова Салтанат Альмуханбетовна

Должность лектор
Ученая степень, ученое звание магистр
Электронный адрес asaltanat81@gmail.com
Местоположение кафедры Фурката 348/5
Телефон кафедры 374-86-12,128 внутр.

2юХарактеристика учебной дисциплины

2.1 Цель изучения дисциплины:

Формирование у студентов профессиональных знаний и практических навыков по
разработке и созданию моделей интеллектуальных систем с помощью языков
функционального и логического программирования.
2.2 Задачи изучения дисциплины: Ввод и вывод. Работа с файлами. Циклы и
повторения. Рекурсия и эффективность. Итерации.Взаимосвязь между Прологом и
логикой. Работа с множествами. Сортировка. Рекурсивно - перечислимые множества.
Понятие алгоритма, классические алгоритмы. Пример вычислений для класса
рекурсивных функций. Реализуемость алгоритмов. Машина Тьюринга, программа
машины Тьюринга. Нормальные алгоритмы. Функции обработки списков. Предикаты.
Разветвление вычислений.
2.3 Результаты обучения по дисциплине:
- использует методы и технологии разработки для генерации исполняемого кода;
- анализирует поставленные задачи, разрабатывает алгоритмы, представляет
данные для решения поставленных задач;
- разрабатывает модели различных классов систем с применением языков
функционального и логического программирования, осуществляет разработку
программного обеспечения на языках Лисп и Пролог.
3. Пререквизиты:
Информационно-коммуникационные технологии, Алгоритмизация и
программирование

4. Постреквизиты:
Выпускная квалификационная работа
 5. Структура и содержание модулей и модульных единиц
5.1 Трудоемкость модулей и модульных единиц дисциплины

Неделя Аудиторная работа

Наименование модулей и Всег
академи- по видам занятий Внеаудиторна
модульных единиц о
ческого я работа (СРО)
дисциплины часов Л ЛЗ ПЗ СРОП
периода
1-8 Модуль 1. Элементы 80 8 16 8 48
неделя теории алгоритмов
9-15 Модуль 2. Определение 70 7 14 7 42
неделя алгоритма. Машина
Тьюринга.
ВСЕГО: 150 15 - 30 15 90

5.2 Содержание модулей дисциплины

Модуль 1. Элементы теории алгоритмов
Модульная единица 1.1 Введение. Основные понятия теории множеств. Применение
приемов к множествам
Модульная единица 1.2 Основные понятия теории множеств. Применение приемов к
множествам
Модульная единица 1.3 Комбинаторика. Место и циферблат
Модульная единица 1.4 Рекурентные отношения. Биномиальные коэффициенты
Модульная единица 1.5 Алгебраико-логические функции и способы их передачи.
Булевая функция
Модульная единица 1.6 Введение в теорию графов
Модульная единица 1.7 Количество графов. Операции с графами
Модульная единица 1.8 Количество графов. Операции с графами

Модуль 2. Определения алгоритмов. Машина Тьюринга.

Модульная единица 2.1 Деревья. Свойства деревьев

Модульная единица 2.2 Поиск маршрутов в графствах
Модульная единица 2.3 Циклы Эйлера и цепи
Модульная 2.4 Плоские графы
Модульная единица 2.5 Элементы теории кодирования
Модульная единица 2.6 Сжатие данных
Модульная единица 2.7 Криптография. Шифрование

5.3 Содержание занятий и контрольных мероприятий

Количество часов
№ и название аудиторных
лекционных/лабораторных/ занятий Рейт
№ недели

Виды
практических/ Тра Учебные инг
№ модуля и

контрольного
модульной

семинарских/студийных диц занятия в (бал

единицы

мероприятия
занятий с указанием форм ионно режиме л)
проведения занятия е offl
online
очное ine
Модуль 1. Элементы теории алгоритмов
1 МЕ-1. Лекция № 1.Введение. 1 Тест 2
Основные понятия теории
множеств. Применение
 приемов к множествам
Лабораторная работа №1 2 Защита 5
Алгебра множеств лабораторной
работы
2 МЕ-2. Лекция № 2. Основные 1 Тест 2
понятия теории множеств.
Применение приемов к
множествам
Лабораторная работа №2 2 Защита 5
Свойства множеств лабораторной
работы
3 МЕ-3. Лекция № 3. Комбинаторика. 1 Тест 2
Место и циферблат
Лабораторная работа №3 2 Защита 5
Способ сложения и вычитания лабораторной
работы
4 МЕ-4. Лекция № 4. Рекурентные 1 Тест 2
отношения. Биномиальные
коэффициенты
Лабораторная работа №4 Буль 2 Защита 6
функции. Свойства булевых лабораторной
функций. Таблицы работы
реальности.
5 МЕ-5. Лекция № 5. Алгебраико- 1 Тест 2
логические функции и
способы их передачи. Булевая
функция
Лабораторная работа №5 2 Защита 6
Вычисление высказываний лабораторной
работы
6 МЕ-6. Лекция № 6. Введение в 1 Тест 2
теорию графов
Лабораторная работа № 6 2 Защита 6
расчет предикатов. лабораторной
Аксиоматическая теория. работы
7 МЕ-7. Лекция № 7. Количество 1 Тест 2
графов. Операции с графами
Лабораторная работа № 7. 2 Защита 6
Функциональные полные лабораторной
системы, классификация работы
функций.
8 МЕ-8. Лекция № 8. Количество 1 Тест 2
графов. Операции с графами
Лабораторная работа №8 2 Защита 6
ДНФ, КНФ, алгебра лабораторной
Жегалкина. работы
Модуль 2. Определение алгоритма. Машина Тьюринга.
9 МЕ-1. Лекция № 9. Деревья. 1 Тест 2
Свойства деревьев
Лабораторная работа №9 2 Защита 6
ДНФ, КНФ, алгебра лабораторной
Жегалкина. работы
 10 МЕ-2. Лекция №10. Поиск 1 Тест 2
маршрутов в графах
Лабораторная работа №10 2 Защита 6
Функции производителя. лабораторной
Свойства производительных работы
функций.
11 МЕ-3. Лекция № 11. Циклы Эйлера и 1 Тест 2
цепи
Лабораторная работа №11 2 Защита 6
Теория графов. лабораторной
Деревья.Операции над работы
графами. Связь графов и
деревьев
12 МЕ-4. Лекция № 12. Плоские графы 1 Тест 2
Лабораторная работа №12 2 Защита 7
Графы Эйлера и Гамильтона. лабораторной
Потоки в сети. Кратчайший работы
путь в графе.
13 МЕ-5. Лекция № 13. Элементы 1 Тест 2
теории кодирования
Лабораторная работа №13 2 Защита 7
Задание графам лабораторной
работы
14 МЕ-6. Лекция № 14. Сжатие данных 1 Тест 2
Лабораторная работа №14 2 Защита 7
Элементы теории алгоритмов. лабораторной
Машина работы
Тьюринга.Асимптотические
оценки алгоритмической
сложности функции. Класс NP
15 МЕ-7. Лекция № 15. Криптография. 1 Тест 2
Шифрование
Лабораторная работа №15 2 Защита 7
Решение комбинаторных лабораторной
задач. работы

6. . Перечень основной и дополнительной учебной литературы, необходимой для

освоения дисциплины
6.1 Основная литература:
1 Фалевич Б.Я. Теория алгоритмов [текст] : учебное пособие. - M. : Машиностроение,
2016. - 160с. - ISBN 5-217-03249-9

6.2 Дополнительные литературы:

1 Пруцков А.В. Математическая логика и теория алгоритмов : Учебник. - М : КУРС,
2018. - 152. - ISBN 978-5-906818-74-4.

6.3 Перечень ресурсов информационно-телекоммуникационной сети

"Интернет"

1. Игошин, В. И. Математическая логика : учеб. пособие / В.И. Игошин. — Москва :

ИНФРА-М, 2019. — 398 с. + Доп. материалы [Электронный ресурс; Режим доступа:
http://new.znanium.com]. — (Высшее образование: Бакалавриат). - ISBN 978-5-16-104067-
6. - Текст : электронный. - URL: https://new.znanium.com/catalog/product/987006

7. Контроль и оценка результатов обучения по учебной дисциплине

Процедура проведения оценочных мероприятий имеет следующий вид:
А) текущий контроль
Посещаемость и успеваемость (текущий и рубежный контроль по модулям)
обучающихся фиксируется в электронном журнале.
В конце семестра выводится общая итоговая оценка – рейтинг, который является
накопительным показателем работы обучающегося в течение всего семестра. Периоды Р1
– на 8 неделе, Р2 – на 15 неделе семестра.
Посещение и работа на лекционных занятиях, работа на
практических/лабораторных/студийных занятиях, выполнение и сдача работ, выполнение
и сдача заданий СРО оценивается следующим образом:
Недели
Оцениваемая позиция 1 2 3 4 5 6 7 8 9 10 1 12 13 14 15
1
Оценка в баллах
Лекции 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
(Посещаемость/
активность)
Практические
(семинарские) занятия
Лабораторные 5 5 5 6 6 6 6 6 6 6 6 7 7 7 7
(студийные) занятия
Выполнение задания 2 2 2 7 2 2 2 10 2 2 2 10 2 2 10
по СРО
Индивидуальное
задание
Курсовая работа
Семестровая работа
Максимальный балл 9 9 9 15 10 1 10 18 10 10 1 19 11 11 19
за неделю 0 0
Рубежный контроль РМ1 РМ2 РМ3
по модулю 5 5 10
(РМ1,...РМn)
Рейтинг Р1 =100 Р2 =100
Рейтинг допуска (Р) Р =(Р1+Р2)/2

Экзамен (Э) 100

Итоговая оценка (И) ИО= Р × 0,6+ Е × 0,4

Б) промежуточная аттестация (итоговый контроль)

Направление на итоговый контроль не менее 50 баллов.
Экзамен, максимальный балл - 100 баллов.
Итоговая оценка по дисциплине включает текущую оценку успеваемости и итоговый
контроль (экзаменационная оценка): ОО = Р × 0,6 + Е × 0,4

8. Перечень вопросов для самостоятельного изучения

№ недели
№ модуля и Перечень рассматриваемых Количес Вид
Рейтинг
модульной вопросов для самостоятельного -тво контрольного (балл)
единицы изучения часов мероприятия

Модуль 1. Элементы теории алгоритмов

Модульная Введение. Основные понятия 5 Реферат/Доклад 2
1 единица 1.1. теории множеств. Применение
приемов к множествам
2 Модульная Основные понятия теории 5 Реферат/Доклад 2
единица 1.2. множеств. Применение приемов
к множествам
3 Модульная Комбинаторика. Место и 5 Реферат/Доклад 2
единица циферблат
1.3.

Модуль 2. Основные технологии проектирования ИС.

Модульная Рекурентные отношения. 5 Защита проекта 7

единца 2.1. Биномиальные коэффициенты
4
5 Модульная Алгебрально-логические 5 Реферат/Доклад 2
единца 2.2. функции и способы их передачи.
Булевая функция
6 Модульная Закон поглощения. 5 Реферат/Доклад 2
единца 2.3. Универсальный набор
7 Модульная Связь области правды с 5 Реферат/Доклад 2
единца 2.4. применением подходов к сборам.
8 Модульная Комбинаторика. Место и 5 Реферат/Доклад 10
единца 2.5. циферблат

Модуль 3. Создание приложений хранилищ данных.

9 Модульная 5 Реферат/Доклад 2
n
единца 3.1. количество p1 , p 2 ,..., p N
элементов множества, не
обладающих N свойствами

10 Модульная Построение математических 5 Отчет о 2

единца 3.2. теорий. выполненном
индивидуальном
задании
11 Модульная Рекурентные отношения. 5 Реферат/Доклад 2
единца 3.3. Биномиальные коэффициенты
12 Модульная Буль функции. Свойства 5 Защита проекта 10
единца 3.4. булевых функций. Таблицы
реальности.
13 Модульная Таблицы истинности булевых 5 Реферат/Доклад 2
единца 3.5. функций.
Модуль 4. Распределенные и постреляционные системы управления базами
данных
14 Модульная Алгебраико-логические функции 5 Реферат/Доклад 2
единца 4.1.
 и способы их передачи. Булевая
функция
15 Модульная Алгебраико-логические функции 5 Защита проекта 10
единца 4.2. и способы их передачи. Булевая
функция
ВСЕГО: 75 60

9. Перечень образовательных (в том числе интерактивных) технологий,

используемых при осуществлении образовательного процесса

Кол-
во Вид занятия
№
акад (лекция, Используемый
неде Модульная единица (тема)
ем практ.самост. метод
ли
часо занятие)
в
1. Модульная единица 1.1 Введение. 1 Лекция Лекция – дискуссия
Основные понятия теории множеств. Лабораторное MS Visual studio C#
2 занятие
Применение приемов к множествам 2012
3. Модульная единица 1.2 Основные 1 Лекция Лекция –
понятия теории множеств. конференция
Применение приемов к множествам 2 Лабораторное MS Visual studio C#
занятие 2012
5. Модульная единица 1.1 Введение. 1 Лекция Дәріс –
Основные понятия теории множеств. конференция
Применение приемов к множествам Лабораторное MS Visual studio
2
занятие C# 2012
7. Модульная единица 2.1. Концепция 1 Лекция Лекция -
базы данных конференция
2 Лабораторное MS Visual studio
занятие C# 2012
9. Модульная единица 2.2. Закон 1 Лекция Лекция -
поглощения. Универсальный набор. конференция
2 Лабораторное MS Visual studio
занятие C# 2012
11. Модульная единица 2.2. Закон 1 Лекция Лекция –
поглощения. Универсальный набор. дискуссия
2 Лабораторное MS Visual studio
занятие C# 2012
13. Модульная единица 2.4. 1 Лекция Проблемная
Даталогическое проектирование. лекция
2 Лабораторное MS Visual studio
занятие C# 2012
15. Модульная единица 2.5. Упрощение 1 Лекция Лекция –
отношений. конференция
2 Лабораторное MS Visual studio
занятие C# 2012
17. Модульная единица 3.1. 1 Лекция Проблемная
Поставщики данных в ADO.NET. лекция
ADO.NET обзор объектов. 2 Лабораторное MS Visual studio
занятие C# 2012
19. Модульная единица 3.2. Команды 1 Лекция Лекция –
конференция
 подключения к базе данных. 2 Лабораторное MS Visual studio
занятие C# 2012
21. Модульная единица 3.3. Хранимые 1 Лекция Лекция –
процедуры. конференция
2 Лабораторное MS Visual studio
занятие C# 2012
23. Модульная единица 3.4. Запросы к 1 Лекция Лекция –
базам данных. конференция
2 Лабораторное MS Visual studio
занятие C# 2012
25. Модульная единица 3.5. Работа с 1 Лекция Лекция –
таблицами данных. конференция
2 Лабораторное MS Visual studio
занятие C# 2012
27. Модульная единица 4.1. 1 Лекция Лекция –
Распределенная база данных конференция
2 Лабораторное MS Visual studio
занятие C# 2012
29. Модульная единица 4.2. Объектно- 1 Лекция Лекция –
ориентированная база данных конференция
2 Лабораторное MS Visual studio
занятие C# 2012

10 Требования к академической успеваемости

Посещение обучающимися всех аудиторных занятий без опозданий является
обязательным.
В случае пропуска занятия отрабатываются в порядке, установленном деканатом.
Допускается максимально только 3 пропуска занятий. 15 минут опоздания на занятие
приравниваются одному пропуску. В случае более 3 пропусков преподаватель имеет
право в дальнейшем студента не допускать к занятиям до административного решения
вопроса. Работы следует сдавать в указанные сроки. Крайний срок сдачи всех заданий - за
7 дня до начала экзаменационной сессии.
Студенты, не сдавшие все задания, и не защитившие курсовую работу, не
допускаются к экзамену.

11 Политика академического поведения и этики

11.1 Уважайте чужое мнение. Возражения формулируйте в корректной форме.
11.2 Самостоятельно выполняйте все семестровые (курсовые) задания.
11.3 Плагиат и другие формы нечестной работы недопустимы (копирование работы
другого студента, отправка чужой работы, использование несанкционированных заметок,
е указывать источники (как в тексте, так и после текста, фальсификация источников,
фальсификация данных, самоплагиат («переработка» вашей предыдущей работы,
механическое перефразирование, электронные переводы, услуги редактирования и др.)
11.4 Обучающимся необходимо соблюдать требования АТУ-УМУ-Р-7.1.4-2021-25
«Регламент обеспечения санитарно-эпидемиологического режима АО «АТУ» и
Инструкции по организации учебного процесса в АО «Алматинский технологический
университет» в первом академическом периоде 2021-2022 учебного года, утвержденной
приказом ректора АО «АТУ» № -Р-01/99 ОТ 24.08.2021 «Об организации учебного
процесса в период ограничительных мер, связанных с недопущением распространения
коронавирусной инфекции, в первом академическом периоде 2021-2022 учебного года».
11.5 При отсутствии маски (несоблюдении масочного режима) обучающийся
отстраняется от занятий.
11.6 Обучающимся АО «АТУ» необходимо скачать мобильное приложение «Ashyq»
на свой телефон, авторизоваться по номеру телефона, ввести ИИН и просканировать QR-
код заведения для регистрации своего посещения. Также при выходе необходимо
просканировать QR-код, чтобы зафиксировать свой выход.
11.7 Обучающиеся с признаками инфекционных заболеваний (респираторными,
кишечными, повышенной температурой тела) в учебные корпуса АО «АТУ» не
допускаются.

СОСТАВИТЕЛЬ:
Адилжанова Салтанат Альмуханбетовна __________
«_26_»_08_ 2022_г.

РАССМОТРЕН:
на заседании кафедры, протокол № 1 от «_26_» _08_ 2022 г.

Заведующий кафедрой__________ Маликова Ф.У.

«_26_»__08___2022г.