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.
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.
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.
Hypothesis formation is known as one of the branches of Artificial Intelligence, The general question of Artificial IntelligencE' ,"e;Can computers think?
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.
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.
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.
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.
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field.
With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and ComputerScience.
Set Theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large cardinals and descriptive set theory.
