kalkulus
C1
Ungarsk
calculus
SUBSTANTIV
C1
TECHNICAL
1
calculus
C2
Bruksmønster:
ítéletkalkulus; predikátumkalkulus
Ingen eksempelpar ennå.
Betydning
formal symbolic system in logic
Temaer
logic
|mathematics
|formal_systems
|symbols
|proofs
|science
|education
Definisjon
A formal system of symbols and rules used to represent and manipulate logical or mathematical expressions.
Grammatikk
Ingen grammatikkopplysninger ennå.
Uttrykk
Ingen uttrykk er knyttet til dette oppslaget ennå.