Сайты ТУСУРа

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

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

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

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

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

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


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

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

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

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


 

Год издания: 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 года