|
|
|
|
|
|
|
|
|
Cubical algebra
| Глоссарий по вычислительной технике |
Алгебра кубов; исчисление кубических комплексов
|
|
Algebra, английский
- A general method of resolving mathematical problems, by means of equations, or rather computing abstract quantities by symbols or signs; a literal arithmetic.
- Алгебра
Algebra, шведский
Algebra booleana, испанский
El álgebra del mecanismo lógico y de toma de decisiones desarrollada por el matemático inglés george boole. de ella depende la capacidad que muestra el ordenador a la hora de tomar decisiones. asimismo, gran parte de la
Algebra of logic, английский
Алгебра логики
Algebra of residue classes, английский
Алгебра остаточных классов
Algebraic, английский
- A алгебраический semantics
- Алгебраический
Algebraic adder, английский
Алгебраический сумматор
Algebraic comparison, английский
Алгебраическое сравнение
Algebraic equation, английский
Алгебраическое уравнение
Algebraic function, английский
Алгебраическая функция
Algebraic language, английский
Контекстно-свободный язык
Algebraic number, английский
Алгебраическое число; относительное число
Algebraic process, английский
Алгебраический метод
Algebraic semantics, английский
Алгебраическая семантика
Algebraic specification, английский
Алгебраическая спецификация
Algebraic structure, английский
Алгебраическая структура
Algebraic symbol manipulation language, английский
Язык манипулирования алгебраическими символами
Algebraicus, a, um, латинский
Cubical, английский
Кубический; третьей степени
Cubical aggregate, английский
Angular aggregate most of whose particles have length, breadth, and thickness approximately equal. cubicle 1. a very small enclosed space. 2.a carrel. cubiculum 1. in ancient roman architecture, a bedchamber. 2. a mortuary chapel attached to a church. 3. a burial chamber having, on its walls, compartments for the reception of the dead.
Исчисление, русский
- – см. логистика.
- , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
- Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
- Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас
Кубических, русский
|
Algebra of logic, английский
Алгебра логики
Propositional algebra, английский
Алгебра высказываний
|
|
|
|
|
|
|
