Lab for Automated Reasoning and Analysis LARA


This shows you the differences between two versions of the page.

Link to this comparison view

sav08:isomorphism [2009/02/25 10:14] (current)
vkuncak created
Line 1: Line 1:
 +====== Isomorphism ======
 +Isomorphism is a bijection between two collection of entities which preserves //​structure//​.
 +If the entities have no structure, isomorphism is simply a bijection.
 +If entities are graphs, we have graph isomorphism.
 +Many cases of isomorphism can be explained as 
 +  * isomorphism of algebraic structures (groups, fields, etc.)
 +  * more generally, isomorphisms of models of first-order logic formulas
sav08/isomorphism.txt · Last modified: 2009/02/25 10:14 by vkuncak
© EPFL 2018 - Legal notice