Овчинников Г.И.
Доказательство теоремы Ферма / Г.И. Овчинников. - [М.] : [Эдитус], [2016]. - 39 с. - ISBN 978-5-00058-407-1 : 10-00.

Авторы: Овчинников Г.И.

Шифры: 51 - О-35

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

Назаров А.А.
Элементарное доказательство Великой теоремы Ферма или О невозможности разложения какой-либо степени, большей чем два, на две степени с таким же показателем / А.А. Назаров. - Мирный; Плесецк : ОАО "Плесецкая типография", 2010. - 26 с. : ил. - Прил.:с.19-20. - ISBN 5-93208-025-6 : 10-00.

Авторы: Назаров А.А.

Шифры: 51 - Н 19

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

Дисциплина: Математика(ПМ), Численные методы в механике сплошных сред, Численные методы(ПМ)

Элементы теории чисел и криптозащита [Электронные текстовые данные] : Учеб.пособие / Б.Н. Воронков, А. С. Щеголеватых. - Воронеж : Изд-во ВГУ, 2008. - 88 с. - Библиогр.:с.87. - 0-00.

Авторы: Воронков Б.Н., Щеголеватых А.С.

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

Дисциплина: Защита информации (ВСиТ), Защита информациии в сетях передачи данных, Криптографические методы в информационных технологиях, Математика(ПМ)

Данциг Т.
Числа - язык науки : Пер.с англ. / Т. Данциг. - М. : Техносфера, 2008. - 305 с. : ил. - (Для кофейников). - Прил.:с.215-281. - ISBN 978-5-94836-172-7; 0-13-185627-8(англ.) : 192-00.

Авторы: Данциг Т.

Шифры: 51 - Д 19

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

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

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

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

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

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

Седелев Б.В.
Метод целевого синтеза как инструмент постановки и решения задач о существовании из теории чисел / Б.В. Седелев ; Моск.инж.-физ.ин-т; Экономико-аналитический ин-т МИФИ. - М. : [Б.и.], 2007. - 54 с. - ISBN 978-5-7262-0880-0 : 50-00.

Авторы: Седелев Б.В.

Шифры: 51 - С 28

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

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

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

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

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

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

Колмогоров А.Н.
Математическая логика : Учеб.пособие / А.Н. Колмогоров, А.Г. Драгалин ; МГУ им.М.В.Ломоносова; Редкол.:Г.Е.Минц (отв.ред.) [и др.]. - 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. - 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

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

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

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

Шифры: 51 - Д 72

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

Еремин М.А.
"Последняя теорема Ферма". Способы решения. Новый метод решения уравнений и доказательства теорем / М.А. Еремин. - Арзамас : Изд-во ЗАО "Арзамаскомплектавтоматика", 1999. - 260 с. - ISBN 5-7269-0060-Х : 66-00.

Авторы: Еремин М.А.

Шифры: 51 - Е 70

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

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

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

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

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

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

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

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

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

Использование базисных функций алгебры логики : Метод.указ.по выполнению лаб.работы по дисц."Автоматизация произв.процессов в машиностроении" для студ.спец.:12.01,12.02 всех форм обуч. / НГТУ.Каф."Автоматизация машиностроения"; Сост.В.П.Жеглов. - Н.Новгород : [Б.и.], 1994. - 23 с. : ил. - Библиогр.:с.14. - 0-00.

Шифры: 51 - И 88

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

Бургин М.С.
Введение в современную точную методологию науки. Структуры систем знания : Пособие для студ.вузов / М.С. Бургин, В.И. Кузнецов. - М. : АО "Аспект Пресс", 1994. - 304 с. - На тит.л.и обл.:Прогр."Обновление гуманит.образования в России". - Библиогр.в конце гл. - ISBN 5-86318-070-6 : 0-00.

Авторы: Бургин М.С., Кузнецов В.И.

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

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

Дисциплина: Методология научных исследований (МТК)

Гончаров С.С.
Введение в логику и методологию науки / С.С. Гончаров, Ю.Л. Ершов, К.Ф. Самохвалов. - М.; Новосибирск : Интерпракс; Изд-во ин-та математики, 1994. - 255 с. : ил. - На обл.авт.не указаны.-Предм.указ.:с.244-250.-На тит.л.и обл.:Прогр."Обновление гуманит. ..." . - Библиогр.:с.239-241. - ISBN 5-86134-009-9 : 0-00.

Авторы: Гончаров С.С., Ершов Ю.Л., Самохвалов К.Ф.

Шифры: 87.4я73 - Г 65

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

Дисциплина: Методология научных исследований (МТК)

Воробьев Н.Н.
Числа Фибоначчи / Н.Н. Воробьев. - 6-е изд.,доп. - М. : Наука, 1992. - 190 с. : ил. - (Популярные лекции по математике. Вып.6). - ISBN 5-02-014637-4 : 100-00.

Авторы: Воробьев Н.Н.

Шифры: 51 - В 75

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