Books and Software

More Books

Matroid Decomposition

Matroids, first defined in 1935, are an abstract generalization of graphs and matrices. By now, there is a large body of matroid theory. The book covers the part of the theory dealing with composition and decomposition of matroids.

The book is a revised version of the original publication of 1992. It does not assume any prior knowledge of matroid theory. Indeed, for the reader unfamiliar with matroid theory, the book may serve as an easy and intuitive introduction to that beautiful part of combinatorics. For the expert, the book is intended to provide a pleasant tour over familiar terrain.

Effective Logic Computation

The engineering advances started in the second half of the 20th century have created an avalanche of new technology. Control and use of that technology require, among many things, effective computational methods for logic.

This book proposes one such method. It makes use of a theory of logic computation based on matroid theory, in particular matroid decomposition. Main features of the theory are an extension of propositional logic, an analysis of logic formulas via combinatorial structures, and a construction of logic solution algorithms based on that analysis. The results have been implemented in a software system for logic programming called the Leibniz System.

Introduction to Wittgenstein’s Tractatus Logico-Philosophicus

In 1921, Ludwig Wittgenstein (1889-1951) published a landmark book in philosophy: the Tractatus Logico-Philosophicus, usually called just the Tractatus. It puts forth a profound theory — now called the picture theory — about the meaning of language. Simply put, the Tractatus aims to answer the question “What can be expressed by language?”

It is an understatement to say that the Tractatus is difficult to read and understand. Accordingly, numerous introductory books and commentaries have been written. These texts are important contributions in philosophy but also are quite complex, even when described as being introductory.

In contrast, this book brings out the fundamental ideas of the Tractatus in simple, everyday language, with all concepts and conclusions illustrated by numerous examples taken from the natural sciences.
This book is also available in German, see below.