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

Базы данных


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

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

    Sieber, Norbert.
    Grundlagen der Mathematik, Abbildungen, Funktionen, Folgen [Текст] : учебное пособие / Norbert Sieber, H. Sebastian, G. Zeidler. - 9. Aufl. - Leipzig : Teubner, 1990. - 195 S. : Abb. - (Mathematik fur Ingenieure, Naturwissenschaftler, Okonomen und Landwirte ; Bd. 1). - Bibliogr. - ISBN 3-322-00293-4 : 30.00 р.
УДК
51(075.8)

Рубрики: математика--математика

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


Доп. точки доступа:
Sebastian, H.
Zeidler, G.
Найти похожие
2.

    Гончаров, С. С.
    Введение в логику и методологию науки [Текст] : учеб. пособие / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - М.; Новосибирск : Интерпракс; Ин-т математики СО РАН, 1994. - 256 с. : ил. ; 21 см. - Библиогр.: с. 239-241. - ISBN 5-86134-009-9 : б/ц
Прил.: с. 230-238; Имен. указ.: с. 242-243; Предм. указ.: с. 244-249
ГРНТИ
27.01.33
УДК
51+001.8(075.8)
ББК 87.4

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

   Наука--Методология науки

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


Доп. точки доступа:
Ершов, Ю. Л.
Самохвалов, К. Ф.
Найти похожие
3.

    Волков, В. А.
    Элементы теории множеств и развитие понятия числа [Текст] : учеб. пособие / В. А. Волков ; Ленинградский ун-т . - Л. : Изд-во Ленингр. ун-та, 1978. - 84 с. : ил. ; 21см. - 0.18 р.
ГРНТИ
27.03.02.01.33
УДК
510.2(075)

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

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

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

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

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

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


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

    Кановей, Владимир Григорьевич.
    Аксиома выбора и аксиома детерминированности [Текст] / В. Г. Кановей. - Москва : Наука, 1984. - 64 с. - (Проблемы науки и технического прогресса). - Библиогр.: с. 64. - 0.25 р.
ББК 22.12

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

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

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

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

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

    Вопенка, Петр.
    Математика в альтернативной теории множеств [Текст] / П. Вопенка ; ред.: А. Н. Колмогоров, С. П. Новиков. - Москва : Мир, 1983. - 151 с. - (Математика. Новое в зарубежной науке). - Библиогр.: с. 148-149. - 01.10 р.
ББК 22.12

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

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


Доп. точки доступа:
Колмогоров, А. Н.
Новиков, С. П.
Найти похожие
8.

    Гильберт, Давид
    Основания математики [Текст] : логические исчисления и формализация арифметики: пер. с нем. / Д. Гильберт, П. Бернайс. - 2-е изд. - Москва : Наука, 1982. - 556 с. : ил. - (Математическая логика и основания математики). - 02.70 р.
ББК 22.12

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

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


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

    Загоруйко, Николай Григорьевич.
    Алгоритмы обнаружения эмпирических закономерностей [Текст] / Н. Г. Загоруйко, В. Н. Елкина, Г. С. Лбов ; ред. В. А. Скоробогатов. - Новосибирск : Наука, 1985. - 110 с. - 00.80 р.
ББК 22.12

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

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


Доп. точки доступа:
Елкина, Валентина Николаевна
Лбов, Геннадий Сергеевич
Скоробогатов, В. А.
Найти похожие
10.

    Заварыкин, Валерий Михайлович.
    Техника вычислений и алгоритмизация [Текст] : учеб. пособие для пед. ин-тов / В. М. Заварыкин, В. Г. Житомирский, М. П. Лапчик. - Москва : Просвещение, 1987. - 160 с. : ил. - Библиогр.: с. 158. - 00.25 р.
ББК 22.12

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

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


Доп. точки доступа:
Житомирский, Владимир Габриэлович
Лапчик, Михаил Павлович
Найти похожие
11.

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

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

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

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