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

Базы данных


Электронный каталог - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :11
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (1)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (30)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=аксиоматика<.>)
Общее количество найденных документов : 11
Показаны документы с 1 по 11
1.
A866859-ОХФ-ЧЗ-4
   Вернер, Алексей Леонидович

    Геометрия [Текст] : учеб. пособие для физ.-мат. фак. пед. ин-тов / А. Л. Вернер, Б. Е. Кантор, С. А. Франгулов. - Санкт-Петербург : Спец. Лит. - (Университетская книга).
   Ч. 1. - Санкт-Петербург : Спец. лит., 1997. - 351, [1] с. - Библиогр. - ISBN 5-87685-041-1. - ISBN 5-87685-040-3 (в пер.) : 28.00 р.
УДК

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

Кл.слова (ненормированные):
геометрия -- координат метод -- евклидова геометрия -- движение -- преобразования -- Лобачевского геометрия -- аксиоматика


Доп. точки доступа:
Кантор, Б. Е.
Франгулов, С. А.
Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие

2.
A876351-ОХФ
    Перминов, Василий Яковлевич.
    Философия и основания математики [Текст] : научное издание / Василий Яковлевич Перминов. - Москва : Прогресс-Традиция, 2001. - 319, [1] с. - ISBN 5-89826-098-6 : 50.00 р.
УДК

Рубрики: философия--философия науки

Кл.слова (ненормированные):
математика -- философия математики -- математическое доказательство -- надежность математического доказательства -- логика -- онтология -- аксиоматика -- системность
Экземпляры всего: 1
ОХФ (1)
Найти похожие

3.
A889056-ОХФ, A889057-ОХФ
    Бунге, Марио.
    Философия науки [Текст] = Philosophy of Physics / М. Бунге ; пер. с англ. Ю. Б. Молчанова. - 2-е изд., стер. - Москва : Едиториал УРСС, 2003. - 319, [1] с. - ISBN 5-354-00439-X : 105.60 р.
УДК

Рубрики: ФИЛОСОФИЯ--ФИЛОСОФИЯ НАУКИ

Кл.слова (ненормированные):
физика -- философия физики -- квантовая механика -- аксиоматика -- теория -- эксперименты


Доп. точки доступа:
Молчанов, Ю. Б.
Экземпляры всего: 2
ОХФ (2)
Найти похожие

4.
A971349-ОХФ, A971350-ОХФ
    Игошин, Владимир Иванович.
    Конспект лекций по курсу "Числовые системы" [Текст] / В. И. Игошин. - Саратов : [Б. и.], 1999. - 32, [1] с. - Библиогр.: с. 32 (17 назв.). - ISBN 5-900963-07-1 : 30.00 р.
УДК

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

Кл.слова (ненормированные):
числовые системы -- аксиоматика -- Пеано аксиомы
Экземпляры всего: 2
ОХФ (2)
Найти похожие

5.
A971352-ОХФ, A971353-ОХФ, A971354-ОХФ
    Игошин, Владимир Иванович.
    Основания геометрии [Текст] / В. И. Игошин ; М-во образования РФ, Сарат. гос. ун-т им. Н. Г. Чернышевского, мех.-мат. фак., Каф. геометрии, Сарат. гос. социал.-экон. ун-т, Фак. информатики и информ. технологий, Каф. приклад. математики. - Саратов : Науч. кн., 2004. - 84, [1] с. - (Лекции по геометрии). - Библиогр.: с. 81-83 (67 назв.). - ISBN 5-290963-08-X : 90.00 р.
УДК

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

Кл.слова (ненормированные):
основания геометрии -- аксиоматика -- Евклидова геометрия -- Лобачевского геометрия
Аннотация: Раздел "Основания геометрии'' завершает курс геометрии, изучаемый студентами математических специальностей университетов и педагогических вузов. В нём геометрия рассматривается с позиций её аксиоматического построения. В настоящем пособии имеется параграф, освещающий основные этапы развития учения об обосновании геометрии. В качестве аксиоматических систем для обоснования евклидовой геометрии выбраны системы Гильберта и Вейля. Отдельно выделена глава, освещающая логические проблемы аксиоматического построения геометрии - проблемы непротиворечивости, категоричности, полноты аксиоматических теорий, а также независимости систем аксиом. Даётся понятие о геометрии Лобачв-ского - первой неевклидовой геометрической системе. Для студентов высших учебных заведений, обучающихся по специальностям "Математика", "Прикладная математика', "Информатика".
Держатели документа:
ЗНБ СГУ



Экземпляры всего: 3
ОХФ (3)
Найти похожие

6.
A980320-ОХФ
    Гуц, Александр Константинович.
    Хроногеометрия. Аксиоматическая теория относительности [Текст] / А. К. Гуц ; Гос. образоват. учреждение высш. проф. образования Омс. гос. ун-тет им. Ф. М. Достоевского. - Омск : УниПак [изд.], 2008. - 339, [1] с. : рис., фот. - Библиогр.: с. 319-339 (358 назв). - ISBN 978-5-9901331-2-9 (в пер.) : 170.00 р.
УДК

Рубрики: физика--теоретическая физика

Кл.слова (ненормированные):
специальная теория относительности (СТО) -- Минковского пространство -- пространство и время -- аксиоматика -- хроногеометрия -- топосы -- персоналии



Экземпляры всего: 1
ОХФ (1)
Найти похожие

7.
A982119-ОХФ
   
    Геотоксикологические аспекты. Аксиоматика [Текст] : справочник / под ред. Н. В. Тюленевой ; науч. рук. В. П. Пунько. - Одесса : [б. и.], 2009. - 55 с. : табл. - ISBN 966-7654-48-6 : 45.00 р.
УДК

Рубрики: геология--геология

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


Доп. точки доступа:
Тюленева, Н. В.
Пунько, В. П.
Экземпляры всего: 1
ОХФ (1)
Найти похожие

8.
A987714-ОХФ, A988161-ОХФ
    Успенский, Владимир Андреевич.
    Апология математики [Текст] : [сб. ст.] / В. А. Успенский. - Санкт-Петербург : Амфора, 2010. - 552, [8] с. - (Новая Эврика). - ISBN 978-5-367-00689-6 (в пер.) : 123.58 р., 209.00 р.
УДК

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

   философия--философия науки


Кл.слова (ненормированные):
математика -- философия математики -- доказательства -- аксиоматика -- множества -- филология
Экземпляры всего: 2
ОХФ (2)
Найти похожие

9.
Учебные отделы, A992038-ОХФ, A992039-ОХФ, A992040-ОХФ,
    Молчанов, Владимир Александрович.
    Логика высказываний [Текст] : учебное пособие для студентов факультета компьютерных наук и информационных технологий / В. А. Молчанов ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2014. - 60, [3] с. : рис., табл. - Библиогр.: с. 59. - ISBN 978-5-292-04256-3 : 182.81 р.
УДК

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

Кл.слова (ненормированные):
математическая логика -- логика высказываний -- алгебра высказываний -- аксиоматика -- исчисления высказываний



Экземпляры всего: 38
ОХФ (3), ОУОЕН (35)
Найти похожие

10.
A994361-ОХФ
    Кислов, Алексей Геннадьевич.
    Логика высказываний: язык, алгебра, исчисления [Текст] : учебное пособие / А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов ; Урал. федер. ун-т им. первого президента России Б. Н. Ельцина. - Екатеринбург : Издательство Уральского университета, 2012. - 112, [4] с. : ил., табл. - Библиогр.: с. 114 (14 назв.). - ISBN 978-5-7996-0773-9 : 64.00 р.
Рекомендовано метод. советом УрФУ в качестве учеб. пособия для студентов, обучающихся по прогр. бакалавриата по социал.-экон. и гуманитар. направлениям подгот.
УДК

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

   логика--логика


Кл.слова (ненормированные):
логика -- логика высказываний -- алгебра логики -- алгебра высказываний -- аксиоматика -- исчисления высказываний


Доп. точки доступа:
Ольховиков, Григорий Константинович
Уколов, Сергей Юрьевич
Экземпляры всего: 1
ОХФ (1)
Найти похожие

11.
A906695-ОХФ-ОРК
    Фосс, А.
    Сущность математики [Текст] / А. Фосс ; пер. со 2-го изд., испр. и доп. И. Яшунского. - Москва ; Петроград : Государственное издательство, 1923. - 115, II [1] с. - Указ. имён и предметов: с. 110-117. - ISBN [Б. и.] : 16.00 р.
УДК

Рубрики: математика--математика--страны мира, древнейшие времена-19 в.

Кл.слова (ненормированные):
история математики -- числа -- геометрия -- аксиоматика -- прикладная математика


Доп. точки доступа:
Яшунский, И.
Экземпляры всего: 1
ОХФ-ОРК (1)
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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