Новые поступления (книга в стадии обработки) Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : Б. и., ISSN 0568-661 X. Вып. 156 : Структурные алгоритмические свойства вычислимости. - 1996. - 152, [4] с. - Библиогр. - ISBN Б. и. : 1500.00 р.
Рубрики: математика--вычислительная математика Кл.слова (ненормированные): вычислимость -- алгебраические системы -- вещественные числа -- вычислимые функции Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : Б. и., ISSN 0568-661 X. Вып. 165 : Структурные и сложностные проблемы вычислимости. - 1999. - 208, [1] с. - Библиогр. - ISBN Б. и. : 15.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): вычислимость -- вычислительная сложность -- булева алгебра -- представление алгоритмов -- моделирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Целищев, Виталий Валентинович. Эпистемология математического доказательства [Текст] : научное издание / В. В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2006. - 209, [3] с. : ил. - (Новая философия математики). - Библиогр.: с. 209-211. - ISBN 5-98901-010-9 : 90.00 р.
Рубрики: философия--философские системы--философия науки Кл.слова (ненормированные): математика -- философия математики -- эпистемология -- математическое доказательство -- вычислимость Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Майнцер, Клаус. Сложносистемное мышление. Материя, разум, человечество. Новый синтез [Текст] = Thinking in Complexity. The Computational Dynamics of Matter, Mind, and Mankind : научное издание / К. Майнцер ; пер. с 4-го перераб. и доп. изд. А. В. Беркова ; под ред. и с предисл. предисл. Г. Г. Малинецкого. - Москва : Кн. дом "ЛИБРОКОМ", 2009. - 463, [1] с. : рис. - (Синергетика: от прошлого к будущему). - Предм. указ.: с. 448-463. - ISBN 978-5-397-00002-4 (в пер.) : 775.00 р.
Рубрики: физика--термодинамика философия--философия Кл.слова (ненормированные): синергетика -- сложные системы -- нейронные сети -- искусственный интеллект -- материя -- разум -- мышление -- человечество -- жизнь -- вычислимость -- общество -- будущее -- наука -- линейность -- нелинейность Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Берков, А. В. Малинецкий, Г. Г. |
Новые поступления (книга в стадии обработки) Клайн, М. Математика [Текст] : утрата определённости / М. Клайн ; пер. с англ. Ю. А. Данилова ; под ред. И. М. Яглома. - М. : Мир, 1984. - 434 с. : ил. ; 22см. - 1.90 р.
Рубрики: Математика--история математики Кл.слова (ненормированные): аксиомы -- анализ -- аналитик Беркли -- арифметика -- астральная геометрия -- геометрия -- бесконечность -- вычислимость -- математическая философия -- деферент -- дроби -- дифференциал -- дискретное определение -- закон Архимеда -- закон де Моргана -- закон Кеплера -- закон Ньютона -- законы Плутона -- интеграл -- квадратные числа Аннотация: Эта книга- о глубоких изменениях, которые претерпели взгляды человека на природу и роль математики. Главная тама- это рассказ о том, как человек пришёл к осознанию природы и роли математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Данилов, Ю. А. Яглом, И. М. |
Новые поступления (книга в стадии обработки) Компьютерная алгебра [Текст] : символьные и алгебраические вычисления / под ред. Б. Бухбергера [и др.] ; пер. с англ. В. П. Гердта. - М. : Мир, 1986. - 392 с. : ил. ; 22см. - 3.50 р.
Рубрики: Математика--Алгебра Кл.слова (ненормированные): аксиомы -- алгебра -- алгебра Дирака -- Дирак -- алгоритм -- алгоритм Аткинсона -- Аткинсон -- арифметика -- аппроксимация -- базис Грёбнера -- Грёнер -- вычислимость -- дифференциальные уравнения -- интегралы -- категории -- лемма -- лемма Гензеля -- Гензель -- линейное программирование -- логическое программирование Аннотация: Коллективная монография зарубежных учёных, дающая систематическое изложение алгоритмических аспектов и математических методов новой области исследований- аналитических вычислений на ЭВМ. Отражены полученные результаты исследований и наиболее важные нерешенные проблемы. Прослеживается чёткая связь методов современной алгебры с вопросами их реализации на ЭВМ. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Бухбергер, Б. Коллинз, Дж. Лоос, Р. Говорухин, Н. Н. Гердт, В. П. |
Новые поступления (книга в стадии обработки) Котов, В. Е. Теория схем программ [Текст] / В. Е. Котов. - М. : Наука, 1991. - 248 с. ; 20см. - ISBN 5-02-013974-2 : 4.80 р.
Рубрики: Математика--Вычислительная математика Кл.слова (ненормированные): математика -- вычислительная математика -- теоретическое программирование -- вычислимость -- разрешимость -- графы -- конечные автоматы -- стандартные схемы -- схемы программ -- рекурсивные схемы -- обогащенные схемы -- структурированные схемы Аннотация: Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ- их схемы, отражающие структурные особенности программ и в определенной мере абстрагирующиеся от их функциональной сущности. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Ершов, Ю. Л. Определимость и вычислимость [Текст] / Ю. Л. Ершов. - 2-е изд.,испр.и доп. - М. : Экономика, 2000. - 318 с. ; 20см. - ISBN 5282020211 : 62.00 р.
Рубрики: Математика--Вычислительная математика Кл.слова (ненормированные): математика -- вычислительная математика -- определимость -- вычислимость -- ограниченные кванторы -- теория допустимых множеств -- теорема Гёделя -- теорема о неполноте -- теорема Ганди -- динамическая логика Аннотация: Новое доказательство теоремы Геделя о неполноте,основанное на систематическом использовании формул с ограничеснными кванторами.Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами.Для научных работников,аспирантов,студентов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Клини, С. К. Математическая логика [Текст] : научное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с. ; 22 см. - Указ.: с. 471-478. - 2.50 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА Кл.слова (ненормированные): ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ВЫЧИСЛИМОСТЬ -- РАЗРЕШИМОСТЬ -- ТЕОРИЯ МОДЕЛЕЙ -- СЧЕТНЫЕ МНОЖЕСТВА Аннотация: Раскрывает основы математической логики, рекурсивные функции и основания математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Гастев, Ю. А. Минц, Г. Е. |
Новые поступления (книга в стадии обработки) Энгелер, Эрвин. Метаматематика элементарной математики [Текст] : пер. с нем. / Э. Энгелер. - Москва : Мир, 1987. - 128 с. : ил. - 0-50 Рубрики: Математика--Математическая логика Кл.слова (ненормированные): аксиоматизация -- алгоритмика -- вещественные числа -- вычислимость -- вычислительное предписание -- геометрия -- комбинаторная логика -- комбинаторные алгебры -- комбинаторы -- континуум -- координатизация -- ламбда-исчисление -- основания математики -- элементарная геометрия -- элементарная математика Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |