Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=стандартная логика<.>)
Общее количество найденных документов : 1
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : IF-логика в системе математического теоретизирования
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2017. - № 1. - С.18-29. - ISSN 1560-7488 (Шифр phna/2017/1). - ISSN 1560-7488
Примечания : Библиогр.: с. 27-29 (15 назв. )
УДК : 510.6
ББК : 22.12
Предметные рубрики: Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): ip-логика--коши теорема--адекватность математического аппарата--дискурсы--логика первого порядка--математические дискурсы--математическое теоретизирование--равномерная непрерывность--стандартная логика--теорема коши
Аннотация: Рассмотрено сопоставление выразительных средств стандартной логики первого порядка и IF-логики как логики математического дискурса. В качестве примера рассмотрена проблема равномерной непрерывности в связи с теоремой Коши. Показано, что ограничения, свойственные стандартной логике первого порядка, преодолеваются в IF-логике. Продемонстрирована ошибочность критики о недостаточности IF-логики для математического теоретизирования.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)