Next: Assotsiatiivne tehe (associative operator)
Up: No Title
Previous: Algebralise süsteemi kandja (carrier
-
formaalse teooria aluseks olev süntaktiline struktuur, mille
moodustavad:
- fikseeritud tähestik A;
-
tähestiku A sõnade alamhulk
, mille elemente
nimetatakse valemiteks; - hulga V fikseeritud alamhulk,
mida nimetetatakse aksioomideks;
- fikseeritud arv hulga V
otseastmetel fikseeritud relatsioone, mida nimetatakse
tuletusreegliteks.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996