next up previous contents
Next: Kehtestatav valem (satisfiable formula) Up: No Title Previous: Intuitsionistlik loogika (intuitionistic logic)

Isomorfism (isomorphism)

- algebralise süsteemi niisugune üksühene kujutus sama tüüpi süsteemiks, mille korral säilib süsteemide struktuur, s.t. operatsioonid, järjestus, topoloogia jms.



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