Новые поступления (книга в стадии обработки) 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 р.
Рубрики: математика--математика Кл.слова (ненормированные): основания математики -- комбинаторный анализ -- отображения -- функции -- множества -- числовые последовательности Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Sebastian, H. Zeidler, G. |
Новые поступления (книга в стадии обработки) Гончаров, С. С. Введение в логику и методологию науки [Текст] : учеб. пособие / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - М.; Новосибирск : Интерпракс; Ин-т математики СО РАН, 1994. - 256 с. : ил. ; 21 см. - Библиогр.: с. 239-241. - ISBN 5-86134-009-9 : б/ц Прил.: с. 230-238; Имен. указ.: с. 242-243; Предм. указ.: с. 244-249
Рубрики: Математика--Математическая логика Наука--Методология науки Кл.слова (ненормированные): математическая логика -- методология математики -- базисные понятия -- аксиоматические системы -- эмпирические теории -- проблема индукции -- теория измерений -- основания математики -- программа Гильберта Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Ершов, Ю. Л. Самохвалов, К. Ф. |
Новые поступления (книга в стадии обработки) Волков, В. А. Элементы теории множеств и развитие понятия числа [Текст] : учеб. пособие / В. А. Волков ; Ленинградский ун-т . - Л. : Изд-во Ленингр. ун-та, 1978. - 84 с. : ил. ; 21см. - 0.18 р.
Рубрики: Математика--Основания математики Кл.слова (ненормированные): математика -- основания математики -- точечные множества Аннотация: Настоящая работа предназначена в качестве учебного пособия по математике для студентов философских факультетов университетов.В ней излагаются основные положения теории множеств и содержится последовательное расширение понятия числа,основанное на методе пар. Изложение строится на трех понятиях:"множество","принадлежность", "взаимно-однозначное соответствие".Основное внимание уделяется изучению бесконечных множеств и их свойств.Введение содержит краткий философский анализ математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Гильберт, Д. Основания математики [Текст] : теория доказательств : пер с нем. / Д. Гильберт ; ред. С. И. Адян. - М. : Наука, 1982. - 652 с. ; 22см. - (Математическая логика и основания математики). - 3.40 р.
Рубрики: Математика--Высшая математика Математика--Основания математики Кл.слова (ненормированные): высшая математика -- основания математики -- математическая логика -- теория доказательств -- логический формализм -- арифметизация -- доказательство Кальмара -- доказательство Аккермана Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Адян, С. И. |
Новые поступления (книга в стадии обработки) Кановей, Владимир Григорьевич. Аксиома выбора и аксиома детерминированности [Текст] / В. Г. Кановей. - Москва : Наука, 1984. - 64 с. - (Проблемы науки и технического прогресса). - Библиогр.: с. 64. - 0.25 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): аксиома выбора -- аксиома детерминированности -- математическая логика -- основания математики -- теория множеств Аннотация: В брошюре содержится популярное введение в разделы теории множеств, связанные с аксиомой выбора и аксиомой детерминированности. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Новиков, П. С. Элементы математической логики [Текст] : научное издание / П. С. Новиков. - М. : Гос. изд-во физико-мат. лит., 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 11.05 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ОСНОВАНИЯ МАТЕМАТИКИ Аннотация: Одной из основных задач математической логики остается анализ оснований математики. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Вопенка, Петр. Математика в альтернативной теории множеств [Текст] / П. Вопенка ; ред.: А. Н. Колмогоров, С. П. Новиков. - Москва : Мир, 1983. - 151 с. - (Математика. Новое в зарубежной науке). - Библиогр.: с. 148-149. - 01.10 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математическая логика -- множества -- основания математики -- теория множеств -- топология Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Колмогоров, А. Н. Новиков, С. П. |
Новые поступления (книга в стадии обработки) Гильберт, Давид Основания математики [Текст] : логические исчисления и формализация арифметики: пер. с нем. / Д. Гильберт, П. Бернайс. - 2-е изд. - Москва : Наука, 1982. - 556 с. : ил. - (Математическая логика и основания математики). - 02.70 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): аксиомы -- аксиомы Пеано -- арифметика -- бесконечное -- выводимость -- дедуктивное равенство -- дедукционная теорема -- доказательства независимости -- интуитивные рассуждения -- истинностные функции -- исчисление предикатов -- кванторы -- логика высказываний -- логические исчисления -- математическая логика -- нефинитные методы -- основания математики -- предикаты -- проблема разрешимости -- разрешимость -- рассуждения -- редукция -- рекурсия -- систематика -- теоремы о полноте -- теория истинностных функций -- финитный способ рассуждений -- формализация арифметики -- формализм -- формальная аксиоматика Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Бернайс, П. |
Новые поступления (книга в стадии обработки) Загоруйко, Николай Григорьевич. Алгоритмы обнаружения эмпирических закономерностей [Текст] / Н. Г. Загоруйко, В. Н. Елкина, Г. С. Лбов ; ред. В. А. Скоробогатов. - Новосибирск : Наука, 1985. - 110 с. - 00.80 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ОТЭКС -- алгоритмы -- основания математики -- пакет ОТЭКС -- распознавание образов -- таксономия -- теория измерений -- эмпирические закономерности -- эмпирические таблицы Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Елкина, Валентина Николаевна Лбов, Геннадий Сергеевич Скоробогатов, В. А. |
Новые поступления (книга в стадии обработки) Заварыкин, Валерий Михайлович. Техника вычислений и алгоритмизация [Текст] : учеб. пособие для пед. ин-тов / В. М. Заварыкин, В. Г. Житомирский, М. П. Лапчик. - Москва : Просвещение, 1987. - 160 с. : ил. - Библиогр.: с. 158. - 00.25 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): Бейсик -- алгоритмизация -- алгоритмы -- математическая логика -- микрокалькуляторы -- основания математики -- оценка погрешностей -- погрешности -- программирование -- техника вычислений -- учебные пособия для вузов -- эвм -- язык Бейсик Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Житомирский, Владимир Габриэлович Лапчик, Михаил Павлович |
Новые поступления (книга в стадии обработки) Энгелер, Эрвин. Метаматематика элементарной математики [Текст] : пер. с нем. / Э. Энгелер. - Москва : Мир, 1987. - 128 с. : ил. - 0-50 Рубрики: Математика--Математическая логика Кл.слова (ненормированные): аксиоматизация -- алгоритмика -- вещественные числа -- вычислимость -- вычислительное предписание -- геометрия -- комбинаторная логика -- комбинаторные алгебры -- комбинаторы -- континуум -- координатизация -- ламбда-исчисление -- основания математики -- элементарная геометрия -- элементарная математика Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |