Сайты ТУСУРа

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

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

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

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

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

Кафедра компьютерных систем в управлении и проектировании


Автор:   Зюзьков В. М.
Год издания: 2016

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

В. М. Зюзьков. Теория алгоритмов: учебное пособие для вузов - 2-е изд., испр. и доп. -Томск: Издательство Томского университета. 2009. - 162 с. ISBN 978-5-7511-1932-4
Доступно в библиотеке: 22 экземляра

В. М. Зюзьков. А. А. Шелупанов. Математическая логика и теория алгоритмов: учебное пособие для вузов - 2-е изд. - М.: Горячая линия-Телеком, 2007. - 176 с. - (Специальность для высших учебных заведений). ISBN 5-93517-349-2
Доступно в библиотеке: 101 экземпляр

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

Непейвода Н. Н. Прикладная логика: Учебное пособие / Николай Николаевич Непейвода; Министерство общего и профессионального образования Российской Федерации, Удмурдский государственный университет. - Ижевск : Издательство Удмуртского университета. 1997. - 385 с.
Доступно в библиотеке: 5 экземпляров

Вольвачев Р. Т. Элементы математической логики и теории множеств: Учебное пособие для вузов - Минск: Университетское, 1986. - 108 с.
Доступно в библиотеке: 10 экземпляров

Клини С. К. Математическая логика: Пер. англ. - 3-е изд., стереотип. - М.: КомКнига. 2007 ; М.: УРСС, 2007. - 480 с. ISBN 978-5-484-00802-5
Доступно в библиотеке: 20 экземпляров


Дисциплины

+

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

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

Профиль: Системы автоматизированного проектирования

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

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

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

Кафедра: КСУП

Курс:

Семестр:

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