软件形式化方法第2章数学基础.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Functions Classification of Mapping Isomorphism(同构) Functions as Sets Examples Examples Functions as Equations Evaluation of Equations Functions as Equations * * * 张三与文学以及哲学课有关系（选课关系），李四与艺术以及数学课有关系，王五与历史以及文学课有关系。张三与文学以及哲学课有关系（选课关系），李四与艺术以及数学课有关系，王五与历史以及文学课有关系。 张三与文学以及哲学课有关系（选课关系），李四与艺术以及数学课有关系，王五与历史以及文学课有关系。 * * * * 论域的构造符 (3) 序列论域(D*, ?)定义如下: D* = {d1, … , dn | n?0, di?Di , i=1, 2, ……}； 关系? ： ? , ? d1, … , dn , d1, … , dn ? d1’, … , dm ’ 当且仅当n=m 而且di