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

09.03.04 - Программная инженерия (Программная инженерия) План в архиве

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

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

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

Индекс дисциплины: Б1.Б.7

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

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

Игошин В.И. Математическая логика и теория алгоритмов: Учебное пособие для вузов. - М.: Академия, 2004. - 446 с.
Доступно в библиотеке: 15 экземпляров
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : Учебное пособие для вузов. - М. : Академия, 2006. - 302 с.
Доступно в библиотеке: 48 экземпляров

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

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

Контрольные работы

Семестр Количество
3 1

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

Вид учебной деятельности 1 семестр 2 семестр 3 семестр 4 семестр 5 семестр 6 семестр 7 семестр 8 семестр 9 семестр 10 семестр Всего Единицы
Лекция448часов
Практическая работа44часов
Лабораторная работа88часов
Всего аудиторных занятий81220часов
Самостоятельная работа6451115часов
Всего (без экзамена)7263135часов
Подготовка и сдача экзамена/зачета99часов
Общая трудоемкость7272144часов
4З.Е

Компетенции

Код Содержание
ОПК-1 владением основными концепциями, принципами, теориями и фактами, связанными с информатикой