Функциональное и логическое программирование

01.03.02 - Прикладная математика и информатика (Прикладная математика и информатика) План в архиве

Очная форма обучения, план набора 2013 г.

Изучается: 6 семестр

Цикл дисциплины: Б1. Дисциплины (модули)

Индекс дисциплины: Б1.В.ДВ.7.1

Обеспечивающая кафедра: Кафедра автоматизированных систем управления

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

Ленивое функциональное программирование: учебное пособие / В. М. Зюзьков; Томский государственный университет систем управления и радиоэлектроники. - Томск: Издательство Томского университета, 2007. - 293[1] с.
Доступно в библиотеке: 51 экземпляр
Логическое программирование: учебное пособие / В. М. Зюзьков; Томский государственный университет систем управления и радиоэлектроники. - 2-е изд., перераб. и доп. - Томск: Издательство Томского университета, 2007. – 142 с.
Доступно в библиотеке: 33 экземляра

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

Братко, И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. / И. Братко. - М.: Мир, 1990. - 560 с.
Доступно в библиотеке: 78 экземпляров
Хювёнен Э. Мир Лиспа: в 2 т.: пер. с фин. / Э. Хювёнен, Й. Сеппянен; пер. А. А. Рейтсакас, ред. В. Л. Стефанюк. - М.: Мир, 1990 - . Т. 1: Введение в язык Лисп и функциональное программирование: научное издание. - М.: Мир, 1990. – 446 с.
Доступно в библиотеке: 22 экземляра
Зюзьков В. М. Функциональное программирование: Учебное пособие / В. М. Зюзьков; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск: ТМЦДО, 2000. - 52 с.
Доступно в библиотеке: 10 экземпляров
Программирование на языке Пролог: учебное пособие / И. А. Абрамов; Пензенский государственный педагогический университет им. В. Г. Белинского (Пенза). - Пенза: ПГПУ, 2011. - 116 с.
Доступно в библиотеке: 10 экземпляров
Шрайнер П. А. Основы программирования на языке Пролог: Курс лекций. Учебное пособие / П. А. Шрайнер; Интернет-Университет Информационных Технологий. - М.: Интернет-Университет Информационных Технологий, 2005. - 172 с.
Доступно в библиотеке: 20 экземпляров

Контрольные испытания

Вид контроля Семестры
Зачет 6

Объем дисциплины и виды учебной деятельности

Вид учебной деятельности 1 семестр 2 семестр 3 семестр 4 семестр 5 семестр 6 семестр 7 семестр 8 семестр Всего Единицы
Лекция1818часов
Лабораторная работа3636часов
Всего аудиторных занятий5454часов
Из них в интерактивной форме88часов
Самостоятельная работа5454часов
Общая трудоемкость108108часов
33З.Е

Компетенции

Код Содержание
ОПК-3 способностью к разработке алгоритмических и программных решений в области системного и прикладного программирования, математических, информационных и имитационных моделей, созданию информационных ресурсов глобальных сетей, образовательного контента, прикладных баз данных, тестов и средств тестирования систем и средств на соответствие стандартам и исходным требованиям
ПК-7 способностью к разработке и применению алгоритмических и программных решений в области системного и прикладного программного обеспечения