# Set Theory and Algebra in Computer Science A Gentle Introduction to Mathematical Modeling

@inproceedings{Meseguer2013SetTA, title={Set Theory and Algebra in Computer Science A Gentle Introduction to Mathematical Modeling}, author={J. Meseguer}, year={2013} }

Algebra greatly broadened the very notion of algebra in two ways. First, the traditional numerical domains such as Z, Q R, and C, were now seen as instances of more general concepts of equationally-defined algebraic structure, which did not depend on any particular representation for their elements, but only on abstract sets of elements, operations on such elements, and equational properties satisfied by such operations. In this way, the integers Z were seen as an instance of the ring algebraic… CONTINUE READING

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 47 REFERENCES

Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations

- Mathematics, Computer Science
- 1992

- 544

Conditioned Rewriting Logic as a United Model of Concurrency

- Mathematics, Computer Science
- 1992

- 1,112
- PDF

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931

- Mathematics
- 1967

- 954
- Highly Influential