Рабочая программа учебной дисциплины
Направление подготовки: 09.03.01 Информатика и вычислительная техника
Профиль: Системы автоматизированного проектирования, очная форма обучения, КСУП
Учебный план набора 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 года