предикатная буква
Смотреть что такое "предикатная буква" в других словарях:
ПРЕДИКАТНЫЙ СИМВОЛ — предикатная буква, обозначение какого либо конкретного предиката. Напр., символом часто обозначают отношение порядка на действительных числах, являющееся двуместным предикатом. При формальном построении языка символы, отнесенные к категории… … Математическая энциклопедия
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
