英和和英

a computer that conducts operations using physical quantities

a branch of logic called predicate calculus

an operation that follows the rules of symbolic logic

a logic element that performs a threshold operation

the field of logic called formalism

the arithmetic operation of summing

symbolic logic

a computer that operates using numbers represented by directly measurable quantities

a digital calculator that performs the four basic arithmetic operations and logic functions

the mathematics of generalized arithmetical operations

arrange in logical order

in logic, analogy

in logic, the grammatical subject

an arithmetic operation that is the inverse of division

a mathematical operation involving matrices

an arithmetic operation performed on floating-point numbers

an arithmetic operation that is the inverse of multiplication

make a mathematical calculation or computation

relating to logical deduction

a {two fold division} in logic

a mathematical operation involving numbers

to theorize about something

a logical quantifier that asserts all values of a given variable in a formula

straight reasoning

a way of reasoning, called logical reasoning

the action of deducing something from the standpoint of symbolic logic

to think about something logically

a demonstration in logic

the mathematical process of obtaining the derivative of a function

a type of logic called a dilemma