Сайты ТУСУРа

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

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

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

Профиль: Программное обеспечение средств вычислительной техники и автоматизированных систем, очная форма обучения, АСУ

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

Кафедра автоматизированных систем управления


Год издания: 2017

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

Шевелев Ю.П. Математическая логика и теория алгоритмов: учебное пособие / Ю.П. Шевелев. - Томск: Дельтаплан, 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 года