Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

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

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

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

Поисковый запрос: (<.>K=математика (философия)<.>)

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

Бирюков, Б. В.
У истоков отечественных исследований по поиску логического вывода [Текст] : о двух симпозиумах 60-х годов ХХ века, состоявшихся в г. Тракае (Литовская ССР) / Б. В. Бирюков // Вопросы философии. - 2006. - N 12. - С. . 99-119. - Библиогр. в сносках. - 0; Первый тракайский симпозиум. - 0; Проблема поиска вывода исчислении предикатов. - 0; Второй тракайский симпозиум. - 0; Научно-технический контекст 60-х годов и последующее развитие проблемы "Искусственный интеллект". - s, 2006, , rus. - RUMARS-voph06_000_012_0099_1. - Зональная научная библиотека им. В. А. Артисевич Саратовского государственного университета. - Заглавия симпозиумов не указаны. - N 12. - С. 99-119. - voph06_000_012_0099_1, 12, 99-119

УДК

^a681.5

^a004.8

^a167/168

ББК 87.252 + 32.813 + 32.81
Рубрики: Философия--Философские вопросы и методология отдельных наук
Радиоэлектроника--Искусственный интеллект. Экспертные системы--Кибернетика, 20 в. 60-е гг.
Кл.слова (ненормированные):
симпозиумы -- всесоюзные симпозиумы -- тракайские симпозиумы -- логика -- логические выводы -- алгебро-логические исследования -- философия математики -- математика (философия) -- предикаты -- машинный поиск (кибернетика) -- математическая логика
Аннотация: Тракайские симпозиумы не получили должного отражения в литературе. Настоящая публикация и служит восполнению этого пробела в историографии отечественной логики.

Доп.точки доступа:
Шанин \н. А.\; Яновская \с. А.\; Тракайский симпозиум; Тракайский симпозиум
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

О неделимых линиях [Текст] / публ. подгот. М. В. Зубова, А. М. Шишков ; пер. с древнегр. В. П. Зубова // Вопросы философии. - 2008. - N 3. - С. 165-171 . - ISSN 0042-8744

УДК

^a1(100)(091)

ББК 87.3(0)
Рубрики: Философия
Всемирная история философии
Кл.слова (ненормированные):
античная философия -- философские трактаты -- математика (философия)
Аннотация: Публикация философского трактата "О неделимых линиях", ошибочно приписываемого Аристотелю. Перевод трактата выполнен выдающимся отечественным историком естественнонаучной мысли В. П. Зубовым.

Доп.точки доступа:
Зубов, В. П. \.\; Зубова, М. В. \.\; Шишков, А. М. \.\; Аристотель; Зубов, В. П. (1900-1963)

Найти похожие

Михайлова, Н. В.
Системная триада философско-методологических программ обоснования математики [Текст] / Н. В. Михайлова, // Философия науки. - 2009. - N 1. - С. 104-117. - Библиогр.: с. 116-117 (10 назв. ) . - ISSN 1560-7488

УДК

^a1

ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
математика (философия) -- доказательство (философия) -- системный подход -- обоснование математики (философия)
Аннотация: Системное обоснование математики.

Найти похожие

Осминская, Н. А.
Математика и метафизика в "Диссертации о комбинаторном искусстве" Г. В. Лейбница [Текст] / Н. А. Осминская // Вопросы философии. - 2011. - N 2. - С. 151-158. - Библиогр.: с. 157-158. - Примеч.: с. 158 . - ISSN 0042-8744

УДК

^a1(100)(091)

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

Доп.точки доступа:
Лейбниц, Г. В. (немецкий философ и математик ; 1646-1716)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

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