kalkulus
C1
Hongrois
calculus
NOM
C1
TECHNICAL
1
calculus
C2
Schéma d’usage :
ítéletkalkulus; predikátumkalkulus
Aucune paire d’exemples pour le moment.
Sens
formal symbolic system in logic
Thèmes
logic
|mathematics
|formal_systems
|symbols
|proofs
|science
|education
Définition
A formal system of symbols and rules used to represent and manipulate logical or mathematical expressions.
Grammaire
Aucun détail grammatical disponible pour le moment.
Expressions
Aucune expression n’est encore associée à cette entrée.