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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

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

Антитеррор

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

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

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

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

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

Клещев, А. С.
Модель аналогии между математическими доказательствами [Текст] / А. С. Клещев ; ст. представлена к публ. О. П. Кузнецовым // Проблемы управления. - 2007. - N 1. - С. 20-24. - Библиогр.: с. 25 (6 назв.). - 2; Модель аналогии между доказательствами. - 2; Обобщение доказательств. - 2; Обнаружение аналогии и построение доказательства целевой теоремы. - 2; Генерация лемм с использованием аналогии. - 2; Генерация аналогичных теорем и их доказательств

УДК

^A519.7

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

Доп.точки доступа:
Кузнецов, О. П. (член редколлегии) \.\
Имеются экземпляры в отделах: всего 1 : з.п. (1)
Свободны: з.п. (1)

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

Клещев, А. С.
Концепция банка математических знаний для научных исследований [Текст]. Ч. 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
Рубрики: Техника
   Автоматизация оборудования
   Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

Кл.слова (ненормированные):
математическая практика -- математические исследования -- научная деятельность -- научные исследования -- математические знания -- банк математических знаний -- компьютерные системы -- доказательства -- построение доказательств -- интуитивные доказательства -- интерактивное построение доказательств
Аннотация: На основе расширяемой внутренней модели математической практики и модели аналогии между доказательствами предложена концепция системы компьютерной поддержки научной деятельности в области математики и реализующих ее механизмов. Приведена метафора системы и структура внешней модели математической практики.

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

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

УДК

^a510.6

^a11/12

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

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

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

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