Godehard Link ist Professor für Logik und Wissenschaftstheorie an der Ludwig-Maximilians-Universität München, verantwortlicher Dozent für den Bereich Logik im Reformstudiengang MPhil und affiliiertes Mitglied des Centrums für Informations- und Sprachverarbeitung (CIS).
10 Ebook di Helmut Schwichtenberg
Godehard Link: One Hundred Years of Russell´s Paradox
The papers collected in this volume represent the main body of research arising from the International Munich Centenary Conference in 2001, which commemorated the discovery of the famous Russell Para …
PDF
Inglese
DRM
€260.00
Klaus Mainzer & Peter Michael Schuster: PROOF AND COMPUTATION
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope …
EPUB
Inglese
DRM
€87.99
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg & Stanley S. (University of Leeds) Wainer: Proofs and Computations
Driven by the question, ”What is the computational content of a (formal) proof?”, this book studies fundamental interactions between proof theory and computability. It provides a unique …
PDF
DRM
€89.88
Friedrich L. Bauer & Wilfried Brauer: Logic and Algebra of Specification
For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic. These newdevelopments in logic are partly based …
PDF
Inglese
DRM
€160.24
Ulrich Berger & Helmut Schwichtenberg: Computational Logic
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and …
PDF
Inglese
DRM
€162.79
Helmut Schwichtenberg: Logic of Computation
The Marktoberdorf Summer School 1995 ‘Logic of Computation’ was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. …
PDF
Inglese
DRM
€56.13
Helmut Schwichtenberg: Proof and Computation
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a …
PDF
Inglese
DRM
€111.86
Helmut Schwichtenberg & Ralf Steinbruggen: Proof and System-Reliability
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 …
PDF
Inglese
DRM
€55.67
Klaus Mainzer & Helmut Schwichtenberg: PROOF AND COMPUTATION II
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope …
EPUB
Inglese
DRM
€129.99
