Напиши РПД для Языки и парадигмы программирования

 8 
 РАБОЧАЯ ПРОГРАММА ДИ СЦИП ЛИНЫ  
1. НАИМЕНОВАНИЕ ДИСЦ ИПЛИНЫ  
Языки и парадигмы программирования  
2. УРОВЕНЬ ВЫСШЕГО О БРАЗОВАНИЯ  
 Подготовка научно -педагогических кадров в аспирантуре.  
 
3. НАПРАВЛЕНИЕ ПОДГО ТОВКИ, НАПРАВЛЕННОСТ Ь (ПРОФИЛЬ) ПОДГОТОВ КИ 
  Направление 09.06.01 «Информатика и вычислительная техника». Направленность (профиль) «Математическое и программное обе с-
печение вычислительных машин, комплексов и компьютерных сетей» (05.13.11).  
4. МЕСТО ДИСЦИПЛИНЫ В СТРУКТУРЕ ОСНОВНОЙ  ОБРАЗОВАТЕЛЬНОЙ ПРОГРАММЫ  
Дисциплина относится к специал ьным дисциплинам вариативной части образовательной программы.  
 
 
5. ПЕРЕЧЕНЬ ПЛАНИРУЕМЫХ РЕЗУЛЬТАТОВ ОБУЧЕНИЯ  
 
Дисциплина участвует в формировании следующих компетенций образовательной программы:  
 
 
 
Формируемые компетенции  Планируемые результаты обучения   9 
 Владением методологией теоретических и  кспериментальных иссл е-
дований в области профессиональной деятельности  
(ОПК -1) 
 З1 (ОПК -1) ЗНАТЬ:  
современные математические методы, применяющиеся для реш е-
ния задач в области естественных наук,  кономики, социолог ии и 
информационно -коммуникационных технологий  
У1 (ОПК -1) УМЕТЬ:  
применять современные методы постановки и анализа задач в о б-
ласти математики и информатики  
В1 (ОПК -1) ВЛАДЕТЬ:  
навыками оптимального выбора современных методов и средств 
постановки и анализа задач в области математики и информатики  
 
  
Способность разрабатывать и реализовывать алгоритмы орган изации 
работы современных вычислительных комплексов и ко мпьютерных 
сетей  
 
 (ПК-2) 
 31 (ПК -2) ЗНАТЬ :   
современные методы разработки  и реализации  алгоритм ов органи-
зации работы вычислительных комплексов и компьютерных с етей 
последнего поколения  
 
У1(ПК-2) УМЕТЬ:  
применять современные методы разработки  и реализации  
алгоритм ов организации работы вычислительных комплексов и 
компьютерных с етей последнего поколения  
 
В1 (ПК -2) ВЛАДЕТЬ:  
навыками оптимального выбора современных метод ов разработки  и 
реализации  алгоритм ов организации работы вычислительных ко м-
плексов и компьютерных с етей последнего поколения  
 
 
 
 
 
 
  10 
 Cпособность к реализации различных математических алгори тмов в 
виде программных комплексов, ориентированных на современную 
вычислительную технику  
(ПК-4) З1 (ПК -4) ЗНАТЬ : 
современные методы  реализации различных математических алгоритмов 
в виде программных комплексов, особенности современных 
вычислительных компле ксов   
 
У1(ПК -4) УМЕТЬ:  
применять современные методы реализации различных математических 
алгоритмов в виде программных комплексов  с учетом  особенностей  со-
временных вычислительных комплексов  
 
В1 (ПК -4) ВЛАДЕТЬ:  
навыками оптимального выбора и создания новых с овременных методов 
реализации математических алгоритмов в виде программных комплексов , 
учитывающих особенности современных вычислительных комплексов  
 
 
 
 
Оценочные средства для промежуточной аттестации приведены в Приложении.  
 
 
6. ОБЪЕМ ДИСЦИПЛИНЫ  
Объем ди сциплины составляет 3 зачетных единицы, всего 108 часов.  
36 часов составляет контактная работа с преподавателем – 32 часа занятий лекционного типа, 0 часов занятий семинарского типа (сем инары, 
научно -практические занятия, лабораторные работы и т.п.), 0 час ов индивидуальных консультаций, 0 часов мероприятий текущего контроля 
успеваемости, 2 часа групповых консультаций, 2 часа мероприятий промежуточной аттестации.  
72 часа составляет самостоятельная работа аспиранта.  
7. ВХОДНЫЕ ТРЕБОВАНИЯ Д ЛЯ ОСВОЕНИЯ ДИСЦИПЛИ НЫ 
Учащиеся должны владеть знаниями по алгоритмам и алгоритмическим языкам, архитектуре ЭВМ, операционным системам, сист е-
мам программирования, языкам программирования в объеме, соответствующем основным образовательным программам бакалавриата по 
укрупненным  группам направлений и специальностей 01.00.00 «Математика и механика», 02.00.00 «Компьютерные и информационные на у- 11 
 ки». 
8. ОБР АЗОВАТЕЛЬНЫЕ ТЕХН ОЛОГИИ  
В процессе обучения для самостоятельной работы аспирантов используются операционные системы семейства Unix  (Linux или 
FreeBSD), интерпретатор SBCL, компилятор Chicken Scheme, система SWI -Prolog, интерпретатор Hopeless. Аспирантам для самостоятел ь-
ной работы предоставляется удалённый доступ к системе типа Unix, в которой установлены вышеперечисленные инструмента льные средс т-
ва. 
9. СОДЕРЖАНИЕ ДИСЦИПЛИНЫ  
Основной целью курса является выработка у аспирантов общего представления о наличии (и многообразии) различных способов о с-
мысления процесса выполнения программ, а равно и их создания. В курсе кратко рассматриваются основные системы парадигм, такие как 
функциональное программирование, логическое программирование, императивное и объектно -ориентированное программирование, даётся 
вводная информация о языках программирования Lisp, Scheme, Prolog, Refal, Hope и об особенно стях их вычислительных моделей. В пр о-
цессе изучения функционального программирования излагается демонстрируются возможности ленивых вычислений, вводится понятие 
карринга. В курсе также рассматриваются некоторые отдельные возможности языков программирования , оппределяющие стиль мышл ения 
программиста.  
 
 
 
 
 
 
Наименование и краткое содерж а-
ние разделов и тем дисциплины,  
форма промежуточной аттестации 
по дисциплине  Всего  
(часы ) В том числе  
Контактная работа (работа во взаимодействии с пр е-
подавателем), часы  
из них Самостоятельная работа 
учащегося, часы  
из них   12 
 Занятия лекционного типа  
Занятия семинарского типа  
Групповые консультации  
Индивидуальные консультации  Учебные занятия, 
направленные на 
проведение тек у-
щего контроля у с-
певаемости: колл о-
квиумы, практич е-
ские контрол ьные 
занятия и др.  Всего  
 Выполне-
ние дома ш-
них заданий  Подго-
товка 
рефера-
тов и 
т.п.. Всего 
Тема 1. Введение  
 
История термина «парадигма» в научно -
техническом дискурсе. Обзор основных 
стилей программирования.  Парадигма 
как стиль мышления; прим еры парадигм 
в традиционных (известных студентам) 
языках программирования. Влияние 
языка программирования на мышление. 
Уровни поддержки отдельных парадигм 
в языках программирования.  
 
Рекурсия как парадигма; виды р екурсии. 
Примеры решения простых задач в ра з-
ных парадигмах.  6 
 4 - - - - 4 2 - 2  13 
 Тема 2. Язык Lisp и примеры его 
использования.  
 
Понятие S -выражения, атомы, т очечные 
пары, списки, точечные списки. Вычи с-
ление S -выражений, символы, функции 
и спецформы; форма QUOTE и её с о-
кращённая запись. Основные в строен-
ные примитивы. Описание пользов а-
тельских функций. Примитив EVAL, 
интерпретирующее исполнение как п а-
радигма.  
Разрушающие примитивы; пример со з-
дания кольцевых структур. Неизме н-
ность констант.  Разделяемость списков 
и её обнаружение. Сборка мусора.  
Функция как объект данных. Функци о-
налы. Безымянные функции; примитив 
FUNCTION. Особая роль символа 
LAMBDA. Локальные связывания, фо р-
ма LET. Лексическое и динамическое 
связывание; функция как замыкание.  
Редукция списков. Левая и правая р е-
дукция, примеры.  
Остаточная (хвостовая) рекурсия. Пр е-
образование рекурсии в остато чную с 
использованием накапливающего пар а-
метра.  
Макросы языка Lisp . 12 6 - - - - 6 6 - 6  14 
 Тема 3. Язык Scheme.  
 
Основные видимые отличия Scheme от 
традиционных диалектов Лиспа: об о-
значение пустого списка и лог ической 
лжи, функция как значение символа, 
порядок вычисления пр остой формы, 
примитив DEFINE, вычисляемость 
LAMBDA -списков (и отсутствие п о-
требности в аналоге примитива 
FUNCTION), создание вариадических 
функций. Соглаш ения об именовании 
предикатов и разрушающий примит и-
вов. 
Континуации, их возможности, пр имеры 
применения. Континуация как обобщ е-
ние механизма обработки и сключений.  8 4 - - - - 4 4 - 4  15 
 Тема 4. Язык Prolog, логическое и 
декларативное программирование.  
 
Основы языка Prolog: атомы, фун кторы, 
списки, цели, предложения, факты.  П о-
рядок выполнения программы: связыв а-
ние переменных, локализация переме н-
ных в предложении, унификация, мн о-
жественность решений, развилки, поиск 
с возвратами. Отсечение, отрицание, 
арифметические примитивы, осно вные 
встроенные примитивы.  
Prolog -машина как автомат для переб о-
ра.  Миф о возможности примен ения 
метода резолюций и его истоки. Огр а-
ничения логической семантики Пролога, 
обусловленные поиском вглубь; техн и-
ческие причины нес оответствия пролог -
вычислителя нормам  математической 
логики. Понятие процедурной семант и-
ки. 
Возможность поиска вширь, чистое л о-
гическое программирование, кра ткая 
характеристика языка Datalog. Паради г-
ма декларативного програ ммирования; 
логическое и декларативное программ и-
рование в прим енении к  управлению 
базами данных, SQL как пример декл а-
ративного языка. База данных в     Пр о-
логе, примитивы assert/retract.  
 
Примитивы findall, bagof, setof и во з-
можность их реализации сре дствами 
Пролога. Устаревшие парадигматич е-
ские особенности Пролога, подход к  об-
работке строк.  10 4 - - - - 4 6 - 6  16 
 Тема 5. Язык Refal и ситуационное 
программирование.  
 
История создания Рефала. Основные 
принципы работы Рефал -вычислителя. 
Диалект Рефал -5 и его особенности; 
возможность поиска с возвратами.  П а-
радигматическая х арактеристика языка 
Рефал, отсу тствие функций как объекта 
данных, «автоматическая» оптимизация 
остаточной рекурсии . 6 2 - - - - 2 4 - 4 
Тема 6. Парадигматическая тр а-
диция языка Hope.  
 
Ленивые вычисления и их возмо жности. 
Строгая типизация, автоматический в ы-
вод типов. Функциональный тип, пон я-
тие карринга.  
Синтаксис и основные возможности 
языка Hope (диалект интерпретатора 
Hopeless).  10 4 - - - - 4 6 - 6  17 
 Тема 7. Традиционные парадигмы.  
 
Основные характеристики императивн о-
го и императивно -процедурного пр о-
граммиров ания, термин «фон -
неймановское программирование». П а-
радигматическое различие между яз ы-
ками Pascal и C, побочный  ффект как 
парадигма, язык C как язык побочных 
 ффектов.  
Объектно -ориентированное программ и-
рование и различные терминологич е-
ские подходы к его описанию.  Разгр а-
ничение между а бстрактными типами 
данных и объе ктами в смысле ООП.  
Командно -скриптовое программиров а-
ние; строка текста как универсал ьное 
представление для программы и данных. 
ASCII -текст как парадигма программ и-
рования.  8 4 - - - - 4 4  4 
Тема 8. Многостилевое (мультип а-
радигмальное) программирование.  
 
Мотивация многостилевого программ и-
рования; технические сложности инт е-
грации разнородных пр ограммистских 
инструментов.  
Основные подходы к многостилевой 
интеграции и их характеристики.  8 4 - - - - 4 4 - 4 
Промежуточная аттестация – уст-
ный экзамен  40 - - 2 - 2 4 36 - 36 
Итого  108                               36                                                                                                                       72         
  18 
 10. УЧЕБНО -МЕТОДИЧЕСКИЕ МАТЕРИА ЛЫ ДЛЯ САМОСТОЯТЕЛЬН ОЙ Р АБОТЫ УЧАЩИХСЯ  
Самостоятельная работа учащихся состоит в изучении лекционного материала, учебно -методической литературы, подготовки к  пр о-
межуточной аттестации.  
 
11.  РЕСУРСНОЕ ОБЕСПЕЧЕНИ Е 
Основная литера тура  
1. Э. Хювёнен, Й. Сеппянен. Мир Лиспа. В 2 -х т. Т.1: Введение в язык Лисп и функциональное программирование.  М.: Мир, 1990. 447 с.  
2. А. Филд, П. Харрисон. Функциональное программирование. М.: Мир, 1993. 637 с.  
3. Х. Абельсон, Д. Д. Сассман. Структура и интерп ретация компьютерных программ. М.: Добросвет, 2006. 608 с.  
4. И. Братко. Программирование на языке Пролог для искусственного интеллекта. М.: Мир, 1990. 560 с.  
5. В. Ш. Кауфман.  Языки программирования: концепции и принципы. М.: ДМК Пресс, 2010. 464 с.  
6. Т. Бадд. О бъектно -ориентированное программирование в действии.  СПб.: Питер, 1997. 464 c.   
 
Дополнительная литература  
1. Т. Кун, Структура научных революций. М.: Прогресс, 1997. 300 с.  
2. С.Черри, Г.Готлоб, Л.Танка. Логическое программирование и базы данных. М.: Мир, 1992 . 352 с.  
3. Дж. Малпас. Реляционный язык Пролог и его применение. М.: Наука, 1990. 464 с.  
4. Г. Буч. Объектно -ориентированный анализ и проектирование. СПб.: «Невский диалект», 1999. 560 с.  
5.  G. L. Steele. Common Lisp the Language, 2nd ed. Digital Press,  1990. 10 29 pgs.  
6. R. Kelsey, W. Clinger, J. Rees (eds.), Revised 5 Report on the Algorithmic Language Scheme, Higher -Order and Symbolic Computation , 
Vol. 11, No. 1, August, 1998  
 
Ресурсы информационно -телекоммуникационной сети «Интернет»  
1. https://common -lisp.net  
2. http://www.schemers.org  
3. https://call -cc.org/  
4. http://www.swi -prolog.org/   19 
 5. http://www.refal.net  
6. http://hopelog.com  
 
Информационные технологии, используемые в процессе обучения  
В процессе обучения для самостоятельной работы аспирантов используются операционные системы семейства Unix (Linux или 
FreeBSD), интерпретатор SBCL, компилятор Chicken Scheme, система SWI -Prolog, интерпретатор Hopeless. Аспирантам для самостоятел ь-
ной работы  предоставляется удалённый доступ к системе типа Unix, в которой установлены вышеперечисленные инструментальные средс т-
ва. 
 
Материально -техническая база  
Для преподавания дисциплины требуется лекционная аудитория, оборудованная маркерной или меловой доской, а также компь ютерный 
класс. Компьютеры должны работать под управлением ОС Linux или FreeBSD, в системе должны быть установлены интерпретатор SBCL,  
компилятор Chicken Scheme, система SWI -Prolog, интерпретатор Hopeless. Необходимо наличие доступа к сети «Инт ернет».   
 
12. ЯЗЫК ПРЕПОДАВАНИЯ  
 
Русский  
13. Р АЗР АБОТЧИК ПРОГР АММ Ы, ПРЕПОДАВАТЕЛИ  
 к.ф.- м.н., к.ф.н., доцент Столяров Андрей Викторович ( avst@cs.msu.ru) 
  20 
 Приложение  
ОЦЕНОЧНЫ Е СРЕДСТВ А ДЛЯ ПРОМЕЖУТОЧНОЙ АТТЕСТАЦИИ ПО ДИ СЦИПЛИНЕ  
«Языки и парадигмы программирования»  
Средства для оценивания планируемых результатов обучения, критерии и показатели оценивания приведены ниже.  
РЕЗУЛЬТАТ 
ОБУЧЕНИЯ  
по дисциплине 
(модулю)  КРИТЕРИИ и ПОКАЗАТЕЛИ ОЦЕНИВАНИЯ РЕЗУЛЬТАТА ОБУЧЕНИЯ  
по дисци плине (модулю)  
(критерии и показатели берутся из соответствующих карт компетенций, при этом пользуются 
либо традиционной системой оценивания, либо БРС)  ОЦЕНОЧНЫЕ 
СРЕДСТВА  
 1 2 3 4 5  
 Неудовлетворител ь-
но 
 Неудовлетвори -
тельно  Удовлетвори -
тельно  Хорошо  
 Отлично  
  
ЗНАТЬ : 
современные мат е-
матические мет о-
ды, применяющи е-
ся для решения з а-
дач в области ест е-
ственных наук, 
 кономики, соци о-
логии и информ а-
ционно -
коммуникац ионных 
технологий 
Код З1 (ОПК -1) Отсутствие знаний  Фрагментарные 
представления о  со-
временных ма тема-
тических м етодах, 
применяющихся 
для решения задач 
в области естес т-
венных наук,  к о-
номики, социол о-
гии и информац и-
онно -
коммуникацио нных 
технологий 
 В целом сформ и-
рованные, но н е-
полные зн ания о  
современных 
математических 
методах, прим е-
няющихся для 
решения  задач в 
области естес т-
венных наук, 
 кономики, с о-
циологии и и н-
формацио нно-
коммуника -
ционных техн о-
логий  Сформированные, 
но содержащие 
отдельные проб е-
лы знания о  со-
временных м а-
тематических 
методах, прим е-
няющихся для 
решения задач в 
области естес т-
венных наук,  
 кономики, с о-
циологии и и н-
формацио нно-
коммуника -
ционных техн о-
логий  Сформирова нные 
системат ические  
знания о  современ-
ных математич е-
ских методах, пр и-
меняющихся для 
решения задач в 
области естестве н-
ных наук,  коном и-
ки, социологии и 
информационно -
коммуникац ионных 
технологий Устный  кзамен   21 
 УМЕТЬ:  
применять совреме н-
ные методы поста-
новки  и анализа за-
дач в области мате-
матики и информ а-
тики  
Код У1 (ОПК -1) Отсутствие умений  
 
 
 
 
 
  Фрагментарные 
умения  применять 
современные м етоды 
постановки  и анализа 
задач в области ма-
тематики и информ а-
тики  В целом 
успешное, но не 
систематическое 
умение  применять 
современные м е-
тоды постановки  
и анализа задач в 
области матема-
тики и информ а-
тики  Успешное, но 
содержащее 
отдельные 
пробелы умение  
применять совр е-
менные мет оды 
постановки  и ана-
лиза задач в о б-
ласти математи ки 
и информ атики  Сформированное 
умение применять 
современные методы 
постановки  и анализа 
задач в области ма-
тематики и информ а-
тики  Устный  кзамен  
ВЛАДЕТЬ:  
навыками оптималь-
ного выбора совре-
менных методов и 
средств постановки  и 
анализа задач в о б-
ласти математи ки и 
информатики 
Код В1 (ОПК -1) Отсутствие навыков  
 
 
 
 
 
 Фрагментарн ое 
владение навыками 
оптимального выбора 
современных мето-
дов и средств поста-
новки  и анализа за-
дач в области мате-
матики и информ а-
тики  В целом 
успешное, но н е 
полное владени е 
навыками опти-
мального выбора 
современных ме-
тодов и средств 
постановки  и ана-
лиза задач в о б-
ласти математи ки 
и информ атики  Успешное, но 
содержащее 
отдельные 
пробелы  владение 
навыками опти-
мального выбора 
современных ме-
тодов и средств 
постановки и ана-
лиза задач в о б-
ласти математики 
и информ атики  Сформированное 
владение  навыками 
оптимального выбора 
современных мето-
дов и средств поста-
новки  и анализа за-
дач в области мате-
матики и информ а-
тики  Устный  кзамен  
ЗНАТЬ:  
современные мет оды 
разработки и р еали-
зации алг оритмов 
организации работы 
вычислительных 
комплексов и ко м-
пьютерных сетей п о-
следнего поколения  
Код З1 (ПК -2) Отсутствие знаний  Фрагментарные 
представления о с о-
временных м етодах 
разработки и реал и-
зации алг оритмов 
организации работы 
вычислительн ых 
комплексов и ко м-
пьютерных сетей п о-
следнего пок оления  
 В целом сформ и-
рованные, но н е-
полные зн ания о 
современных м е-
тодах разработки 
и реализации а л-
горитмов орган и-
зации работы в ы-
числител ьных 
комплексов и 
компьютерных 
сетей последн его 
поколения  Сформированн ые, 
но содержащие 
отдельные проб е-
лы знания о с о-
временных мет о-
дах разработки и 
реализации алг о-
ритмов организ а-
ции работы в ы-
числител ьных 
комплексов и 
компьютерных 
сетей последн его 
поколения  Сформирова нные 
системат ические  
знания о совреме н-
ных методах разр а-
ботки и реализации 
алгоритмов орган и-
зации работы вычи с-
лительных компле к-
сов и компь ютерных 
сетей последнего п о-
коления  Устный  кзамен   22 
 УМЕТЬ:  
применять совреме н-
ные методы 
разработки  и 
реализации  
алгоритм ов органи-
зации работы вычи с-
лительных компле к-
сов и компь ютерных 
сетей  последнего 
поколения  
Код У1 (ПК -2) Отсутствие умений  
 
 
 
 
 
  Фрагментарные 
умения  применять 
современные методы 
разработки  и 
реализации  
алгоритм ов органи-
зации работы вычи с-
лительных компле к-
сов и компь ютерных 
сетей  последнего 
поколения  В целом 
успешное, но не 
систематическое 
умение  применять 
современные ме-
тоды разработки  и 
реализации  алго-
ритмов организа-
ции работы в ы-
числител ьных 
комплексов и 
компьютерных 
сетей последнего 
поколения  Успешное, но 
содержащее 
отдельные 
пробелы умение  
применять совр е-
менные методы 
разработки  и реа-
лизации  
алгоритм ов орга-
низации работы 
вычислительных 
комплексов и 
компьютерных 
сетей последнего 
поколения  Сформированное 
умение применять 
современные методы 
разработки  и 
реализации  
алгоритм ов органи-
зации работы вычи с-
лительных компле к-
сов и компь ютерных 
сетей  последнего 
поколения  Отчет  
ВЛАДЕТЬ:  
навыками оптимал ь-
ного выбора совр е-
менных метод ов раз-
работки  и реализации  
алгоритм ов органи-
зации работы вычи с-
лительных компле к-
сов и компь ютерных 
сетей  последнего 
поколения  
Код В1 (ПК -2) Отсутствие  навыков  
 
 
 
 
 
 Фрагментарн ое 
владение навыками 
оптимального выбора 
современных 
методов разработки  и 
реализации  
алгоритм ов органи-
зации работы вычи с-
лительных компле к-
сов и компь ютерных 
сетей  последнего 
поколения  В целом 
успешное, но не 
полное владени е 
навыками опти-
мального выб ора 
современных м е-
тодов разработки  
и реализации  ал-
горитмов органи-
зации работы в ы-
числител ьных 
комплексов и 
компьютерных 
сетей последнего 
поколения  Успешное, но 
содержащее 
отдельные 
пробелы  владение 
навыками опт и-
мального в ыбора 
современных ме-
тодов разработки  
и реализации  ал-
горитмов органи-
зации работы в ы-
числительных 
комплексов и 
компьютерных 
сетей последнего 
поколения  Сформированное 
владение  навыками 
оптимального выбора 
современных 
методов разработки  и 
реализации  
алгоритм ов органи-
зации работы  вычис-
лительных компле к-
сов и компь ютерных 
сетей  последнего 
поколения  отчет   23 
 ЗНАТЬ : 
современные м етоды 
реализации разли ч-
ных математических 
алгоритмов в виде 
программных ко м-
плексов, ос обенности 
современных вычи с-
лительных компле к-
сов 
Код З1 (ПК -4) Отсутствие знаний  Фрагментарные 
представления о  со-
временны х методах 
реализации разли ч-
ных матем атических 
алгоритмов в виде 
программных ко м-
плексов, особенн о-
стях современных 
вычислительных 
комплексов 
 В целом сформ и-
рованные, но н е-
полные зн ания о  
современны х ме-
тодах реализации 
различных мат е-
матических алг о-
ритмов в виде 
программных 
комплексов, ос о-
бенностях совре-
менных вычисл и-
тельных компле к-
сов Сформированные, 
но содержащие 
отдельные проб е-
лы знания о  со-
временны х мето-
дах реализации 
различных мат е-
матических алг о-
ритмов в виде 
программных 
комплексов, ос о-
бенностях совре-
менных вычисл и-
тельных компле к-
сов Сформирова нные 
системат ические  
знания о  современ-
ных методах реали-
зации различных м а-
тематических алг о-
ритмов в виде пр о-
граммных компле к-
сов, особенностях 
современных вычи с-
лительных ком плек-
сов Устный  кзамен  
УМЕТЬ:  
применять 
современные методы  
реализации разли ч-
ных математических 
алгоритмов в виде 
программных ко м-
плексов  с учетом  
особенностей 
современных 
вычислительных 
комплексов 
Код У1 (ПК -4) Отсутствие умений  
 
 
 Фрагментарные 
умения  применять 
современные  методы  
реализации разли ч-
ных матем атических 
алгоритмов в виде 
программных ко м-
плексов  с учетом  
особенностей 
современных 
вычислительных 
комплексов В целом 
успешное, но не 
систематическое 
умение  применять 
современные  
методы  реализа-
ции разли чных 
математических 
алгоритмов в виде 
программных 
комплексов  с уче-
том особенностей 
современных 
вычислительных 
комплексов Успешное, но 
содержащее 
отдельные 
пробелы умение  
применять совре-
менные  методы  
реализации ра з-
личных матем а-
тических алг о-
ритмов в виде 
программных 
комплексов  с уче-
том особенностей 
современных 
вычислительных 
комплексов Сформированное 
умение применять 
современные  методы  
реализации разли ч-
ных математических 
алгоритмов в в иде 
программных ко м-
плексов  с учетом  
особенностей 
современных 
вычислительных 
комплексов отчет   24 
 ВЛАДЕТЬ:  
навыками оптималь-
ного выбора и созда-
ния новых совреме н-
ных методов реали-
зации математич е-
ских алгори тмов в 
виде программных 
комплексов , учиты-
вающих особенности 
современных 
вычислительных 
комплексов 
Код В1 (ПК -4) Отсутствие навыков  
 
 
 
 
 
 Фрагментарн ое 
владение навыками 
оптимального выбора 
и создания новых 
современных мето-
дов реализации м а-
тематических алг о-
ритмов в виде пр о-
граммных компле к-
сов, учитывающих 
особенности 
современных 
вычислительных 
комплексов  В целом 
успешное, но не 
полное  владение 
навыками опти-
мального выбора 
и создания новых 
современных 
методов реализа-
ции математич е-
ских алгори тмов в 
виде програм м-
ных комплексов , 
учитывающих 
особенности 
современных 
вычислительных 
комплексов Успешное, но 
содержащее 
отдельные 
пробелы  владение 
навыками опти-
мального выбора 
и создания новых 
современных 
методов реализа-
ции математич е-
ских алгори тмов в 
виде програм м-
ных комплексов , 
учитывающих 
особенности 
современных 
вычислительных 
комплексов 
 Сформированное 
владение  навыками 
оптимального выбора 
и создания новых 
современных мето-
дов реализации м а-
тематических алг о-
ритмов в виде пр о-
граммных компле к-
сов, учитывающих 
особенности 
современных 
вычислительных 
комплексов 
 отчет  
 
Фонды оценочных средств, необходимые для оценки результатов обучения  
 
Список вопросов  для устного экзамена.  
1. Понятие "парадигма программирования" и его история. Взаимосвязь языков программирования и парадигм программирования.  
2. Рекурсия. Виды рекурсии. Примеры.  
3. Остаточная (хвостовая) рекурсия.  
4. Императивное и императивно -процедурное программир ование: ключевые понятия.  
5. Язык Лисп. Понятие S -выражения.  
6. Язык Лисп. Функции высоких порядков, мапперы.  
7. Язык Лисп. Лексическое и динамическое связывание. Лексические замыкания.  
8. Функция REDUCE и примеры её использования.  
9. Понятие функционального программиров ания. Ключевые особенности и термины.  
10.  Основные понятия языка Пролог: атом, терм, предикат, переменная. Сопоставление (унификация).  
11.  Выполнение программы на Прологе. Декларативная и процедурная семантика. Отрицание и отсечение.  
12.  Инвертирование предикатов в  Прологе. Причины, по которым инвертирование может не работать.   25 
 13.  Логическое программирование и базы данных. Понятие декларативного программирования.  
14.  Основы языка Рефал. Ситуационное программирование. Поиск с возвратами в Рефале -5. 
15.  Понятие ленивых вычисле ний. Достоинства и недостатки.  
16.  Основы языка Hope.  
17.  Обработка потенциально бесконечных структур данных с помощью ленивых вычислений.  
18.  Командно -скриптовые языки программирования и их ключевые особенности.  
19.  «Текст» как универсальное представление.  
20.  Основы об ъектно -ориентированного программирования. Понятие класса как множества.  
21.  Наследование в ООП. Наследование как сужение множества. Виртуальные методы.  
22.  Полиморфизм, его теоретико -множественное и техническое описание.  
23.  Обобщенное программирование.  
24.  Обработка исключительных ситуаций и её связь с основными стилями программирования.  
25.  Событийно -ориентированное программирование.  
26. Основные методы многостилевой (мультипарадигмальной) интеграции.  
 
 
 
Методические материалы для проведения процедур оценивания результатов обучения  
Особенности организации процесса обучения  
После каждого занятия рекомендуется найти и прочитать дополнительную литературу по теме лекции; по темам 2, 3, 4, 5 и 6 реком ендуется 
самостоятельно решить ряд несложных задач на рассматриваемом языке про граммирования.  
Система контроля и оценивания  
Оценка выставляется по итогам устного  кзамена.  
Структура и график контрольных мероприятий  
Устный  кзамен в конце семестра.