|
|
|
|
|
|
|
|
|
Predicate calculus
| Глоссарий по вычислительной технике |
Исчисление предикатов
|
|
Calculus, английский
- A hard mass like a little piece of stone, which forms inside the body. also called stone (note: the plural is calculi.) comment: calculi are formed of cholesterol and various inorganic substances, and are commonly found in the bladder, the gall bladder (gallstones) and various parts of the kidney. caldwell–luc operation caldwell–luc operation /k? ldwel lu k ?p?re??(?)n/
- N исчисление predicate ~ лог. исчисление предикатов3 propositional ~ лог. исчисление высказыва- ний4
- A system of rules for the manipulation of characters as in the logical calculus or in the differential calculus. if the characters are symbols, a calculus provides the basis for the analysis of what the symbols represent collectively and individually. information theory is a calculus for analysing the amount of entropy in an observed system into various quantities of information exchanged within that system.
Calculus, латинский
Calculus mathematics, английский
Вычислительная математика
Calculus of approximations, английский
Calculus of residues, английский
Теория вычетов
Calculus of variations, английский
Вариационное исчисление calculus-type language язык типа исчисления
Calculus [i, m], латинский
Calculus [i, m] (lusus calculorum), латинский
Calculus, i, m, латинский
Predicate, английский
- N 1 лнгв. предикат, сказуе- мое; 2 псхл. предикат1; 3 лог. утверждение compound ~ составное сказуемое calculus, logic, phrase
- In exchange server 2007, a function that is used as a condition or exception on a transport rule to determine whether an action should be applied to an email message.
Predicate constant, английский
Предикатная константа
Predicate logic, английский
- Логика предикатов
- An inferential logic that reasons from sentences that are composed of terms (e.g., nouns) and predicates (verbs). it is the modern descenpage 234 dent of classical aristotelian logic. a first-order predicate logic allows the things represented by the terms to be variable; a second-order predicate logic also allows the predicates to range over classes of predicates.
Predicate offence, английский
Predicate transformer, английский
Преобразователь предикатов
Predicate upon principles 16-1 1 2 1, английский
Predicate variable, английский
Предикатная переменная
Predicated mean vote, английский
Predicated percentage of disatisfied, английский
Predicates, английский
Process words (like verbs, adverbs, and adjectives) describing a subject. predicates are used to identify which representational system a person is using to process information.
Исчисление, русский
- – см. логистика.
- , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
- Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
- Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас
|
Predicative calculus, английский
Исчисление предикатов
Propositional calculus, английский
- Исчисление высказываний; пропозициональное исчисление
- See: propositional logic.
|
|
|
|
|
|
|
