kalkulus
C1
Hungarian
calculus
NOUN
C1
TECHNICAL
1
calculus
C2
Usage pattern:
ítéletkalkulus; predikátumkalkulus
No example pairs yet.
Meaning
formal symbolic system in logic
Themes
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.
Grammar
No grammar details available yet.
Expressions
No expressions linked to this entry yet.