Mathematical logic

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik.

Since the achievement of a fonnal definition of the concept of "e;algorithm"e;, the Mathematical Theory of Computation has developed into a broad and rich discipline.

This book grew out of lectures.

Dr.

Except for this preface, this study is completely self-contained.

There are two aspects to the theory of Boolean algebras; the algebraic and the set-theoretical.

The roots of Borel sets go back to the work of Baire [8].

"e;Kind of crude, but it works, boy, it works!

This book appeared about ten years ago in Gennan.

This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation.

Relational methods can be found at various places incomputer science, notably in data base theory, relationalsemantics of concurrency, relationaltype theory, analysisof rewriting systems, and modern programming languagedesign.

This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.

This is the second volume of a two volume collection on Structural Complexity.

Number theory as studied by the logician is the subject matter of the book.

Das Buch enthält 185 vollständige chronologisch geordnete Briefe Cantors aus den verschiedenen Perioden seines Lebens, von denen ein großer Teil erstmals veröffentlicht wird.

One of the important areas of contemporary combinatorics is Ramsey theory.

Feinberg präsentiert in seinem Buch neue Ideen über spezifische Züge und Funktionen von Kunst und Menschlichkeit, Wissenschaft und Technologie sowie ihre Rolle sowohl in der Vergangenheit als auch in der Zukunft.

Das vorliegende Buch besteht aus zwei Teilen.

Hypothesis formation is known as one of the branches of Artificial Intelligence, The general question of Artificial IntelligencE' ,"e;Can computers think?

In 1953 I realized that the straight line leads to the downfall of mankind.

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.

In the last 25 years, the fuzzy set theory has been applied in many disciplines such as operations research, management science, control theory, artificial intelligence/expert system, etc.

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 the last 25 years, the fuzzy set theory has been appliedin many disciplines such as operations research, managementscience, control theory,artificial intelligence/expertsystem, etc.

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.

This monograph is intended for an advanced undergraduate or graduate course as well as for researchers, who want a compilation of developments in this rapidly growing field of operations research.

Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine.

The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces.

The discipline of formal concept analysis (FCA) is concerned with the form- ization of concepts and conceptual thinking.

The higher in?

The book is a fairly complete and up-to-date survey of projectivity and its generalizations in the class of Boolean algebras.

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987.

This research monograph considers the subject of asymptotics from a nonstandard view point.

During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado.

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level.

The Set Theory and Applications meeting at York University, Ontario, featured both contributed talks and a series of invited lectures on topics central to set theory and to general topology.

Addressed to all readers with an interest in fractals, hyperspaces, fixed-point theory, tilings and nonstandard analysis, this book presents its subject in an original and accessible way complete with many figures.

The courses given at the 1st C.