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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

Диссертации

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

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

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

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

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

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

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

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

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

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

Целищев, В. В.
Убедительность доказательства и рациональность мышления [Текст] / В. В. Целищев // Философия науки. - 2006. - N 3. - С. . 49-64. - Библиогр.: с. 63-64 (12 назв. ). - s, 2006, , rus. - RUMARS-phna06_000_003_0049_1. - Зональная научная библиотека Ростовского государственного университета. - N 3(30). - С. 49-64. - phna06_000_003_0049_1, 3, 49-64

УДК

^a16

ББК 87.4
Рубрики: Логика--Общие вопросы логики
Кл.слова (ненормированные):
доказательства -- математическая практика -- математические доказательства -- рациональное мышление
Аннотация: Природа математического доказательства.

Нет сведений об экземплярах (Источник в БД не найден)

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

Клещев, А. С.
Концепция банка математических знаний для научных исследований [Текст]. Ч. 1. Метафора / А. С. Клещев ; ст. представлена к публ. О. П. Кузнецовым // Проблемы управления. - 2008. - N 4. - С. 2-6. - Библиогр.: с. 6 (13 назв. ) . - ISSN 1819-3161

УДК

^a681.3:62-52

^a004.41/.42

ББК 30.6-5-05 + 32.973-018
Рубрики: Техника
   Автоматизация оборудования
   Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
математическая практика -- математические исследования -- научная деятельность -- научные исследования -- математические знания -- банк математических знаний -- компьютерные системы -- доказательства -- построение доказательств -- интуитивные доказательства -- интерактивное построение доказательств
Аннотация: На основе расширяемой внутренней модели математической практики и модели аналогии между доказательствами предложена концепция системы компьютерной поддержки научной деятельности в области математики и реализующих ее механизмов. Приведена метафора системы и структура внешней модели математической практики.

Доп.точки доступа:
Кузнецов, О. П. (член редколлегии) \.\

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

Целищев, В. В.
Интенсиональность математического дискурса: необходимость истин математики [Текст] / В. В. Целищев // Философия науки. - 2018. - № 4. - С. 34-47. - Библиогр.: с. 46-47 (11 назв. ) . - ISSN 1560-7488

УДК

^a510.6

^a11/12

ББК 22.12 + 87.21
Рубрики: Математика
   Математическая логика
   Философия
   Метафизика. Онтология
Кл.слова (ненормированные):
интенсиональность -- математическая практика -- математические дискурсы -- математические истины -- модальная логика -- модальность
Аннотация: Рассматривается применение модальной логики к анализу математического дискурса. Показано, что такое применение требует осторожности, поскольку часто приводит к абсурдным результатам. В частности, анализируется тезис о том, что в математике доказуема необходимость математических истин. Показано, что подобное смешение метафизики и математической логики является неправомерным.

Нет сведений об экземплярах (Источник в БД не найден)

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

Шапошников, В. А. (кандидат философских наук; доцент).
На пути к открытой математике: трансформация практики математического доказательства от индивидуальной к социоцифровой [Текст] / В. А. Шапошников // Вестник Московского университета. Сер. 7, Философия. - 2019. - № 1. - С. 79-94. - Библиогр.: с. 92-94 . - ISSN 0201-7385

УДК

^a1

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

Нет сведений об экземплярах (Источник в БД не найден)

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

Хлебалин, А. В.
Polymath и трансформация математической практики [Текст] / А. В. Хлебалин // Философия науки. - 2021. - № 4. - С. 43-50. - Библиогр.: с. 50 (4 назв. ) . - ISSN 1560-7488

УДК

^a1

^a510

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
Polymath -- блокчейн-платформа -- верификации знания -- дистрибутивное знание -- математическая аргументация -- математическая практика -- математические сообщества -- платформа Polymath
Аннотация: Исследованы социально-эпистемологические характеристики трансформации математического сообщества и математической практики получения и верификации знания в новых формах организации математического исследования на примере платформы Polymath.

Нет сведений об экземплярах (Источник в БД не найден)

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

Целищев, В. В.
Понимание математического доказательства: логика vs. математика [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2022. - № 2. - С. 63-74. - Библиогр.: с. 73-74 (9 назв. ) . - ISSN 1560-7488

УДК

^a16

^a510.6

ББК 87.4 + 22.12
Рубрики: Логика
   Общие вопросы логики
   Математика
   Математическая логика
Кл.слова (ненормированные):
математическая практика -- математическое доказательство -- математическое мышление -- формальные доказательства -- язык математики
Аннотация: Анализируется противопоставление понимания математического доказательства его формализации. Показано, что в этом противопоставлении смешаны две проблемы: соотношение математической логики и математической практики доказательства и соотношение математического и формального доказательств.

Доп.точки доступа:
Хлебалин, А. В.
Нет сведений об экземплярах (Источник в БД не найден)

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

Ламберов, Л. Д.
Строгость доказательства: "серая зона" между формализацией и практикой [Текст] / Л. Д. Ламберов // Философия науки. - 2023. - № 1. - С. 120-133. - Библиогр.: с. 131-133 (21 назв. ) . - ISSN 1560-7488

УДК

^a510

^a1

ББК 22.1 + 87.25
Рубрики: Математика
   Общие вопросы математики
   Философия
   Философия науки
Кл.слова (ненормированные):
математическая практика -- математическое доказательство -- понимание доказательства -- строгость доказательства -- философия математики -- формализация
Аннотация: Рассматриваются одно из основных требований, предъявляемых к математическим доказательствам, являющейся требование строгости. Строгость гарантирует наличие логической связи между доказываемым положением и принимаемыми допущениями или аксиомами. Традиционно считается, что строгость математического доказательства обеспечивается обращением к формализации. Однако такое понимание не соответствует математической практике.

Нет сведений об экземплярах (Источник в БД не найден)

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

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

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