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