Handbook of Practical Logic and Automated Reasoning

ISBN-13: 9780521899574 / Angielski / Twarda / 2009 / 702 str.

John Harrison

Opis

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

Recenzje

'John Harrison … has written what clearly will be the book about automation in theorem proving. People often ask me whether they should buy this book. My answer … always is: yes, of course you should buy this book. It is a masterpiece.' Journal of Automated Reasoning

Spis treści

Preface; Ideological orientation; Acknowledgements; How to read this book; 1. Introduction; 2. Propositional logic; 3. First-order logic; 4. Equality; 5. Decidable problems; 6. Interactive theorem proving; 7. Limitations; Appendix 1. Mathematical background; Appendix 2. OCaml made light of; Appendix 3. Parsing and printing of formulas; References; Index.