Библиотека Амурского Государственного Университета

Главная

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

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

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

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

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

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

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Клещев А. С.
Заглавие : Модель аналогии между математическими доказательствами
Серия: Математические проблемы управления
Место публикации : Проблемы управления. - 2007. - N 1. - С. 20-24 (Шифр pupr/2007/1)
Примечания : Библиогр.: с. 25 (6 назв.)
ISSN: 1819-3161
УДК : 519.7
ББК : 22.18
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): аналогия--доказательства--обобщение доказательств--математическая практика--модель математической практики--леммы--генерация лемм--теоремы аналогичные
Экземпляры :з.п.(1)
Свободны : з.п.(1)
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Клещев А. С.
Заглавие : Концепция банка математических знаний для научных исследований . Ч. 1 : Метафора
Серия: Математические проблемы управления
Место публикации : Проблемы управления. - 2008. - N 4. - С.2-6. - ISSN 1819-3161 (Шифр pupr/2008/4). - ISSN 1819-3161
Примечания : Библиогр.: с. 6 (13 назв.)
УДК : 681.3:62-52 + 004.41/.42
ББК : 30.6-5-05 + 32.973-018
Предметные рубрики: Техника
Автоматизация оборудования
Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Географич. рубрики:
Аннотация: На основе расширяемой внутренней модели математической практики и модели аналогии между доказательствами предложена концепция системы компьютерной поддержки научной деятельности в области математики и реализующих ее механизмов. Приведена метафора системы и структура внешней модели математической практики.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Интенсиональность математического дискурса: необходимость истин математики
Серия: Общие вопросы истории и философии науки
Место публикации : Философия науки. - 2018. - № 4. - С.34-47. - ISSN 1560-7488 (Шифр phna/2018/4). - ISSN 1560-7488
Примечания : Библиогр.: с. 46-47 (11 назв. )
УДК : 510.6 + 11/12
ББК : 22.12 + 87.21
Предметные рубрики: Математика
Математическая логика
Философия
Метафизика. Онтология
Ключевые слова (''Своб.индексиров.''): интенсиональность--математическая практика--математические дискурсы--математические истины--модальная логика--модальность
Аннотация: Рассматривается применение модальной логики к анализу математического дискурса. Показано, что такое применение требует осторожности, поскольку часто приводит к абсурдным результатам. В частности, анализируется тезис о том, что в математике доказуема необходимость математических истин. Показано, что подобное смешение метафизики и математической логики является неправомерным.
Найти похожие

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

Статистика за 02.09.2024
Число запросов	86101
Число посетителей	1
Число заказов	0

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