kalkulus
C1
Unkari
calculus
SUBSTANTIIVI
C1
TECHNICAL
1
calculus
C2
Käyttömalli:
ítéletkalkulus; predikátumkalkulus
Esimerkkipareja ei ole vielä saatavilla.
Merkitys
formal symbolic system in logic
Teemat
logic
|mathematics
|formal_systems
|symbols
|proofs
|science
|education
Määritelmä
A formal system of symbols and rules used to represent and manipulate logical or mathematical expressions.
Kielioppi
Kielioppitietoja ei ole vielä saatavilla.
Ilmaukset
Tähän hakusanaan ei ole vielä liitetty ilmauksia.