6. Учебно-методическое и информационное обеспечение учебной дисциплины

Библиографическое описание

по ГОСТ

Кол-во экземпляров в библиотеке ВоГТУ

Наличие литературы на кафедре и в других библиотеках

1

2

3

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

1. Гринченков, Д. В. Математическая логика и теория алгоритмов для программистов: учеб. пособие для вузов/ Д. В. Гринченков, С. И. Потоцкий. - М.: КНОРУС, 2010. - 206 с.

1

2. Судоплатов, С. В. Математическая логика и теория алгоритмов: учебник/ С. В. Судоплатов, Е. В. Овчинников. - М.: ИНФРА-М; Новосибирск: НГТУ, 2004. - 224 с.

1

3. Галиев, Ш.И. Математическая логика и теория алгоритмов / Ш.И. Галиев. – Казань: Издательство КГТУ им. А.Н.Туполева, 2002. – 270 с.

-

Кафедра АВТ

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

4. Игошин, В. И. Математическая логика и теория алгоритмов: учеб. пособие для вузов по специальности "Математика"/ В. И. Игошин. - М.: Academia, 2004. - 446 с.

50

Кафедра АВТ

5. Верещагин, Н. К. Лекции по математической логике и теории алгоритмов: Ч. 3: Вычислимые функции/ Н. К. Верещагин, А. Шень. - М.: МЦНМО, 1999. - 174 с.

1

Кафедра АВТ

Методическая литература

6. Мухин, В. В. Введение в математическую логику: спец. гл. математики: учеб. пособие Ч. 1: (Алгебра логики. Многозначные логики)/ В. В. Мухин. - Вологда: ВоГТУ, 2000. - 55 с.

26

Кафедра АВТ

7. Суржко, С. В. Множества. Отношения. Графы: спец. гл. математики/ С. В. Суржко . - Вологда: ВоПИ, 1999. - 53 с.

1

Кафедра АВТ

Программное обеспечение

и Интернет-ресурсы

8.INTUIT.ru: Введение в схемы, автоматы и алгоритмы: [Электронный ресурс]. - Режим доступа: http://www.intuit.ru/department/ds/introsaa/

Проверено 28.06.2012

-

Кафедра АВТ

9.INTUIT.ru: Математическая логика: [Электронный ресурс]. - Режим доступа: http://www.intuit.ru/department/mathematics/mathlogic/ Проверено 28.06.2012

-

Кафедра АВТ

№

п/п

Перечень основного оборудования

Нумерация

тем

1

2

3

1.

Проектор Epson EB-X10 (1 шт.)

1-9

2.

Персональный компьютер с двухъядерным процессором, подключенный к локальной сети (14 шт)

1-9