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

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

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

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

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

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

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

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

1. Клини С.К. Математическая логика: Пер. англ. / С.К. Клини; пер.: Ю.А. Гастев; ред. пер.: Г.Е. Минц . - 3-е изд., стереотип. - М.: КомКнига, 2007; М.: УРСС, 2007. – 480 с. (20 экз.)
Доступно в библиотеке: 20 экземпляров
2. Зюзьков В.М. Математическая логика и теория алгоритмов: Учебное пособие для вузов / В.М. Зюзьков, А.А. Шелупанов. - 2-е изд. - М: Горячая линия-Телеком, 2007. - 176 с (101 экз.)
Доступно в библиотеке: 101 экземпляр
3. Игошин В.И. Математическая логика и теория алгоритмов: учебное пособие / В.И. Игошин. - 4-е изд., стереотип. - М.: Академия, 2010 – 448 с. (22 экз.)
Доступно в библиотеке: 22 экземляра
4. Шевелев Ю.П. Математическая логика и теория алгоритмов: учебное пособие / Ю.П. Шевелев. - Томск: Дельтаплан, 2007. - 219 с. (50 экз.)
Доступно в библиотеке: 50 экземпляров

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

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

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

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

Компетенции

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