Энциклопедический словарь
"Исчисление Предикатов"

Главная - Энциклопедический словарь - буква И - Исчисление Предикатов

Энциклопедический словарь
Искать!

раздел математической логики, логическоеисчисление, в алфавит знаков которого, помимо символов исчислениявысказываний, входят также символы вещей (индивидов), их свойств иотношений, а также выражений ""все"" и ""некоторые"" кванторы( позволяющиеколичественно охарактеризовать связи вещей, свойств и отношений; служитаксиоматизацией логики предикатов.

Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:
<a href="http://www.dicdic.ru/bes/24481/">Исчисление Предикатов</a>
будет выглядеть так: Исчисление Предикатов

<a href="http://www.dicdic.ru/bes/24481/">Что такое Исчисление Предикатов</a>
будет выглядеть так: Что такое Исчисление Предикатов

Наиболее востребованные слова:    ВОДОПОТРЕБЛЕНИЯ НОРМА / Большой энциклопедический словарь. Сельское хозяйство
   Прованс / Энциклопедический словарь
   Флудить / Словарь компьютерного жаргона
   Русский Алфавит / Энциклопедический словарь
   Политическая Карта Мира / Энциклопедический словарь
   СЕКВЕСТИРОВАНИЕ / Бухгалтерский словарь
   Аспект / Словарь Даля
   Группы Крови / Энциклопедический словарь
   АВИЗО / Бухгалтерский словарь
   Рентабельность / Бизнес словарь
   Алфавит / Энциклопедический словарь
   Гетеро... / Сексологический словарь
   Копрофилия / Толковый словарь психиатрических терминов
   Фонетический / Словарь Даля
   Географические Карты / Энциклопедический словарь
   Диверсификация / Бизнес словарь
   Личности структура по Платонову / Толковый словарь психиатрических терминов
   Реализм / Энциклопедический словарь
   Римские Цифры / Энциклопедический словарь
   Интерпретация / Словарь логики
   Логика / Словарь логики
   Синонимы / Энциклопедический словарь
   СЧЕТ-ФАКТУРА / Бухгалтерский словарь
   Части Речи / Энциклопедический словарь
   Филолог / Энциклопедический словарь