kalkulus
C1
Ungerska
calculus
SUBSTANTIV
C1
TECHNICAL
1
calculus
C2
Användningsmönster:
ítéletkalkulus; predikátumkalkulus
Inga exempelpar ännu.
Betydelse
formal symbolic system in logic
Teman
logic
|mathematics
|formal_systems
|symbols
|proofs
|science
|education
Definition
A formal system of symbols and rules used to represent and manipulate logical or mathematical expressions.
Grammatik
Inga grammatikdetaljer ännu.
Uttryck
Det finns inga uttryck kopplade till det här uppslagsordet än.