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

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

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

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

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

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

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

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

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

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

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 экземпляр

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

1. Сафьянова Е.Н. Математическая логика и теория алгоритмов: методические указания по проведению практических занятий, а также самостоятельной и индивидуальной работе студентов всех форм обучения для направления 230100.62 - Информатика и вычислительная техника / Е.Н. Сафьянова. – Томск: ТУСУР, 2013. – 7 с. [Электронный ресурс]. – Режим доступа: http://asu.tusur.ru/learning/bak230100/d20/b230100_d20_work.doc

2. Сафьянова Е. Н. Математическая логика и теория алгоритмов: методические указания по самостоятельной и индивидуальной работе студентов / Томск: ТУСУР, 2013. – 7 с. [Электронный ресурс]. – Режим доступа: http://asu.tusur.ru/learning/090301/d20/090301-d20-work.doc

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

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

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

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

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

Вид учебной деятельности	3 семестр	Всего	Единицы
Лекция	8	8	часов
Практическая работа	8	8	часов
Всего аудиторных занятий	16	16	часов
Из них в интерактивной форме	8	8	часов
Самостоятельная работа	119	119	часов
Всего (без экзамена)	135	135	часов
Подготовка и сдача экзамена/зачета	9	9	часов
Общая трудоемкость	144	144	часов
Общая трудоемкость	4	4	З.Е

Компетенции

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

Код

Содержание

ОПК-5

Способность решать стандартные задачи профессиональной деятельности на основе информационной и библиографической культуры с применением информационно-коммуникационных технологий и с учетом основных требований информационной безопасности.

ПК-1

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