Новые поступления (книга в стадии обработки)
    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ [Текст] : научное издание / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543, [1] с. : портр. - Библиогр. - ISBN 5-354-00387-3 (в пер.) : 125.00 р.
УДК

Рубрики: математика--математическая логика--Россия, 20 в., 1941-1998 гг.

   философия--философия науки--Россия, 20 в., 1941-1998 гг.


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




Новые поступления (книга в стадии обработки)
    Жоль, Константин Константинович.
    Логика [Текст] : учеб. пособие для студентов вузов / К. К. Жоль. - Москва : ЮНИТИ[-ДАНА], 2004. - 396, [4] с. - (Bibliotheca studiorum / отв. ред. А. Е. Конверский). - Библиогр.: с. 383-384, 385-396. - ISBN 5-238-00664-0 (в пер.) : 159.159 р.
УДК

Рубрики: логика--логика

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

Новые поступления (книга в стадии обработки)
    Бунге, М.
    Интуиция и наука [Текст] / М. Бунге ; пер. с англ. Е. И. Пальского ; под ред. В. Г. Виноградова = Intuition and science / M. Bunge : научное издание. - М. : Прогресс, 1967. - 187 с. ; 16 см. - 0.62 р.
УДК

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


Доп. точки доступа:
Пальской, Е. И.
Виноградов, В. Г.

Новые поступления (книга в стадии обработки)
    Бурова, И. Н.
    Парадоксы теории множеств и диалектика [Текст] : монография / И. Н. Бурова ; отв. ред. И. С. Тимофеев ; Акад. наук СССР, Каф. философии (Москва). - М. : Изд-во "Наука", 1976. - 176 с. ; 20 см. - Библиогр.: с. 168-175 (244 назв.). - 0.62 р.
ГРНТИ
УДК

Рубрики: Математика--Философские проблемы математики

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


Доп. точки доступа:
Тимофеев, И. С.

Новые поступления (книга в стадии обработки)
    Рузавин, Георгий Иванович.
    О природе математического знания [Текст] : очерки по методологии математики / Г. И. Рузавин. - Москва : Мысль, 1968. - 301 с. - Библиография: с. 292-299. - 1.06 р.
ББК 22.1

Рубрики: Математика--Общие вопросы математики

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