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