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

09.03.01 - Информатика и вычислительная техника (Программное обеспечение средств вычислительной техники и автоматизированных систем)

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

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

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

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

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

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

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

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

Вид контроля Семестры
Экзамен 7

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

Вид учебной деятельности 1 семестр 2 семестр 3 семестр 4 семестр 5 семестр 6 семестр 7 семестр 8 семестр Всего Единицы
Лекция1616часов
Практическая работа1616часов
Лабораторная работа3434часов
Всего аудиторных занятий6666часов
Самостоятельная работа7878часов
Всего (без экзамена)144144часов
Подготовка и сдача экзамена/зачета3636часов
Общая трудоемкость180180часов
55З.Е

Компетенции

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