Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>KL=теория доказательств<.>)

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

Гильберт, Д.
Основания математики [Текст] : теория доказательств : пер с нем. / Д. Гильберт ; ред. С. И. Адян. - М. : Наука, 1982. - 652 с. ; 22см. - (Математическая логика и основания математики). - 3.40 р.

ГРНТИ	27.03.02
УДК	51

ББК 22.12

Рубрики: Математика--Высшая математика

Математика--Основания математики

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

Доп. точки доступа:
Адян, С. И.
Найти похожие

Новиков, П. С.
Элементы математической логики [Текст] : научное издание / П. С. Новиков. - 2-е изд., испр. - М. : Наука, 1973. - 399 с. ; 21 см. - 1.43 р.

ГРНТИ	27.03
УДК	51

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

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

Новиков, П. С.
Элементы математической логики [Текст] : научное издание / П. С. Новиков. - М. : Гос. изд-во физико-мат. лит., 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 11.05 р.

ГРНТИ	27.03
УДК	51

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

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

Гильберт, Д.
Основания математики [Текст] / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна = Grundlagen der mathematik / D. Hilbert, P. Bernays : логические исчисления и формализация арифметики : монография. - М. : Наука, 1979. - 560 с. ; 22 см. - (Математическая логика и основания математики). - 2.70 р.
Тит. л. парал. на нем. яз.

ГРНТИ	27.03.02
УДК	510.6

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

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

Доп. точки доступа:
Бернайс, П. Bernays P.
Нагорный, Н. М.
Адян, С. И.
Найти похожие

Алгебра. Топология. Геометрия [Текст] / Гос. ком. Совета Министров СССР по науке и технике, Всесоюз. ин-т науч. и техн. информ.; гл. ред. Р. В. Гамкрелидзе. - М. : ВИНИТИ, 1963 - 1975. - (Итоги науки и техники).
Т. 13 : обзоры / науч. ред. Р. В. Гамкрелидзе. - 1975. - 342 с. ; 22 см. - (Алгебра. Топология. Геометрия). - Библиогр. в конце ст. - 1.78 р.

ГРНТИ	27.17	27.21	27.19
УДК	512+513

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

Математика--Геометрия

Математика--Топология

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

Доп. точки доступа:
Гамкрелидзе, Р. В.
Гамкрелидзе, Р. В. \\гл. ред.\\
Найти похожие

Вопросы технической диагностики [Текст] : межвуз. сборник / Ростовский инженерно-строит. ин-т ; отв. ред. М. А. Фалькович. - Ростов н/Д : РИСИ, 1981. - 177 с. : ил. ; 20 см. - Библиогр. в конце ст. - 0.70 р.

ГРНТИ	50.43
УДК	681.5.03(06)

Рубрики: Автоматика--Сложные системы

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

Доп. точки доступа:
Фалькович, М. А.
Найти похожие

Ершов, Юрий Леонидович.
Математическая логика [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - 20 р.

ББК 22.12я73

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

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

Доп. точки доступа:
Палютин, Евгений Андреевич
Найти похожие

Колмогоров, Андрей Николаевич.
Математическая логика [Текст] : дополнительные главы / А. Н. Колмогоров. - Москва : Издательство Московского государственного университета, 1984. - 119 с. - 0.25 р.

ББК 22.1

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

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

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

ББК 22.12

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

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

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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