|
|
|
|
|
|
|
|
|
Predicative 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, латинский
Predicative, английский
A лнгв., лог. предика- тивный | n предикатив predicator n предикатор predictability n предсказуемость
Predicative aid, английский
Средство прогнозирование
Predicative arithmetic, английский
Арифметика предикатов
Predicative pcm, английский
Кодово-импульсная модуляция с предсказанием
Исчисление, русский
- – см. логистика.
- , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
- Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
- Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас
|
Program calculus, английский
Исчисление программ
Predicate calculus, английский
Исчисление предикатов
|
|
|
|
|
|
|
