Войти

Научно-образовательный портал ТУСУР

Научно-образовательный портал ТУСУР

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

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

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

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

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

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

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

Рабочая программа

Математическая логика и теория алгоритмов: Рабочая программа учебной дисциплины «Математическая логика и теория алгоритмов»/ Тунгусова А. В. ‐ 2016

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

1. Зюзьков, В. М. Математическая логика и теория алгоритмов: Учебное пособие [Электронный ресурс] / Зюзьков В. М. — Томск: ТУСУР, 2015. — 236 с. — Режим доступа:

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

1. Клини С.К. Математическая логика: Пер. англ. / С.К. Клини; пер.: Ю.А. Гастев; ред. пер.: Г.Е. Минц . - 3-е изд., стереотип. - М.: КомКнига, 2007; М.: УРСС, 2007. – 480 с. (20 экз.)
Доступно в библиотеке: 20 экземпляров

2. Зюзьков В.М. Математическая логика и теория алгоритмов: Учебное пособие для вузов / В.М. Зюзьков, А.А. Шелупанов. - 2-е изд. - М: Горячая линия-Телеком, 2007. - 176 с (101 экз.)
Доступно в библиотеке: 101 экземпляр

3. Игошин В.И. Математическая логика и теория алгоритмов: учебное пособие / В.И. Игошин. - 4-е изд., стереотип. - М.: Академия, 2010 – 448 с. (22 экз.)
Доступно в библиотеке: 22 экземляра

4. Шевелев Ю.П. Математическая логика и теория алгоритмов: учебное пособие / Ю.П. Шевелев. - Томск: Дельтаплан, 2007. - 219 с. (50 экз.)
Доступно в библиотеке: 50 экземпляров

Учебно-методическое пособие

1. Перемитина, Т. О. Математическая логика и теория алгоритмов: Методические указания к выполнению практических работ по дисциплине для студентов специальности 230102 «Автоматизированные системы обработки информации и управления» [Электронный ресурс] / Перемитина Т. О. — Томск: ТУСУР, 2015. — 36 с. — Режим доступа:

2. Баранник, Н. Ф. Теория алгоритмов и математическая логика: Методические указания по самостоятельной работе [Электронный ресурс] / Баранник Н. Ф., Баранник В. Г. — Томск: ТУСУР, 2015. — 14 с. — Режим доступа:

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

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

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

Вид учебной деятельности	1 семестр	2 семестр	3 семестр	4 семестр	5 семестр	6 семестр	7 семестр	8 семестр	Всего	Единицы
Лекция			18						18	часов
Практическая работа			36						36	часов
Всего аудиторных занятий			54						54	часов
Из них в интерактивной форме			6						6	часов
Самостоятельная работа			54						54	часов
Всего (без экзамена)			108						108	часов
Подготовка и сдача экзамена/зачета			36						36	часов
Общая трудоемкость			144						144	часов
Общая трудоемкость			4						4	З.Е

Компетенции

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

Томский государственный университет систем управления и радиоэлектроники
634050, г. Томск, пр. Ленина, 40
(3822) 51-05-30
(3822) 51-32-62, 52-63-65
office@tusur.ru
Пн. – пт., 8:30 – 17:30, обед, 13:00 – 14:00