Значение словосочетания «исчисления предикатов»

Значение слова «исчисление»

• ИСЧИСЛЕ́НИЕ, -я, ср. 1. Действие по знач. глаг. исчислить—исчислять; вычисление. Исчисление времени. (Малый академический словарь, МАС)

  Все значения слова ИСЧИСЛЕНИЕ

Значение слова «предикат»

• ПРЕДИКА́Т, -а, м. 1. Лог. То, что в суждении высказывается о предмете суждения; логическое сказуемое. (Малый академический словарь, МАС)

  Все значения слова ПРЕДИКАТ

Ассоциации к слову «исчисление»

Синонимы к словосочетанию «исчисления предикатов»

Предложения со словосочетанием «исчисления предикатов»

• Если вам нравится исчисление предикатов, то можете и далее продолжать "играть" в свои "игрушечные" задачи с 30 правилами и NP-полными алгоритмами.
  Олег Варламов, Мивары: 25 лет создания искусственного интеллекта
• До свидания, 20 век – век исчисления предикатов, реляционных и объектно-ориентированных баз данных.
  Олег Варламов, Мивары: 25 лет создания искусственного интеллекта
• Для выполнения этой программы он создал совершенно новую логику, осуществив первое аксиоматическое построение пропозиционального исчисления и построив теорию квантификации и исчисление предикатов, которые образуют ядро современной математической логики.
  Л. Б. Макеева, Язык, онтология и реализм, 2011
• (все предложения)

Сочетаемость слова «исчисление»

• дифференциальное исчисление
  интегральное исчисление
  по земному исчислению
• исчисление налога
  исчисление срока
  при исчислении налоговой базы
• порядок исчисления
  правильность исчисления
  система исчисления
• (полная таблица сочетаемости)

Сочетаемость слова «предикат»

• противоположные предикаты
  определённые предикаты
  реальный предикат
• предикат суждения
  предикат бытия
• исчисление предикатов
  логика предикатов
  позицию предиката
• является предикатом
• (полная таблица сочетаемости)

Понятия, связанные со словосочетанием «исчисления предикатов»

• Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. Сейчас поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической...
• Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают...
• Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.
• Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
• Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
• (все понятия)

Отправить комментарий

Дополнительно

• Как правильно пишется слово «исчисление»
• Как правильно пишется слово «предикат»
• Разбор по составу слова «исчисление» (морфемный разбор)
• Разбор по составу слова «предикат» (морфемный разбор)
• Перевод словосочетания «исчисления предикатов» и примеры предложений (английский язык)