教学课件第十章代数语义学

- 抽象代数 只给出一抽象的A集合和(组合)算子{o}，以及在构造中某些必需满足的公理、定理。 抽象代数从更高的层次上研究构造子和承载子之间的关系，它不规定具体的值集和操作集，只给出