09.03.01 Информатика и вычислительная техника профиль "Автоматизированные системы обработки информации и управления"

Математическая логика и теория сложности алгоритмов_ (ВИТ)

1 семестр

ВВТ-206 (20 чел.)

2 семестр

ВИЗ-171 (21 чел.) ВИЗ-175 (22 чел.)

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

№ п/п

Наименование

Количество книг

Обеспеченность

1

Пруцков, А. В. Математическая логика и теория алгоритмов учебник для вузов. / А. В. Пруцков, Л. Л. Волкова. - Москва: КУРС : ИНФРА-М, 2018. - 152с.(Рек. Научно-методическом советом ФГБОУ ВО "Рязанский гос. радиотехнический ун-т" для студентов, обучающихся по направлению подготовки 2.09.03.04 "Программная инженерия" (квалификация "Бакалавр"))

15

0,48

2

Глухов, М.М. Математическая логика. Дискретные функции.Теория алгоритмов / М.М. Глухов, А.Б. Шишков. - Санкт-Петербург, Москва, Краснодар: Лань, 2012. - 416 с.(УМО)

20

0,63

Показатель новизны (выборка за последние

лет) 1,11 - количество новых книг на студента (должно быть > 0.25)

Средняя книгообеспеченность дисциплины основной литературой: 0,56 (должна быть > 0.5)


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

№ п/п

Наименование

Количество книг

Обеспеченность

1

Авдеюк, О. А. Лекции и практикум по основам дискретной математики и математической логике учебно-методическое пособие. / О. А. Авдеюк, Л. В. Дружинина, И. В. Приходькова. - Волгоград: ВолгГТУ, 2019. - 316с.([Печатается по решению ред.-издат. совета ВолгГТУ])

2

0,06

2

Авдеюк, О. А. Конспект лекций по математической логике и теории алгоритмов [Электронный ресурс] Учебно-методическое пособие. 2-е изд., перераб. и доп. / О. А. Авдеюк. - Волгоград: ВолгГТУ, 2018. - 132с.([Печатается по решению ред.-издат. совета ВолгГТУ])

5

0,16

3

Авдеюк, О. А. Конспект лекций по математической логике и теории алгоритмов учебно-методическое пособие. / О. А. Авдеюк. - Волгоград: ВолгГТУ, 2017. - 110с.([Печатается по решению ред.-издат. совета ВолгГТУ])

5

0,16

4

Авдеюк, О. А. Основы дискретной математики учебно-методическое пособие. / О. А. Авдеюк, Ю. П. Муха. - Волгоград: ВолгГТУ, 2016. - 159с.(Доп. УМО вузов РФ по университетскому политехническому образованию для студентов, обучающихся по направлениям подготовки бакалавриата 09.03.01 "Информатика и вычислительная техника" и 09.03.04 "Программная инженерия", [Печатается по решению ред.-издат. совета ВолгГТУ])

5

0,16

5

Бовда, Н.Д. Рабочая программа по дисциплине "Математическая логика и теория алгоритмов " / Н.Д. Бовда. - Волгоград: ВолгГТУ, 2006. - 11 с.

0

0,00

6

Муха, Ю.П. Математическая логика. Конспект лекций по теоретической информатике 2-е изд. / Ю.П. Муха, О.А. Авдеюк, М. Г. Скворцов. - Волгоград: ВолгГТУ, 2001. - 64 с.

2

0,06

7

Муха, Ю.П. Математическая логика и теория алгоритмов. Конспект лекций 2-е изд. / Ю.П. Муха. - Волгоград: ВолгГТУ, 2007. - 92 с.

5

0,16

8

Иванов, Б.Н. Дискретная математика. Алгоритмы и программы / Б.Н. Иванов. - Москва: Лабор. Базов Знаний, 2001. - 288 с.

1

0,03

9

Акимов, О.Е. Дискретная математика: логика, группы, графы / О.Е. Акимов. - Москва: Лаборатория базовых знаний, 2001. - 376 с.

10

0,32

10

Математические основы программирования. Серия "Электронная библиотека". - Москва: НИЦ "РХД", 2005.

1

0,03

11

Лавров, И.А. Задачи по теории множеств, математической логике и теории алгоритмов 3-е изд. / И.А. Лавров, Л.Л. Максимова. - Москва: Физматлит, 1995. - 247 с.

0

0,00

12

Асанов, М.О. Дискретная математика: графы, матроиды, алгоритмы / М.О. Асанов, В.А. Баранский, В. В. Расин. - Ижевск: Регулярная и хаотическая динамика, 2001. - 288 с.

0

0,00

13

Гуц, А.К. Математическая логика и теория алгоритмов: учебное пособие / А.К. Гуц. - Омск: Наследие, 2003. - 108 с.

0

0,00

14

Бовда, Н.Д. Методы доказательства в исчислении высказываний [Электронный ресурс] / Н.Д. Бовда. - Волгоград: ВолгГТУ, 2005. - 16 с.

2

0,06

Показатель новизны (выборка за последние

лет) 0,54 - количество новых книг на студента (должно быть > 0.25)

Средняя книгообеспеченность дисциплины дополнительной литературой: 0,09 (должна быть > 0.2)

Методические издания

№ п/п

Наименование

Количество книг

Обеспеченность

1

Фадеева, М. В. Математическая логика и теория алгоритмов. Лабораторный практикум [Электронный ресурс] методические указания. / М. В. Фадеева. - Волжский, 2017. - 31с. - Усл. печ. л. 1,86. - [Режим доступа: http://lib.volpi.ru]([Печатается по решению ред.-издат. совета ВолгГТУ])

32

1,00

2

Фадеева, М. В. Методы доказательства в исчислении предикатов методические указания. / М. В. Фадеева. - Волжский: ВолгГТУ, 2016. - 32с.( [Печатается по решению ред.-издат. совета ВолгГTУ] )

1

0,03