Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=конструктивная математика<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Закономерности развития современной математики [Текст] : методологические аспекты / отв. ред. М. И. Панов. - М. : Наука, 1987. - 336 с. ; 21см. - 3.00 р.

ГРНТИ	27.01.05
УДК	51:1

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

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

Доп. точки доступа:
Панов, М. И.
Найти похожие

Элентух, И. П.
Целостность методологического анализа фундаментальных проблем конкретных наук [Текст] : научное издание / И. П. Элентух ; ред. В. Н. Сагатовский ; Философ. общ-во СССР (Томск). - Томск : Том. ун-т, 1989. - 192 с. ; 20 см. - 2.10 р.

ГРНТИ	12.51
УДК	001.8.1

Рубрики: Наука--Методология науки

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

Доп. точки доступа:
Сагатовский, В. Н.
Найти похожие

Марков, А. А.
О логике конструктивной математики [Текст] : научное издание / А. А. Марков. - М. : Знание, 1972. - 47 с. ; 22 см. - (Новое в жизни, науке, технике. Математика, кибернетика ; 8). - Библиогр.: с. 46

ГРНТИ	27.03
УДК	51:164

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

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

Справочная книга по математической логике [Текст] : в четырех частях: пер. с англ. / ред. Дж. Барвайс. - Москва : Наука, 1982 - 1983.
Ч. 4 : Теория доказательств и конструктивная математика. - 1983. - 391 с. - 2.10 р.

ББК 22.12

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

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

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

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)