kalkulus
C1
Maghiară
calculus
SUBSTANTIV
C1
TECHNICAL
1
calculus
C2
Tipar de utilizare:
ítéletkalkulus; predikátumkalkulus
Încă nu există perechi de exemple.
Sens
formal symbolic system in logic
Teme
logic
|mathematics
|formal_systems
|symbols
|proofs
|science
|education
Definiție
A formal system of symbols and rules used to represent and manipulate logical or mathematical expressions.
Gramatică
Încă nu sunt disponibile detalii gramaticale.
Expresii
Nu există încă expresii asociate acestei intrări.