Рабочая программа учебной дисциплины
Направление подготовки: 09.03.01 Информатика и вычислительная техника
Профиль: Системы автоматизированного проектирования, очная форма обучения, КСУП
Учебный план набора 2019 года
Кафедра компьютерных систем в управлении и проектировании
Основная литература
Дополнительная литература
Клини С. К. Математическая логика: Пер. англ. - 3-е изд., стереотип. - М. : КомКнига,
2007 ; М.: УРСС, 2007. – 480 с.
Доступно в библиотеке:
20
экземпляров
Зюзьков В. М. Теория алгоритмов: учебное пособие для вузов – 2-е изд., испр. и доп. –Томск: Издательство Томского университета, 2009. – 162 с.
Доступно в библиотеке:
22
экземляра
Учебно-методическое пособие
Зюзьков В. М. Задачи и упражнения по математической логике и теории алгоритмов: учебное методическое пособие. Томский государственный университет систем управления и радиоэлектроники. - Томск, 2007. - 101 с.
Доступно в библиотеке:
35
экземпляров
Зюзьков В. М. Задачи и упражнения по математической логике и теории алгоритмов: учебное методическое пособие. Томский государственный университет систем управления и радио-электроники. - Томск, 2007. - 101 с.
Доступно в библиотеке:
352
экземляра
Дисциплины
Математическая логика и теория алгоритмов
Направление подготовки (специальность): 09.03.01 Информатика и вычислительная техника
Профиль: Системы автоматизированного проектирования
Индекс дисциплины: Б1.О.15
Форма обучения: очная
Факультет: ФВС
Кафедра: КСУП
Курс: 2
Семестр: 4
Учебный план набора 2019 года