Рабочая программа учебной дисциплины
Направление подготовки: 09.03.04 Программная инженерия
Профиль: Программная инженерия, очная форма обучения, АОИ
Учебный план набора 2015 года
Кафедра автоматизации обработки информации
Показать еще 1 направление
Направление подготовки: 09.03.04 Программная инженерия
Профиль: Программная инженерия, очная форма обучения, АОИ
Учебный план набора 2016 года
Кафедра автоматизации обработки информации
Основная литература
Дополнительная литература
Клини С. К.Математическая логика : Пер. англ. М. : КомКнига, 2007 ; М. : УРСС, 2007. - 480 с. В библиотеке ТУСУРа.
Доступно в библиотеке:
15
экземпляров
Игошин В.И. Математическая логика и теория алгоритмов: Учебное пособие для вузов. - М.: Академия, 2004. - 446 с. В библиотеке ТУСУРа
Доступно в библиотеке:
15
экземпляров
Шапорев С. Д. Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов. - СПб.: БХВ-Петербург, 2005. - 410 с. В библиотеке ТУСУРа
Доступно в библиотеке:
52
экземляра
Шевелев Ю. П. Математическая логика и теория алгоритмов: учебное пособие /.. - Томск: Дельтаплан, 2007. - 219 с. В библиотеке ТУСУРа.
Доступно в библиотеке:
40
экземпляров
Смыслова З.А. Математическая логика и ее приложения : Учебное пособие.- Томск: ТАСУР, 1994. -111с. В библиотеке ТУСУРа.
Доступно в библиотеке:
17
экземпляров
Дисциплины
Математическая логика и теория алгоритмов
Направление подготовки (специальность): 09.03.04 Программная инженерия
Профиль: Программная инженерия
Индекс дисциплины: Б1.В.ОД.4
Форма обучения: очная
Факультет: ФСУ
Кафедра: АОИ
Курс:
Семестр:
Учебный план набора 2015 года
Математическая логика и теория алгоритмов
Направление подготовки (специальность): 09.03.04 Программная инженерия
Профиль: Программная инженерия
Индекс дисциплины: Б1.В.ОД.4
Форма обучения: очная
Факультет: ФСУ
Кафедра: АОИ
Курс:
Семестр:
Учебный план набора 2016 года