Logic, mathematics, and computer science: modern foundations with practical applications

New York,: Springer. Edited by Yves Nievergelt (2015)
  Copy   BIBTEX

Abstract

Preface -- 1. Propositional logic : proofs from axioms and inference rules -- 2. First order logic : proofs with quantifiers -- 3. Set theory : proofs by detachment, contraposition, and contradiction -- 4. Mathematical induction : definitions and proofs by induction -- 5. Well-formed sets : proofs by transfinite induction with already well-ordered sets -- 6. The axiom of choice : proofs by transfinite induction -- 7. applications : Nobel-Prize winning applications of sets, functions, and relations -- 8. Solutions to some odd-numbered exercises.

Categories

Keywords

Reprint years

Call number

QA9.N5325 2015

ISBN(s)

9781493932221   1493932225   1493937138
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
Introductory Logic and Sets for Computer Scientists.Nimal Nissanke - 1999 - Addison Wesley Publishing Company.
Foundations of Computing: System Development with Set Theory and Logic.Thierry Scheurer - 1994 - Addison-Wesley Longman.
Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy.Petr Hájek & Jiří Zlatuška - 1996 - Bulletin of Symbolic Logic 2 (4):473-473.
Logic for Mathematics and Computer Science.Stanley Burris - 1998 - Upper Saddle River, N.J. : Prentice Hall.
A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
A first course in mathematical logic and set theory.Michael L. O'Leary - 2016 - Hoboken, New Jersey: Wiley.
Algebra and computer science.Delaram Kahrobaei, Bren Cavallo & David Garber (eds.) - 2016 - Providence, Rhode Island: American Mathematical Society.
Proceedings Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; Sponsored by the Computer Society of the Ieee Technical Committee on Mathematical Foundations of Computing in Cooperation with Acm Sigact, Association for Symbolic Logic, European Association for Theoretical Computer Science.Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science, Ieee Computer Society & Special Interest Group for Automata and Computability Theory - 1987
Logic and Its Applications.Edmund Burke & Eric Foxley - 1996
Introduction to proof through number theory.Bennett Chow - 2023 - Providence, Rhode Island, USA: American Mathematical Society.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
Mathematics, The Computer Revolution and the Real World.James Franklin - 1988 - Philosophica 42:79-92.
Computer Science Logic: 8th Workshop, Csl '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers.Leszek Pacholski & Jerzy Tiuryn - 1995 - Springer Verlag.

Analytics

Added to PP
2022-12-16

Downloads
7 (#1,378,468)

6 months
5 (#626,991)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references