formális kalkulus
C2
Maghiară
calculus
SUBSTANTIV
C2
TECHNICAL
2
calculus
C2
Î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.