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

Базы данных


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

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


    Целищев, В. В.
    IF-логика в системе математического теоретизирования [Текст] / В. В. Целищев // Философия науки. - 2017. - № 1. - С. 18-29. - Библиогр.: с. 27-29 (15 назв. ) . - ISSN 1560-7488
УДК
^a510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
IP-логика -- Коши теорема -- адекватность математического аппарата -- дискурсы -- логика первого порядка -- математические дискурсы -- математическое теоретизирование -- равномерная непрерывность -- стандартная логика -- теорема Коши
Аннотация: Рассмотрено сопоставление выразительных средств стандартной логики первого порядка и IF-логики как логики математического дискурса. В качестве примера рассмотрена проблема равномерной непрерывности в связи с теоремой Коши. Показано, что ограничения, свойственные стандартной логике первого порядка, преодолеваются в IF-логике. Продемонстрирована ошибочность критики о недостаточности IF-логики для математического теоретизирования.

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

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


    Целищев, В. В.
    Является ли теоретико-игровая семантика "естественной" для дружественно-независимой логики? [Текст] / В. В. Целищев // Философия науки. - 2017. - № 3. - С. 31-45. - Библиогр.: с. 43-45 (21 назв. ) . - ISSN 1560-7488
УДК
^a16
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
Тарского семантика -- дружественно-независимая логика -- композициональность -- логика первого порядка -- семантика Тарского -- сколемизация -- теоретико-игровая семантика
Аннотация: Рассматривается вопрос о том, в какой степени теоретико-игровая семантика естественна для дружественно-независимой логики. Показано, что теоретико-игровая семантика является альтернативной семантикой для логики первого порядка семантике Тарского.

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

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)