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

Базы данных


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

Виды поиска

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

Вид документа : Многотомное издание
Шифр издания : 502887
513(075.1)/В35
Автор(ы) : Вернер, Алексей Леонидович
Заглавие : Геометрия: учеб. пособие для физ.-мат. фак. пед. ин-тов/ А. Л. Вернер, Б. Е. Кантор, С. А. Франгулов. - (Университетская книга). Ч. 1
Выходные данные : Санкт-Петербург: Спец. лит., 1997
Колич.характеристики :351, [1] с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-87685-041-15-87685-040-3: 28.00 р.
УДК : 514(075.8)
Предметные рубрики: математика-- геометрия
Ключевые слова (''Своб.индексиров.''): геометрия--координат метод--евклидова геометрия--движение--преобразования--лобачевского геометрия--аксиоматика
Экземпляры :ОХФ-ЧЗ-4(1)
Свободны : ОХФ-ЧЗ-4(1)
Найти похожие

2.


    (Свободных экземпляров нет)
Вид документа : Однотомное издание
Шифр издания : 464454
1Н252/П27
Автор(ы) : Перминов, Василий Яковлевич
Заглавие : Философия и основания математики : научное издание
Выходные данные : Москва: Прогресс-Традиция, 2001
Колич.характеристики :319, [1] с
ISBN, Цена 5-89826-098-6: 50.00 р.
УДК : 51:1
Предметные рубрики: философия-- философия науки
Ключевые слова (''Своб.индексиров.''): математика--философия математики--математическое доказательство--надежность математического доказательства--логика--онтология--аксиоматика--системность
Экземпляры :ОХФ(1)
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 623525
1Н252/Б91
Автор(ы) : Бунге, Марио
Заглавие : Философия науки . -2-е изд., стер.
Параллельн. заглавия :Philosophy of Physics
Выходные данные : Москва: Едиториал УРСС, 2003
Колич.характеристики :319, [1] с
ISBN, Цена 5-354-00439-X: 105.60 р.
УДК : 53:1
Предметные рубрики: ФИЛОСОФИЯ-- ФИЛОСОФИЯ НАУКИ
Ключевые слова (''Своб.индексиров.''): физика--философия физики--квантовая механика--аксиоматика--теория--эксперименты
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 916501
511.2(075.1)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Конспект лекций по курсу "Числовые системы"
Выходные данные : Саратов: [Б. и.], 1999
Колич.характеристики :32, [1] с
Примечания : Библиогр.: с. 32 (17 назв.)
ISBN, Цена 5-900963-07-1: 30.00 р.
УДК : 511(075.8)
Предметные рубрики: математика-- теория чисел
Ключевые слова (''Своб.индексиров.''): числовые системы--аксиоматика--пеано аксиомы
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие

5.

Вид документа : Однотомное издание
Шифр издания : 334298
513(075.1)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Основания геометрии
Выходные данные : Саратов: Науч. кн., 2004
Колич.характеристики :84, [1] с
Коллективы : М-во образования РФ, Сарат. гос. ун-т им. Н. Г. Чернышевского, Мех.-мат. фак., Каф. геометрии, Сарат. гос. социал.-экон. ун-т, Фак. информатики и информ. технологий, Каф. приклад. математики
Серия: Лекции по геометрии
Примечания : Библиогр.: с. 81-83 (67 назв.)
ISBN, Цена 5-290963-08-X: 90.00 р.
УДК : 514.01(075.8)
Предметные рубрики: математика-- геометрия
Ключевые слова (''Своб.индексиров.''): основания геометрии--аксиоматика--евклидова геометрия--лобачевского геометрия
Аннотация: Раздел "Основания геометрии'' завершает курс геометрии, изучаемый студентами математических специальностей университетов и педагогических вузов. В нём геометрия рассматривается с позиций её аксиоматического построения. В настоящем пособии имеется параграф, освещающий основные этапы развития учения об обосновании геометрии. В качестве аксиоматических систем для обоснования евклидовой геометрии выбраны системы Гильберта и Вейля. Отдельно выделена глава, освещающая логические проблемы аксиоматического построения геометрии - проблемы непротиворечивости, категоричности, полноты аксиоматических теорий, а также независимости систем аксиом. Даётся понятие о геометрии Лобачв-ского - первой неевклидовой геометрической системе. Для студентов высших учебных заведений, обучающихся по специальностям "Математика", "Прикладная математика', "Информатика".
Экземпляры : всего : ОХФ(3)
Свободны : ОХФ(3)
Найти похожие

6.

Вид документа : Однотомное издание
Шифр издания : 165084
Автор(ы) : Гуц, Александр Константинович
Заглавие : Хроногеометрия. Аксиоматическая теория относительности
Выходные данные : Омск: УниПак, 2008
Колич.характеристики :339, [1] с.: рис., фот.
Коллективы : Гос. образоват. учреждение высш. проф. образования Омс. гос. ун-тет им. Ф. М. Достоевского
Примечания : Библиогр.: с. 319-339 (358 назв)
ISBN (в пер.), Цена 978-5-9901331-2-9: 170.00 р.
УДК : 530.12 + 929
Предметные рубрики: физика-- теоретическая физика
Ключевые слова (''Своб.индексиров.''): специальная теория относительности (сто)--минковского пространство--пространство и время--аксиоматика--хроногеометрия--топосы--персоналии
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

7.

Вид документа : Однотомное издание
Шифр издания : 403118
Заглавие : Геотоксикологические аспекты. Аксиоматика : справочник
Выходные данные : Одесса: [б. и.], 2009
Колич.характеристики :55 с.: табл.
ISBN, Цена 966-7654-48-6: 45.00 р.
УДК : [55:504](03)
Предметные рубрики: геология-- геология
Ключевые слова (''Своб.индексиров.''): охрана окружающей среды--экологическая безопасность--экологические системы--антропогенные воздействия--геотоксикология--аксиоматика--геологические процессы--окружающая среда
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

8.

Вид документа : Однотомное издание
Шифр издания : 495822
Автор(ы) : Успенский, Владимир Андреевич
Заглавие : Апология математики : [сб. ст.]
Выходные данные : Санкт-Петербург: Амфора, 2010
Колич.характеристики :552, [8] с
Серия: Новая Эврика
ISBN (в пер.), Цена 978-5-367-00689-6: 123.58, 209.00, р.
УДК : 51(082) + 51:1(082)
Предметные рубрики: математика-- математика
философия-- философия науки
Ключевые слова (''Своб.индексиров.''): математика--философия математики--доказательства--аксиоматика--множества--филология
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие

9.

Вид документа : Однотомное издание
Шифр издания : 510.63(075.8)/М 761
Автор(ы) : Молчанов, Владимир Александрович
Заглавие : Логика высказываний : учебное пособие для студентов факультета компьютерных наук и информационных технологий
Выходные данные : Саратов: Издательство Саратовского университета, 2014
Колич.характеристики :60, [3] с.: рис., табл.
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 59
ISBN, Цена 978-5-292-04256-3: 182.81 р.
УДК : 510.63(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--алгебра высказываний--аксиоматика--исчисления высказываний
Экземпляры : всего : ОХФ(3), ОУОЕН(35)
Свободны : ОХФ(3), ОУОЕН(35)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 510.63(075.8)/К 445
Автор(ы) : Кислов, Алексей Геннадьевич, Ольховиков, Григорий Константинович, Уколов, Сергей Юрьевич
Заглавие : Логика высказываний: язык, алгебра, исчисления : учебное пособие
Выходные данные : Екатеринбург: Издательство Уральского университета, 2012
Колич.характеристики :112, [4] с.: ил., табл.
Коллективы : Урал. федер. ун-т им. первого президента России Б. Н. Ельцина
Примечания : Библиогр.: с. 114 (14 назв.). - Рекомендовано метод. советом УрФУ в качестве учеб. пособия для студентов, обучающихся по прогр. бакалавриата по социал.-экон. и гуманитар. направлениям подгот.
ISBN, Цена 978-5-7996-0773-9: 64.00 р.
УДК : 510.63(075.8) + 16(075.8)
Предметные рубрики: математика-- математическая логика
логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--логика высказываний--алгебра логики--алгебра высказываний--аксиоматика--исчисления высказываний
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

11.

Вид документа : Однотомное издание
Шифр издания : 51(09)/Ф 811
Автор(ы) : Фосс А.
Заглавие : Сущность математики
Выходные данные : Москва; Петроград: Государственное издательство, 1923
Колич.характеристики :115, II [1] с
Примечания : Указ. имён и предметов: с. 110-117
ISBN, Цена [Б. и.]: 16.00 р.
УДК : 51(09)
Предметные рубрики: математика-- математика --страны мира, древнейшие времена-19 в.
Ключевые слова (''Своб.индексиров.''): история математики--числа--геометрия--аксиоматика--прикладная математика
Экземпляры :ОХФ-ОРК(1)
Свободны : ОХФ-ОРК(1)
Найти похожие

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

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