Методические указания к выполнению лабораторных работ по дисциплине "Средства автоматизации и управления", "Вторичные пневматические приборы" для студентов, обучающихся по направлению подготовки бакалавров 220700 -"Автоматизация технологических процессов и производств", профиль "Автоматизация технологических процессов и производств", всех форм обучения / НГТУ им.Р.Е.Алексеева, Дзерж.политехн.ин-т (фил.), Каф."Автоматизация и информ.системы"; Сост.А.В.Масленников. - Н.Новгород : [Б.и.], 2015. - 13 с. : ил. - Библиогр.:с.13. - 0-00.

Шифры: 681.5 - М 54

Экземпляры: Всего: 10, из них: чз-5, чз6-5

Системы линейных алгебраических уравнений : Практикум по решению задач для студ.техн.спец.всех форм обучения / НГТУ им.Р.Е.Алексеева, Выксунский фил., Каф."Прикл.математика"; Сост.Е.В.Никольский; Науч.ред.Л.Ю.Катаева. - Н.Новгород : [Б.и.], 2008. - 32 с. : ил. - Библиогр.:с.32. - 0-00.

Шифры: 51 - С 40

Экземпляры: Всего: 10, из них: аб-5, чз-5

Дисциплина: Аналитическая геометрия и линейная алгебра(ПМ)

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : Учеб.пособие / М.М. Глухов [и др.]. - СПб. : Лань, 2008. - 112 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.:с.109-110. - ISBN 978-5-8114-0853-5 : 117-04.

Авторы: Глухов М.М., Козлитин О.А., Шапошников В.А., Шишков А.Б.

Шифры: 51(075) - З-15

Экземпляры: Всего: 8, из них: нтл-3, общ-1, чз-2, чз6-2

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП), Теоретические основы алгоритмизации

Шапорев С.Д.
Математическая логика : Курс лекций и практ.занятий / С.Д. Шапорев. - СПб. : БХВ-Петербург, 2007. - 416 с. : ил. - Предм.указ.:с.406-410. - Библиогр.:с.405. - ISBN 978-5-94157-702-6 : 164-18.

Авторы: Шапорев С.Д.

Шифры: 51(075) - Ш 24

Экземпляры: Всего: 7, из них: нтл-2, общ-1, чз-2, чз6-2

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП)

Зыков А.А.
Лекции по алгебре / А.А. Зыков. - Одесса : Астропринт, 2007. - 400 с. - Указ.терминов:с.391-397. - Библиогр.:с.7-8,389. - ISBN 978-966-318-788-4 : 120-00.

Авторы: Зыков А.А.

Шифры: 51(075) - З-96

Экземпляры: Всего: 1, из них: общ-1

Корчагин И.Ф.
Алгебраические уравнения / И.Ф. Корчагин. - М. : Физматкнига, 2006. - 160 с. : ил. - Библиогр.:с.157. - ISBN 5-89155-139-Х : 35-00.

Авторы: Корчагин И.Ф.

Шифры: 51 - К 70

Экземпляры: Всего: 1, из них: нтл-1

Биркгоф Г.
Современная прикладная алгебра : Пер.с англ. / Г. Биркгоф, Т.К. Барти. - 2-е изд.,стер. - СПб. : Лань, 2005. - 400 с. : ил. - (Учебники для вузов. Специальная литература). - Предм.указ.:с.391-396.-Доп.тит.л.на англ.яз. - Библиогр.в конце гл. - ISBN 5-8114-0613-4 : 244-86.

Авторы: Биркгоф Г., Барти Т.К.

Шифры: 51(075) - Б 64

Экземпляры: Всего: 9, из них: аб-1, нтл-3, общ-2, чз-2, чз6-1

Дисциплина: Современные проблемы прикладной математики и информатики (ПМ)

Рачков М.Ю.
Пневматические средства автоматизации : Учеб.пособие / М.Ю. Рачков ; Моск.гос.индустриальный ун-т. - М. : Изд-во МГИУ, 2005. - 288 с. : ил. - Прил.:с.272-283.-Предм.указ.:с.284-287. - Библиогр.:с.269-271. - ISBN 5-276-00669-5 : 213-00.

Авторы: Рачков М.Ю.

Шифры: 681.5(075) - Р 27

Экземпляры: Всего: 1, из них: нтл-1

Колмогоров А.Н.
Математическая логика : Учеб.пособие / А.Н. Колмогоров, А.Г. Драгалин ; МГУ им.М.В.Ломоносова; Редкол.:Г.Е.Минц (отв.ред.) [и др.]. - 2-е изд.,стер. - М. : Едиториал УРСС, 2005. - 240 с. - (Классический университетский учебник). - Имен.указ.:с.229.-Предм.указ.:с.230-236. - Библиогр.:с.228. - ISBN 5-354-01003-9 : 170-00.

Авторы: Колмогоров А.Н., Драгалин А.Г.

Шифры: 51(075) - К 60

Экземпляры: Всего: 63, из них: аб-54, нтл-3, общ-2, чз-2, чз6-2

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП), Теоретические основы алгоритмизации

Шапорев С.Д.
Математическая логика : Курс лекций и практ.занятий / С.Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 416 с. : ил. - Предм.указ.:с.406-410. - Библиогр.:с.405. - ISBN 5-94157-702-8 : 125-00.

Авторы: Шапорев С.Д.

Шифры: 51(075) - Ш 24

Экземпляры: Всего: 1, из них: нтл-1

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП)

Волгин Л.И.
Алгебраические логики: элементы теории, взаимоотношения, реляторная схемотехника / Л.И. Волгин ; Ульянов.гос.техн.ун-т, Тольятт.гос.акад.сервиса. - Ульяновск : [Б.и.], 2005. - 258 с. : ил. - ISBN 5-89146-558-2 : 100-00.

Авторы: Волгин Л.И.

Шифры: 51 - В 67

Экземпляры: Всего: 1, из них: нтл-1

Артин Э.
Теория Галуа : Пер.с англ. / Э. Артин. - М. : Изд-во МЦНМО, 2004. - 66 с. - (Классические монографии: математика). - ISBN 5-94057-062-3 : 40-00.

Авторы: Артин Э.

Шифры: 51 - А 86

Экземпляры: Всего: 2, из них: нтл-2

Колмогоров А.Н.
Математическая логика : Учеб.пособие / А.Н. Колмогоров, А.Г. Драгалин ; МГУ им.М.В.Ломоносова; Редкол.:Г.Е.Минц (отв.ред.) [и др.]. - М. : Едиториал УРСС, 2004. - 238 с. : ил. - (Классический университетский учебник). - Прил.:с.111-114.-Имен.указ.:с.229.-Предм.указ.:с.230-236. - Библиогр.:с.115, 228. - ISBN 5-354-00389-Х : 100-00.

Авторы: Колмогоров А.Н., Драгалин А.Г.

Шифры: 51(075) - К 60

Экземпляры: Всего: 1, из них: нтл-1

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП)

Ершов Ю.Л.
Математическая логика : Учеб.пособие / Ю.Л. Ершов, Е.А. Палютин. - 3-е изд.,стер. - СПб. : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм.указ.:с.335-336. - ISBN 5-8114-0533-2 : 218-00.

Авторы: Ершов Ю.Л., Палютин Е.А.

Шифры: 51(075) - Е 80

Экземпляры: Всего: 39, из них: аб-30, нтл-3, общ-2, чз-2, чз6-2

Дисциплина: Математическая логика и теория алгоритмов(ИСУ), Математическая логика и теория алгоритмов(КТПП)

Варден Б.Л. ван дер.
Алгебра : Пер.с нем. / Варден Б.Л. ван дер. - 3-е изд.,стер. - СПб. : Лань, 2004. - 624 с. - (Учебники для вузов. Специальная литература). - Предм.указ.:с.608-623. - ISBN 5-8114-0552-9 : 236-72.

Авторы: Варден Б.Л. ван дер

Шифры: 51(075) - В 18

Экземпляры: Всего: 5, из них: нтл-3, чз6-2

Современные проблемы математики. Фундаментальные направления. Т.73. Алгебра-8 / РАН, ВИНИТИ; Науч.ред.и сост.Р.В.Гамкрелидзе. - М. : Изд-во ВИНИТИ, 2003. - 224 с. : ил. - (Итоги науки и техники). - Библиогр.:с.216-223. - 100-00.

Шифры: 51 - С 56

Экземпляры: Всего: 1, из них: нтл-1

Драгалин А.Г.
Конструктивная теория доказательств и нестандартный анализ / А.Г. Драгалин ; Редкол.:Г.Е.Минц (отв.ред.) [и др.]. - М. : Едиториал УРСС, 2003. - 544 с. - Прил.:с.513-519.-Имен.указ.:с.526-529.-Предм.указ.:с.530-543. - Библиогр.в конце разд. - ISBN 5-354-00388-1 : 100-00.

Авторы: Драгалин А.Г.

Шифры: 51 - Д 72

Экземпляры: Всего: 1, из них: нтл-1

Кострикин А.И.
Введение в алгебру : Учебник для ун-тов. Ч.1. Основы алгебры / А.И. Кострикин. - М. : Физматлит, 2000. - 272 с. - Прил.:с.259-265.-Предм.указ.:с.267-271. - ISBN 5-9221-0017-3(т.1). - ISBN 5-9221-0016-5 : 63-00.

Авторы: Кострикин А.И.

Шифры: 51(075) - К 72

Экземпляры: Всего: 1, из них: аф-1

Дисциплина: Аналитическая геометрия и линейная алгебра(ПМ), Математика(ПМ)

Колчин А.Ф.
Введение в математическую логику : Учеб.пособие для вузов / А.Ф. Колчин, С.А. Зыкова ; М-во общ.и проф.образования.МГТУ "СТАНКИН". - М. : Станкин, 1998. - 48 с. : ил. - Библиогр.:с.47. - 8-00.

Авторы: Колчин А.Ф., Зыкова С.А.

Шифры: 51(075) - К 61

Экземпляры: Всего: 5, из них: аф-5

Дисциплина: Математика(ПМ)

Классификация методов научного познания : Метод.рекомендации к изучению прогр.магистерского курса "Методол.науч.творчества" / М-во общ.и профессионально-техн.образования РФ.Нижегород.региональное отд-ние Российской Акад.соц.наук. НГТУ; Сост.В.В.Агудов; Науч.ред.А.И.Меньков. - Н.Новгород : [Б.и.], 1997. - 72 с. - 0-00.

Шифры: 87.2я73 - К 47

Экземпляры: Всего: 18, из них: аб-4, аф-14