Corpus ID: 69722375

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}
}
  • J. Meseguer
  • Published 2013
  • Computer Science
  • 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
    • 544
    Institutions: abstract model theory for specification and programming
    • 1,163
    • PDF
    Conditioned Rewriting Logic as a United Model of Concurrency
    • 1,112
    • PDF
    Continuously Variable Sets; Algebraic Geometry = Geometric Logic
    • 66
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
    • 954
    • Highly Influential
    Term rewriting and all that
    • 1,806
    • PDF
    Toward a mathematical semantics for computer languages
    • 522
    • PDF
    Membership algebra as a logical framework for equational specification
    • 451
    Introduction to Mathematical Philosophy
    • 1,038
    • PDF