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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

Диссертации

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

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

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

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

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

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

в найденном

Найдено в других БД:

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

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

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

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

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

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

1-10 11-20 21-22

Бессонов, А. В.
О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики [Текст]. Ч. 2 / А. В. Бессонов // Философия науки. - 2016. - № 2. - С. 42-61. - Библиогр.: с. 61 (22 назв. ). - Продолж. Начало: N 4, 2014 . - ISSN 1560-7488

УДК

^a1

^a511

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

Доп.точки доступа:
Гёдель, К. (австрийский математик ; 1906-1978); Гильберт, Д. (1862-1943)
Нет сведений об экземплярах (Источник в БД не найден)

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

Бессонов, А. В.
О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики [Текст]. Ч. I / А. В. Бессонов // Философия науки. - 2014. - № 4. - С. 12-31. - Библиогр.: с. 31 (24 назв. ) . - ISSN 1560-7488

УДК

^a1

^a511

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

Доп.точки доступа:
Гёдель, К. (австрийский математик ; 1906-1978)
Нет сведений об экземплярах (Источник в БД не найден)

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

Бессонов, А. В.
Теорема Гёделя о неполноте арифметики и аксиома полноты [Текст] / А. В. Бессонов // Философия науки. - 2019. - № 2. - С. 25-34. - Библиогр.: с. 34 (11 назв. ) . - ISSN 1560-7488

УДК

^a511

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

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

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

Гибатова, Г. Ф.
Аксиология в языке [Текст] / Г. Ф. Гибатова // Вестник Оренбургского государственного университета. - 2011. - N 2, февраль. - С. 127-132. - Библиогр.: с. 132 (14 назв. ) . - ISSN 1814-6457

УДК

^a81.32

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

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

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

Дурыманова, Анастасия Дмитриевна.
Некоторые синтактико-морфологические особенности деноминативных глаголов в древнекитайском (Чжаньго V в. до н. э. и позднее) [Текст] / А. Д. Дурыманова // Вестник Московского университета. Сер. 13, Востоковедение. - 2022. - № 1. - С. 30-42. - Библиогр. в примеч. . - ISSN 0320-8095

УДК

^a811.58

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

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

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

Кузнецова, Елена Геннадьевна (ассистент каф. межкультур. коммуникации и перевода).
Семантический потенциал английских экспериенциальных глаголов [Текст] / Е. Г. Кузнецова // Вестник Челябинского государственного университета. - 2010. - N 13. - С. 83-87. - Библиогр.: с. 87 (9 назв. ). - Примеч.: с. 87 . - ISSN 1994-2796

УДК

^a81'37

ББК 81.03
Рубрики: Языкознание, 21 в. нач.
Лексикология
Кл.слова (ненормированные):
английский язык -- экспериенциальные глаголы -- экспериенциальная семантика -- семантика -- статив -- предикат
Аннотация: Проводится дифференциация значений между английскими глаголами экспериенциальной семантики на основе различия в ракурсе восприятия параметров денотативной ситуации.

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

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

Кузнецова, Елена Геннадьевна (ассистент каф. межкультур. коммуникации и перевода).
Экспериенцер как семантическая роль актанта предиката (семантическое толкование) [Текст] / Е. Г. Кузнецова // Вестник Челябинского государственного университета. - 2010. - N 7. - С. 82-85. - Библиогр.: с. 85 (19 назв. ) . - ISSN 1994-2796

УДК

^a811.11

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

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

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

Мур, Джордж (британский философ, представитель неореализма ; 1873-1958).
Является ли существование предикатом? [Текст] / Джордж Мур ; пер. с анг. В. Е. Мельникова ; под ред. В. А. Суровцева // Вестник Томского государственного университета. Философия. Социология. Политология. - 2009. - N 4 (8). - С. 111-122. - Библиогр.: с. 108 (5 назв. ) . - ISSN 1998-863X

УДК

^a1

ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
аналитическая философия -- предикат -- неореализм
Аннотация: Логический смысл предиката.

Доп.точки доступа:
Мельников, В. Е. \.\; Суровцев, В. А. \.\
Нет сведений об экземплярах (Нет сведений об источнике)

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

УДК

^a1

10.

Павлова, А. В.
Компонентный анализ предикатов болезненного состояния в английском и русском языках [Текст] / А. В. Павлова // Вестник Башкирского университета. - 2011. - Т. 16, N 2. - С. 446-449. - Библиогр.: с. 449 (15 назв. )

УДК

^a811.11

^a811.161.1

ББК 81.2 + 81.2Рус
Рубрики: Языкознание
Германские языки
Русский язык
Кл.слова (ненормированные):
семантические поля -- семемы -- дифференциальные семы -- интегральные семы -- таксономическая глубина -- componential analysis -- taxonomic depth -- distinctive semes -- integral semes -- предикат болезненного состояния
Аннотация: Смысл слова можно описывать с помощью развернутых толкований. Целью настоящего исследования является раскрытие семантики предикатов болезненного состояния в английском и русском языках с помощью компонентного анализа. Объектом рассмотрения является инвариантное семантическое поле (поле семем) "болезненное состояние", представленное в виде полей-репрезентантов в языках сравнения.

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

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

1-10 11-20 21-22

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

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