kalkulus
C1
Ουγγρικά
calculus
ΟΥΣΙΑΣΤΙΚΌ
C1
TECHNICAL
1
calculus
C2
Μοτίβο χρήσης:
ítéletkalkulus; predikátumkalkulus
Δεν υπάρχουν ακόμη ζεύγη παραδειγμάτων.
Σημασία
formal symbolic system in logic
Θέματα
logic
|mathematics
|formal_systems
|symbols
|proofs
|science
|education
Ορισμός
A formal system of symbols and rules used to represent and manipulate logical or mathematical expressions.
Γραμματική
Δεν υπάρχουν ακόμη διαθέσιμες γραμματικές πληροφορίες.
Εκφράσεις
Δεν υπάρχουν ακόμη συνδεδεμένες εκφράσεις για αυτή την καταχώριση.