next up previous contents
Next: Assotsiatiivne tehe (associative operator) Up: No Title Previous: Algebralise süsteemi kandja (carrier

Arvutus (calculus)

- formaalse teooria aluseks olev süntaktiline struktuur, mille moodustavad:



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996