Mathematical theory of computation

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

The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming.

This volume contains the proceedings of RTA-93, the fifthInternational Conference on Rewriting Techniques andApplications, held in Montreal, Canada, in June 1993.

My aim in this introductory text is to present a comprehensible discussion of certain technical topics and recent developments in color science that I believe are of real interest to artists and designers.

Symbolic asymptotics has recently undergone considerable theoretical development, especially in areas where power series are no longer an appropriate tool.

This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars.

This book is written for those who are interested in a fonnalization of human reasoning, especially in order to build "e;intelligent"e; computer systems.

The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, or deciding whether two points belong in the same connected component of a semi-algebraic set occur in many contexts.

The book is devoted to algorithmic low-dimensional topology.

Systems of polynomial equations arise throughout mathematics, science, and engineering.

One of the most important and successful theories in computational complex- ity is that of NP-completeness.

In the years 1994, 1995, two EIDMA mini courses on Computer Algebra were given at the Eindhoven University of Technology by, apart from ourselves, various invited lecturers.

This book is intended as a text for a course on cryptography with emphasis on algebraic methods.

This book focuses on an important topic in symbolic computation, namely methods for symbolic integration.

"e;Algorithmic information theory (AIT) is the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously"e;, says G.

Current issues and approaches in the reliability and safety analysis of dynamic process systems are the subject of this book.

As the role of the modern engineer is markedly different from that of even a decade ago, the theme of engineering mathematics educa- tion (EME) is an important one.

Over the past two decades, many advances have been made in the decision support system (DSS) field.

With the advent of powerful computing tools and numerous advances in math- ematics, computer science and cryptography, algorithmic number theory has become an important subject in its own right.

When I first participated in exploring theories of nonmonotonic reasoning in the late 1970s, I had no idea of the wealth of conceptual and mathematical results that would emerge from those halting first steps.

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

The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.

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

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024.

John Vince explains a comprehensive range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, special effects, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded seventh edition.

The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language.

Das Anliegen dieses Werkes unterscheidet sich von vielen anderen dadurch, daß die Informationstechnik nicht aus der Sicht der materiell-energetischen Realisierung, also nicht unter dem Aspekt der zur Verfügung stehenden physikalischen Effekte und der dabei auftretenden technischen Probleme behandelt wird.

An der Realisierung integrierter Informationssysteme sind verschiedene Partner aus Fachabteilungen und aus der Informatik sowie externe Berater und Hersteller beteiligt.

The creation and implementation of integrated information systems involves a variety of collaborators including people from specialist departments.

The purpose of the Catalogue of Artificial Intelligence Techniques is to promote interaction between members of the AI community.

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.

The purpose of this catalogue is to promote interaction between members of the AI community.

The computer programming language Prolog is quickly gaining popularity throughout the world.

The Fourth International "e;Nursing Informatics '91"e; Preconference sessions held in Melbourne Australia on the 12th and 13th April 1991 hosted by the Nursing Computer Group, Victoria Inc.

This book is dedicated to Aristid Lindenmayer on the occasion of his 60th birthday on November 17, 1985.

During the last few years, computers have evolved from pure number crunching machines to "e;intelligent"e; problem solving tools.

In computing science design plays an eminently important role.

This volume contains the full text of twenty ofthe twenty-one papers given at the Montreux 1990 International Chemical Information Conference in Mon- treux, Switzerland between 24 and 26 September 1990.

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

These are my lecture notes from CS381/481: Automata and Computability Theory, a one-semester senior-level course I have taught at Cornell Uni- versity for many years.