Next: Võre (lattice)
Up: No Title
Previous: Valemi konjunktiivne normaalkuju (conjunctive
- võimalus vahetult näidata indiviidi, mille korral valem on kehtestatav. Valemit realiseerivale indiviidile vahetu osutamise asemel võib realisatsiooni esitada ka konstruktsiooni (algoritmi) kaudu, mis viib soovitud realiseeriva indiviidini.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996