Сайты ТУСУРа

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

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

Направление подготовки: 09.03.04 Программная инженерия

Профиль: Программная инженерия, очная форма обучения, АОИ

Учебный план набора 2014 года (План в архиве)

Кафедра автоматизации обработки информации


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

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

Дополнительная литература

Шапорев С. Д. Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов. - СПб. : БХВ-Петербург, 2005. - 410 с.
Доступно в библиотеке: 52 экземляра

Шевелев Ю. П. Математическая логика и теория алгоритмов: учебное пособие. - Томск: Дельтаплан, 2007. - 219 с.
Доступно в библиотеке: 40 экземпляров

Смыслова З.А. Математическая логика и ее приложения : Учебное пособие.- Томск: ТАСУР, 1994. – 111 с.
Доступно в библиотеке: 17 экземпляров

Клини С. К.Математическая логика : Пер. англ. М. : КомКнига, 2007 ; М. : УРСС, 2007. – 480 с.
Доступно в библиотеке: 15 экземпляров

Игошин В.И. Математическая логика и теория алгоритмов: Учебное пособие для вузов. - М.: Академия, 2004. - 446 с.
Доступно в библиотеке: 15 экземпляров

Учебно-методическое пособие


Дисциплины

+

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

Направление подготовки (специальность): 09.03.04 Программная инженерия

Профиль: Программная инженерия

Индекс дисциплины: Б1.В.ОД.4

Форма обучения: очная

Факультет: ФСУ

Кафедра: АОИ

Курс: 2

Семестр: 3

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

План в архиве