| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :10
 В других БД по вашему запросу найдено:Электронный каталог (4)ЭБС "ЛАНЬ" (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=вычислимость<.>)
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.

    Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : Б. и., ISSN 0568-661 X.
   Вып. 156 : Структурные алгоритмические свойства вычислимости. - 1996. - 152, [4] с. - Библиогр. - ISBN Б. и. : 1500.00 р.
УДК
519.68(082)

Рубрики: математика--вычислительная математика

Кл.слова (ненормированные):
вычислимость -- алгебраические системы -- вещественные числа -- вычислимые функции
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
2.

    Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : Б. и., ISSN 0568-661 X.
   Вып. 165 : Структурные и сложностные проблемы вычислимости. - 1999. - 208, [1] с. - Библиогр. - ISBN Б. и. : 15.00 р.
УДК
510.5(082)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
вычислимость -- вычислительная сложность -- булева алгебра -- представление алгоритмов -- моделирование
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
3.

    Целищев, Виталий Валентинович.
    Эпистемология математического доказательства [Текст] : научное издание / В. В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2006. - 209, [3] с. : ил. - (Новая философия математики). - Библиогр.: с. 209-211. - ISBN 5-98901-010-9 : 90.00 р.
УДК
51:1

Рубрики: философия--философские системы--философия науки

Кл.слова (ненормированные):
математика -- философия математики -- эпистемология -- математическое доказательство -- вычислимость
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского



Найти похожие
4.

    Майнцер, Клаус.
    Сложносистемное мышление. Материя, разум, человечество. Новый синтез [Текст] = 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 р.
УДК
536.75
1

Рубрики: физика--термодинамика

   философия--философия

Кл.слова (ненормированные):
синергетика -- сложные системы -- нейронные сети -- искусственный интеллект -- материя -- разум -- мышление -- человечество -- жизнь -- вычислимость -- общество -- будущее -- наука -- линейность -- нелинейность
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Берков, А. В.
Малинецкий, Г. Г.
Найти похожие
5.

    Клайн, М.
    Математика [Текст] : утрата определённости / М. Клайн ; пер. с англ. Ю. А. Данилова ; под ред. И. М. Яглома. - М. : Мир, 1984. - 434 с. : ил. ; 22см. - 1.90 р.
ГРНТИ
27.01.09
УДК
51(09)
ББК 22.1г

Рубрики: Математика--история математики

Кл.слова (ненормированные):
аксиомы -- анализ -- аналитик Беркли -- арифметика -- астральная геометрия -- геометрия -- бесконечность -- вычислимость -- математическая философия -- деферент -- дроби -- дифференциал -- дискретное определение -- закон Архимеда -- закон де Моргана -- закон Кеплера -- закон Ньютона -- законы Плутона -- интеграл -- квадратные числа
Аннотация: Эта книга- о глубоких изменениях, которые претерпели взгляды человека на природу и роль математики. Главная тама- это рассказ о том, как человек пришёл к осознанию природы и роли математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Данилов, Ю. А.
Яглом, И. М.
Найти похожие
6.

   
    Компьютерная алгебра [Текст] : символьные и алгебраические вычисления / под ред. Б. Бухбергера [и др.] ; пер. с англ. В. П. Гердта. - М. : Мир, 1986. - 392 с. : ил. ; 22см. - 3.50 р.
ГРНТИ
27.17
УДК
512
ББК 22.14+22.16

Рубрики: Математика--Алгебра

Кл.слова (ненормированные):
аксиомы -- алгебра -- алгебра Дирака -- Дирак -- алгоритм -- алгоритм Аткинсона -- Аткинсон -- арифметика -- аппроксимация -- базис Грёбнера -- Грёнер -- вычислимость -- дифференциальные уравнения -- интегралы -- категории -- лемма -- лемма Гензеля -- Гензель -- линейное программирование -- логическое программирование
Аннотация: Коллективная монография зарубежных учёных, дающая систематическое изложение алгоритмических аспектов и математических методов новой области исследований- аналитических вычислений на ЭВМ. Отражены полученные результаты исследований и наиболее важные нерешенные проблемы. Прослеживается чёткая связь методов современной алгебры с вопросами их реализации на ЭВМ.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Бухбергер, Б.
Коллинз, Дж.
Лоос, Р.
Говорухин, Н. Н.
Гердт, В. П.
Найти похожие
7.

    Котов, В. Е.
    Теория схем программ [Текст] / В. Е. Котов. - М. : Наука, 1991. - 248 с. ; 20см. - ISBN 5-02-013974-2 : 4.80 р.
ГРНТИ
27.41
УДК
519.681
ББК 22.18

Рубрики: Математика--Вычислительная математика

Кл.слова (ненормированные):
математика -- вычислительная математика -- теоретическое программирование -- вычислимость -- разрешимость -- графы -- конечные автоматы -- стандартные схемы -- схемы программ -- рекурсивные схемы -- обогащенные схемы -- структурированные схемы
Аннотация: Проведено систематизированное изложение раздела теоретического программирования, изучающего неинтерпретированные модели программ- их схемы, отражающие структурные особенности программ и в определенной мере абстрагирующиеся от их функциональной сущности.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
8.

    Ершов, Ю. Л.
    Определимость и вычислимость [Текст] / Ю. Л. Ершов. - 2-е изд.,испр.и доп. - М. : Экономика, 2000. - 318 с. ; 20см. - ISBN 5282020211 : 62.00 р.
ГРНТИ
27.41
УДК
519.6
ББК 22.19

Рубрики: Математика--Вычислительная математика

Кл.слова (ненормированные):
математика -- вычислительная математика -- определимость -- вычислимость -- ограниченные кванторы -- теория допустимых множеств -- теорема Гёделя -- теорема о неполноте -- теорема Ганди -- динамическая логика
Аннотация: Новое доказательство теоремы Геделя о неполноте,основанное на систематическом использовании формул с ограничеснными кванторами.Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами.Для научных работников,аспирантов,студентов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
9.

    Клини, С. К.
    Математическая логика [Текст] : научное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с. ; 22 см. - Указ.: с. 471-478. - 2.50 р.
ГРНТИ
27.03
УДК
517.11

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ВЫЧИСЛИМОСТЬ -- РАЗРЕШИМОСТЬ -- ТЕОРИЯ МОДЕЛЕЙ -- СЧЕТНЫЕ МНОЖЕСТВА
Аннотация: Раскрывает основы математической логики, рекурсивные функции и основания математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Гастев, Ю. А.
Минц, Г. Е.
Найти похожие
10.

    Энгелер, Эрвин.
    Метаматематика элементарной математики [Текст] : пер. с нем. / Э. Энгелер. - Москва : Мир, 1987. - 128 с. : ил. - 0-50
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
аксиоматизация -- алгоритмика -- вещественные числа -- вычислимость -- вычислительное предписание -- геометрия -- комбинаторная логика -- комбинаторные алгебры -- комбинаторы -- континуум -- координатизация -- ламбда-исчисление -- основания математики -- элементарная геометрия -- элементарная математика
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)