Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>A=Барвайс, $<.>

Общее количество найденных документов : 6
Показаны документы с 1 по 6

Справочная книга по математической логике [Текст] : в 4 ч. - М. : Наука, 1982 - .
Ч. 3 : теория рекурсии / под ред. Дж. Барвайса; пер. с англ. С. Г. Дворникова, И. А. Лаврова. - 1982. - 360 с. : ил. ; 21 см. - 2.00 р.

ГРНТИ	27.03.01.33
УДК	517.11(083)

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

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

Доп. точки доступа:
Барвайс, Дж.
Дворников, С. Г.
Лавров, И. А.
Найти похожие

Справочная книга по математической логике [Текст] : в четырех частях: пер. с англ. / ред. Дж. Барвайс. - Москва : Наука, 1982 - 1983.
Ч. 1 : Теория моделей. - 1982. - 392 с. : ил. - 2.20 р.

ББК 22.12

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

Кл.слова (ненормированные):
алгебраические системы -- бесконечная логика -- допустимые множества -- инфинитезимальный анализ -- категорная логика -- логика -- логика первого порядка -- математическая логика -- множества -- модельная полнота -- однородные множества -- справочники -- теория моделей
Аннотация: "Справочник по математической логике" является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем были отобраны те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Барвайс, Дж. \\ред.\\
Найти похожие

Справочная книга по математической логике [Текст] = Handbook of mathematical logic : в 4 ч. / под ред. Дж. Барвайса. - М. : Наука : Гл. ред. физико-мат. лит., 1982 - 1983. - Тит. л. парал. на англ. яз.
Ч. 4 : Теория доказательств и конструктивная математика / пер. с англ.: Г. В. Давыдова, Г. Е. Минца ; под ред. В. П. Оревкова. - 1983. - 392 с. : ил., рис., табл. ; 22 см. - Библиогр. в конце глав. - 2.10 р.

ГРНТИ	27.03.01.33
УДК	517(083)

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

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЕ НАУКИ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ТЕОРЕМЫ -- АРИФМЕТИЧЕСКИЕ ФУНКЦИИ -- ФОРМУЛЫ
Аннотация: Последний том "Справочной книги по математической логике" содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Давыдов, Г. В.
Минц, Г. Е.
Оревков, В. П.
Барвайс, Дж. \\ред.\\ Barwise J.
Найти похожие

Справочная книга по математической логике [Текст] : в четырех частях: пер. с англ. / ред. Дж. Барвайс. - Москва : Наука, 1982 - 1983.
Ч. 2 : Теория множеств. - 1982. - 376 с. - 2.10 р.

ББК 22.12

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

Кл.слова (ненормированные):
аксиома Мартина -- аксиома выбора -- вынуждение -- комбинаторика -- конструктивность -- математическая логика -- непротиворечивость -- проективные множества -- теория множеств -- топология
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Барвайс, Дж. \\ред.\\
Найти похожие

Справочная книга по математической логике [Текст] : в четырех частях: пер. с англ. / ред. Дж. Барвайс. - Москва : Наука, 1982 - 1983.
Ч. 3 : Теория рекурсии. - 1982. - 359 с. - 2.00 р.

ББК 22.12

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

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

Доп. точки доступа:
Барвайс, Дж. \\ред.\\
Найти похожие

Справочная книга по математической логике [Текст] : в четырех частях: пер. с англ. / ред. Дж. Барвайс. - Москва : Наука, 1982 - 1983.
Ч. 4 : Теория доказательств и конструктивная математика. - 1983. - 391 с. - 2.10 р.

ББК 22.12

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

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

Доп. точки доступа:
Барвайс, Дж. \\ред.\\
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)