• 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={Jos{\'e} 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… 

Figures from this paper

The Category of Categories as a Foundation for Mathematics

In the mathematical development of recent decades one sees clearly the rise of the conviction that the relevant properties of mathematical objects are those which can be stated in terms of their

Continuously Variable Sets; Algebraic Geometry = Geometric Logic

THE AXIOM OF CHOICE

We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show

Naïve set theory

Set theory is the most fundamental part of mathematics. The definition of almost any kind of mathematical object (a group, a ring, a vector space, a topological space, a Hilbert space...) begins: a

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

Termination Modulo Combinations of Equational Theories

This work proposes a modular termination proof method based on semantics- and termination-preserving transformations that can reduce the proof oftermination of rules R modulo E to an equivalent proof of termination of the transformed rules modulo a typically much simpler set B of axioms.

Toward a mathematical semantics for computer languages

The purpose of a mathematical semantics is to give a correct and meaningful correspondence between programs and mathematical entities in a way that is entirely independent of an implementation.

Membership algebra as a logical framework for equational specification

The paper presents the basic properties of the logic and its models, and discusses in detail how many total and partial equational specification formalisms can be represented in it, as well as the practical benefits in terms of tool reusability that this opens up for other languages, including CASL.

General Logics

Institutions: abstract model theory for specification and programming

This paper says that any institution such that signatures can be glued together, also allows gluing together theories (which are just collections of sentences over a fixed signature), and shows how to define institutions that allow sentences and constraints from two or more institutions.