Helmut Schwichtenberg – författare
Visar alla böcker från författaren Helmut Schwichtenberg. Handla med fri frakt och snabb leverans.
21 produkter
Handbook of Constructive Mathematics
Av Douglas Bridges, Hajime Ishihara m. fl.
Inbunden, 2023
2589 kr
Lägg i varukorg
Constructive mathematics - mathematics in which 'there exists' always means 'we can construct' - is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of mathematics and to have …
Proofs and Computations
Av Helmut Schwichtenberg, Stanley S. Wainer
Inbunden, 2011
5,0 utav 5 stjärnor. Totalt antal röster: (1)
1078 kr
Lägg i varukorg
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 self-contained text for advanced students and researchers in mathematical logic and computer science. Part I …
Handbook of Constructive Mathematics
Av Helmut Schwichtenberg, Michael Rathjen m. fl.
E-bok, 2023
2575 kr
Lägg i varukorg
Proof and System-Reliability
Av Ralf Steinbruggen, Helmut Schwichtenberg m. fl.
Inbunden, 2002
1039 kr
Lägg i varukorg
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 …
Proof and System-Reliability
Av Helmut Schwichtenberg, Ralf Steinbrüggen
Häftad, 2002
550 kr
Lägg i varukorg
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 …
Computer Science Logic
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Av Helmut Schwichtenberg, Peter G. Clote
E-bok, 2003
1459 kr
Lägg i varukorg
Logic and Algebra of Specification
Av Friedrich L. Bauer, Wilfried Brauer m. fl.
Inbunden, 1993
1636 kr
Lägg i varukorg
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 on the use ofalgorithmic techniques in deduction and proving methods, butare alsodue to new …
Logic of Computation
Inbunden, 1997
901 kr
Lägg i varukorg
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving …
Computational Logic
Av Ulrich Berger, Helmut Schwichtenberg
Inbunden, 1999
1685 kr
Lägg i varukorg
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 model theory, are of great help here and will be used much more in future than previously. This book …
Computer Science Logic
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Av Peter G. Clote, Helmut Schwichtenberg
Häftad, 2000
1126 kr
Lägg i varukorg
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such annual conference, thus witnessing the importance and sustained international interest in the application of me- ods from mathematical logic to computer science. The current …
Logic and Algebra of Specification
Av Helmut Schwichtenberg, Wilfried Brauer m. fl.
E-bok, 2012
2111 kr
Lägg i varukorg
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 on the use ofalgorithmic techniques in deduction and proving methods, butare alsodue to new …
Computational Logic
Av Helmut Schwichtenberg, Ulrich Berger
E-bok, 2012
2174 kr
Lägg i varukorg
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 model theory, are of great help here and will be used much more in future than previously. This book …
Logic of Computation
E-bok, 2012
755 kr
Lägg i varukorg
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. Its scientific goal was to survey recent progress on the impact of logical methods in software …
Logic and Algebra of Specification
Av Friedrich L. Bauer, Wilfried Brauer m. fl.
Häftad, 2014
1636 kr
Lägg i varukorg
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 on the use ofalgorithmic techniques in deduction and proving methods, butare alsodue to new …
Computational Logic
Av Ulrich Berger, Helmut Schwichtenberg
Häftad, 2012
1685 kr
Lägg i varukorg
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 model theory, are of great help here and will be used much more in future than previously. This book …
Logic of Computation
Häftad, 2012
566 kr
Lägg i varukorg
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. Its scientific goal was to survey recent progress on the impact of logical methods in software …
Proof and Computation
E-bok, 2012
1502 kr
Lägg i varukorg
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 formal proof in various constructive systems can be viewed as a very explicit way to describe a …
Proof and Computation
Häftad, 2011
1126 kr
Lägg i varukorg
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 formal proof in various constructive systems can be viewed as a very explicit way to describe a …
Proof and System-Reliability
Av Ralf Steinbruggen, Helmut Schwichtenberg
E-bok, 2012
734 kr
Lägg i varukorg
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 …
PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION
Av Mainzer Klaus, Klaus Mainzer m. fl.
Inbunden, 2021
2041 kr
Lägg i varukorg
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 includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free …
PROOF AND COMPUTATION: DIGITIZATION IN MATHEMATICS, COMPUTER SCIENCE, AND PHILOSOPHY
Av Mainzer Klaus, Klaus Mainzer m. fl.
Inbunden, 2018
1556 kr
Lägg i varukorg
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 includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, …
