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

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

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

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

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

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

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

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

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

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

4. Игошин В.И. Математическая логика и теория алгоритмов: учебное пособие / В.И. Игошин. - 4-е изд., стереотип. - М.: Академия, 2010 – 448 с. (22 экз.)
Доступно в библиотеке: 22 экземляра
5. Шапорев, С.Д. Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов / С.Д. Шапорев. – СПб: БХВ-Петербург, 2005. - 410 с. (59 экз.)
Доступно в библиотеке: 59 экземпляров
6. Дискретная математика: Учебное пособие / Е.Н. Сафьянова. - Ч. 1. - Томск: ТМЦДО, 2000. - 106 с.
Доступно в библиотеке: 106 экземпляров
3. Зюзьков В.М. Математическая логика и теория алгоритмов: Учебное пособие для вузов / В.М. Зюзьков, А.А. Шелупанов. - 2-е изд. - М: Горячая линия-Телеком, 2007. - 176 с (101 экз.)
Доступно в библиотеке: 101 экземпляр

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

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

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

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

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

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

Компетенции

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