kalkulus
C1
Magyar
calculus
FŐNÉV
C1
TECHNICAL
1
calculus
C2
Használati minta:
ítéletkalkulus; predikátumkalkulus
Még nincsenek példamondatpárok.
Jelentés
formal symbolic system in logic
Témák
logic
|mathematics
|formal_systems
|symbols
|proofs
|science
|education
Definíció
A formal system of symbols and rules used to represent and manipulate logical or mathematical expressions.
Nyelvtan
Még nincsenek elérhető nyelvtani adatok.
Kifejezések
Ehhez a szócikkhez még nincs kapcsolódó kifejezés.