Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «тюменский государственный университет» Институт математики и компьютерных наук Кафедра программного обеспечения

Скачать 354.18 Kb.

Название	Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «тюменский государственный университет» Институт математики и компьютерных наук Кафедра программного обеспечения
страница	4/4
Дата публикации	12.04.2015
Размер	354.18 Kb.
Тип	Документы

100-bal.ru > Право > Документы

1 2 3 4

Задания для разработки программ к зачетным билетам:

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

Примерные темы рефератов:

• История формирования понятия "алгоритм".
• Известнейшие алгоритмы в истории математики.
• Проблема существования алгоритмов в математике.
• Средства и языки описания (представления) алгоритмов.
• Методы разработки алгоритмов.
• Формализация понятия алгоритм.
• Проблема алгоритмической разрешимости в математике.
• Основатели теории алгоритмов - Клини, Черч, Пост, Тьюринг.
• Основные определения и теоремы теории рекурсивных функций.
• Тезис Черча.
• Проблемы вычислимости в математической логике.
• Машина Поста.
• Машина Тьюринга.
• Нормальные алгоритмы Маркова и ассоциативные исчисления в исследованиях по искусственному интеллекту.
• Парадигма логического программирования — альтернатива процедурному и функциональному программированию.

Вопросы к зачету:

Основные существующие парадигмы программирования, история их возникновения и развития.
Отличия между императивной, логической и функциональной парадигмами программирования
Понятие о функциональном стиле программирования. Отличительные особенности этого стиля.
Понятие слабоформализуемых задач. Особенности задач искусственного интеллекта.
Примеры языков функционального программирования. История развития и основные отличия
Основные черты и особенности языка ЛИСП.
Лямбда-исчисление: базовые понятия и правила редукций.
Лямбда-исчисление: нормальная форма и ее единственность
Понятие об энергичном и ленивом вычислениях. "Бесконечные" структуры данных.
Объекты языка ЛИСП. Символы, константы, атомы, логические значения. Синтаксис определения списков и вызова функций.
Основные функции-селекторы языка ЛИСП. Примеры использования.
Основные функции-распознаватели языка ЛИСП. Примеры использования.
Синтаксис определения пользовательских функции в программе. Пример.
Управляющие структуры на примере функций с ветвлением.
Рекурсивные функции на примере сортировки списка.
Понятие функционалов. Пример с использованием функционала MAP.

10. Образовательные технологии.

Аудиторные занятия:

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

Внеаудиторные занятия:

самостоятельная работа (выполнение самостоятельных заданий разного типа и уровня сложности на лабораторных занятиях, подготовка к аудиторным занятиям, подготовка проектов и курсовых работ, изучение отдельных тем и вопросов учебной дисциплины в соответствии с учебно-тематическим планом, составление конспектов, выполнение индивидуальных заданий: докладов, сообщений, выполнение самостоятельных работ, подготовка ко всем видам контрольных испытаний: текущему контролю успеваемости и промежуточной аттестации);
индивидуальные консультации.

11. Учебно-методическое и информационное обеспечение дисциплины (модуля).

11.1. Основная литература:

Душкин Р.В. 14 занимательных эссе о языке Haskell и функциональном программировании [Электронный ресурс] / Р.В. Душкин. – М.: ДМК Пресс, 2011. – 142 с. – Режим доступа:

http://biblioclub.ru/index.php?page=book&id=129727 (дата обращения 20.05.2013)

Душкин Р.В. Практика работы на языке Haskell [Электронный ресурс] / Р.В. Душкин. – М.: ДМК Пресс, 2010. – 288 с. – Режим доступа: http://biblioclub.ru/index.php?page=book&id=86486 (дата обращения 20.05.2013)
Душкин Р.В. Функциональное программирование на языке Haskell [Электронный ресурс] / Р.В. Душкин. – М.: ДМК Пресс, 2008. – 608 с. – Режим доступа: http://biblioclub.ru/index.php?page=book&id=86129 (дата обращения 20.05.2013)

11.2. Дополнительная литература:

Кауфман В.Ш. Языки программирования. Концепции и принципы [Электронный ресурс] / В.Ш. Кауфман. – М.: ДМК Пресс, 2011. – 464 с. – Режим доступа: http://biblioclub.ru/index.php?page=book&id=86526 (дата обращения 20.05.2013).
Сошников Д.В. Функциональное программирование на F# [Электронный ресурс] / Д.В. Сошников. – М.: ДМК Пресс, 2011. – 194 с. – Режим доступа: http://biblioclub.ru/index.php?page=book&id=129901 (дата обращения 20.05.2013)
Фултон Х. Программирование на языке Ruby [Электронный ресурс] / Х. Фултон. – М.: ДМК Пресс, 2007. – 688 с. – Режим доступа: http://biblioclub.ru/index.php?page=book&id=47356 (дата обращения 20.05.2013)
Эдельсон Д. JRuby. Сборник рецептов [Электронный ресурс] / Д. Эдельсон, Г. Лю. – М.: ДМК Пресс, 2010. – 235 с. – Режим доступа: http://biblioclub.ru/index.php?page=book&id=86487 (дата обращения 20.05.2013).

11.3. Программное обеспечение и Интернет – ресурсы:

Интерпретаторы языков функционального и рекурсивно-логического программирования Lisp, Haskell.
12. Технические средства и материально-техническое обеспечение дисциплины (модуля).

Учебные аудитории для проведения лекционных занятий, оснащенные мультимедийным оборудованием. Компьютерные классы с установленными интерпретаторами языков функционального программирования Lisp, Haskell.

1 2 3 4

Похожие:

	Федеральное государственное бюджетное образовательное учреждение... Кафедра иностранных языков и межкультурной профессиональной коммуникации экономико-правовых направлений		Федеральное государственное бюджетное образовательное учреждение... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
	Оказанных услуг г. Саранск «31» марта 2013г Федеральное государственное... Федеральное государственное бюджетное учреждение науки институт космических исследований российской академии наук		Федеральное государственное бюджетное образовательное учреждение... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
	Федеральное государственное бюджетное образовательное учреждение... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования		Тюменский государственный университет Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
	Федеральное государственное бюджетное образовательное учреждение... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования		Федеральное государственное бюджетное образовательное учреждение...
	Федеральное государственное бюджетное образовательное учреждение... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования		Федеральное государственное бюджетное образовательное учреждение... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
	Федеральное государственное бюджетное образовательное учреждение... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования		Федеральное государственное бюджетное образовательное учреждение... Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
	Тюменский государственный университет «утверждаю»: Проректор по учебной работе Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования		Тюменский государственный университет «утверждаю»: Проректор по учебной работе Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
	Тюменский государственный университет «утверждаю»: Проректор по учебной работе Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования		Тюменский государственный университет «утверждаю»: Проректор по учебной работе Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования

Школьные материалы