Математическая логика и теория алгоритмов

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

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

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

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

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

Обеспечивающая кафедра: Кафедра экономической математики, информатики и статистики

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

Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин. - 4-е изд., стереотип. - М. : Академия, 2010. - 448 с. : ил., табл. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2
Доступно в библиотеке: 2 экземляра
Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов: Учебное пособие для вузов /- 2-е изд., стереотип. – М.: Академия, 2006. - 302 с. - ISBN 5-7695-2914-8
Доступно в библиотеке: 50 экземпляров

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

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

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

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

Компетенции

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