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

Рабочая программа учебной дисциплины

Направление подготовки: 09.03.01 Информатика и вычислительная техника

Профиль: Системы автоматизированного проектирования (очная форма обучения, КСУП)

Учебный план набора 2015 года (План в архиве)

Кафедра компьютерных систем в управлении и проектировании


Автор:   Зюзьков В. М.
Год издания: 2018

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

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

Клини С. К. Математическая логика: Пер. англ. - 3-е изд., стереотип. - М. : КомКнига, 2007 ; М.: УРСС, 2007. – 480 с. ISBN 978-5-484-00802-5 (20 экз.)
Доступно в библиотеке: 20 экземпляров
В. М. Зюзьков. Теория алгоритмов: учебное пособие для вузов – 2-е изд., испр. и доп. – Томск: Издательство Томского университета, 2009. – 162 с. (22 экз.) ISBN 978-5-7511-1932-4 (наличие в библиотеке ТУСУР - 22 экз.) : Библиотека ТУСУР,
Доступно в библиотеке: 22 экземляра

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

В. М. Зюзьков. Задачи и упражнения по математической логике и теории алгоритмов: учебное методическое пособие. Томский государственный университет систем управления и радио-электроники. - Томск, 2007. - 101 с. (35 экз.). (наличие в библиотеке ТУСУР - 35 экз.) (самостоятельная работа стр. 5-59)
Доступно в библиотеке: 35 экземпляров
В. М. Зюзьков. Задачи и упражнения по математической логике и теории алгоритмов: учебное методическое пособие. Томский государственный университет систем управления и радиоэлектроники. - Томск, 2007. - 101 с. (35 экз.). (наличие в библиотеке ТУСУР - 35 экз.) (для практических занятий: стр. 60-100)
Доступно в библиотеке: 35 экземпляров

Дисциплины

+

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

Направление подготовки (специальность): 09.03.01 Информатика и вычислительная техника

Профиль: Системы автоматизированного проектирования

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

Форма обучения: очная

Факультет: ФВС

Кафедра: КСУП

Курс: 2

Семестр: 3

Учебный план набора 2015 года

План в архиве