|
|
|
|
|
|
|
|
|
Propositional calculus
| Глоссарий по вычислительной технике |
- Исчисление высказываний; пропозициональное исчисление
- See: propositional logic.
|
|
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, латинский
Propositional, английский
- A лог., лнгв. пропозициональный attitude, calculus, logic, meaning, model, structure propria a специфические (части )
- Пропозициональный
Propositional algebra, английский
Алгебра высказываний
Propositional function, английский
Пропозициональная функция
Propositional hierarchy, английский
Пропозициональная иерархия; иерархия высказываний
Propositional inference, английский
Пропозиционный вывод
Propositional logic, английский
A means for making inferences from propositions. given a sequence of propositions, propositional logic attempts to infer further prepositions based on the propositions and the rules of propositional inference. if differs from predicate logic in that it does not attempt to make inferences about individuals or classes.
Propositional variable, английский
Пропозициональная переменная
Исчисление, русский
- – см. логистика.
- , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
- Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
- Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас
|
Predicate calculus, английский
Исчисление предикатов
Probability calculus, английский
Исчисление вероятностей
|
|
|
|
|
|
|
