Domains and Processes

Domains and Processes

Author: Klaus Keimel

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 283

ISBN-13: 9401006547

DOWNLOAD EBOOK

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.


Proof and System-Reliability

Proof and System-Reliability

Author: Helmut Schwichtenberg

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 419

ISBN-13: 9401004137

DOWNLOAD EBOOK

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.


Non-Hausdorff Topology and Domain Theory

Non-Hausdorff Topology and Domain Theory

Author: Jean Goubault-Larrecq

Publisher: Cambridge University Press

Published: 2013-03-28

Total Pages: 499

ISBN-13: 1107034132

DOWNLOAD EBOOK

Introduces the basic concepts of topology with an emphasis on non-Hausdorff topology, which is crucial for theoretical computer science.


Mathematical Theory of Domains

Mathematical Theory of Domains

Author: V. Stoltenberg-Hansen

Publisher: Cambridge University Press

Published: 1994-09-22

Total Pages: 366

ISBN-13: 9780521383448

DOWNLOAD EBOOK

Introductory textbook/general reference in domain theory for professionals in computer science and logic.


Models of Sharing Graphs

Models of Sharing Graphs

Author: Masahito Hasegawa

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 139

ISBN-13: 1447108655

DOWNLOAD EBOOK

Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way. In particular, a novel account of recursive computation created from cyclic sharing is developed using this framework.


Practical Foundations of Mathematics

Practical Foundations of Mathematics

Author: Paul Taylor

Publisher: Cambridge University Press

Published: 1999-05-13

Total Pages: 590

ISBN-13: 9780521631075

DOWNLOAD EBOOK

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.


Logic from Russell to Church

Logic from Russell to Church

Author: Dov M. Gabbay

Publisher: Elsevier

Published: 2009-06-16

Total Pages: 1069

ISBN-13: 0080885470

DOWNLOAD EBOOK

This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.• The entire range of modal logic is covered• Serves as a singular contribution to the intellectual history of the 20th century• Contains the latest scholarly discoveries and interpretative insights