kalkulus
C1
Ungarisch
calculus
NOMEN
C1
TECHNICAL
1
calculus
C2
Verwendungsmuster:
ítéletkalkulus; predikátumkalkulus
Noch keine Beispielpaare.
Bedeutung
formal symbolic system in logic
Themen
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
Noch keine Grammatikdetails verfügbar.
Ausdrücke
Für diesen Eintrag gibt es noch keine verknüpften Ausdrücke.