Kategoria BISAC: Mathematics >> Logic

This work is an introduction to the basic tools of the theory of (partially) ordered sets such as visualization via diagrams, subsets, homomorphisms, important order-theoretical constructions, and classes of ordered sets. Using a thematic approach, the author presents open or recently solved problems to motivate the development of constructions and investigations for new classes of ordered sets.

A wide range of material is presented, from classical results such as Dilworth's, Szpilrajn's and Hashimoto's Theorems to more recent results such as the Li--Milner Structure Theorem. Major...

The first volume of a pair that charts relation algebras from novice to expert level, this text offers a comprehensive grounding for readers new to the topic. Upon completing this introduction, mathematics students may delve into areas of active research by progressing to the second volume, Advanced Topics in Relation Algebras; computer scientists, philosophers, and beyond will be equipped to apply these tools in their own field.

The careful presentation establishes first the arithmetic of relation algebras, providing ample motivation and examples, then proceeds primarily on...

This book comprises five parts. The first three contain ten historical essays on important topics: number theory, calculus/analysis, and proof, respectively. Part four deals with several historically oriented courses, and Part five provides biographies of five mathematicians who played major roles in the historical events described in the first four parts of the work.
Each of the first three parts on number theory, calculus/analysis, and proof begins with a survey of the respective subject and is followed in more depth by specialized themes. Among the specialized themes are: Fermat as...

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.

In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language.  Such...