Новые поступления (книга в стадии обработки) Историко-математические исследования [Текст] : научное издание. - Москва : Янус-К. Вторая сер. Вып. 5 (40). - 2000. - 391, [1] с. - Библиогр. - ISBN 5-8037-0052-5 : 30.00 р.
Рубрики: математика--математика Кл.слова (ненормированные): история математики -- математическая логика -- Геделя теорема -- математика -- математическое образование -- персоналии Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Иванов, Евгений Михайлович. Геделевский аргумент [Текст] : учебное пособие / Е. М. Иванов. - Саратов : Научная книга, 2004. - 63, [1] с. - Библиогр. - ISBN 5-93888-389-X : 35.00 р.
Рубрики: философия--философия духовной жизни математика--математическая логика Кл.слова (ненормированные): геделевский аргумент -- искусственный интеллект -- сознание -- метафизика -- мозг -- мышление -- человек и машина -- Геделя теорема -- ум -- формализация -- смысл -- алгоритмические проблемы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р. На обл. авт. не указаны
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Верещагин, Николай Константинович Плиско, Валерий Егорович |
Новые поступления (книга в стадии обработки) Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2007. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 978-5-9221-0278-0 : 106.20 р. На обл. авт. не указан
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Верещагин, Николай Константинович Плиско, Валерий Егорович |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 317, [3] с. - (Высшее образование). - Библиогр.: с. 306-311 (110 назв.). - ISBN 978-5-16-005205-2 (в пер.) : 231.00 р. Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы -- Гильберта десятая проблема -- Геделя теорема -- Тарского теорема -- разрешимые множества -- перечислимые множества -- Маркова нормальные алгоритмы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Рюэль, Д. Случайность и хаос [Текст] : научное издание / Д. Рюэль ; ред. пер. Н. А. Зубченко. - Ижевск : Регуляр. и хаотич. динамика, 2001. - 192 с. - ISBN 5-93972-095-1 (в пер.) : 20.00 р.
Рубрики: физика--теоретическая физика Кл.слова (ненормированные): нелинейная динамика -- случайность -- хаос -- детерминированный хаос -- турбулентность -- Геделя теорема Аннотация: В книге в популярной форме представлены основные идеи нелинейной динамики, детерминирования хаоса, получившие особое развитие в последние десятилетия. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Зубченко, Н. А. |
Новые поступления (книга в стадии обработки) Математика XX века. Взгляд из Петербурга [Текст] : научное издание / под ред. А. М. Вершика. - Москва : Издательство МЦНМО, 2010. - 184 с. : портр. - [Математика двадцатого века. Взгляд из Петербурга] . - Библиогр. в конце ст. - ISBN 978-5-94057-586-3 : 349.00 р.
Рубрики: математика--математика, 20 в. Кл.слова (ненормированные): математические события -- персоналии -- математики -- обобщенные функции -- Ли алгебра -- Ферма теорема -- Васильева-Гусарова инварианты -- дифференциальная топология -- резонанс -- хаос -- Геделя теорема -- Ленинградская математическая школа -- петербургская математическая школа Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Вершик, А. М. |
Новые поступления (книга в стадии обработки) Манин, Ю. И. Вычислимое и невычислимое [Текст] / Ю. И. Манин. - Москва : Советское радио, 1980. - 128 с. : ил. - (Кибернетика). - 0.45 р. Рубрики: Радиоэлектроника--Кибернетика Кл.слова (ненормированные): Геделя теорема -- диофантовы множества -- информация -- искусственный интеллект -- машинный перевод -- теорема Геделя -- эвм Аннотация: Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |