next up previous contents
Next: Horni lause (Horn clause) Up: No Title Previous: Herbrand'i universum (Herbrand universe)

Homomorfism (homomorphism)

- homomorfne kujutus, homomorfne vastavus - algebralise süsteemi niisugune kujutus sama tüüpi süsteemi, mille korral säilivad vaadeldavad operatsioonid ja relastioonid.



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