Herausgeber:
Cambridge University Press
Erscheinungsdatum:
31.07.2015
One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
Autorentext
John Harrison is known as a writer and illustrator of children's picture books:Lucy Mouse Pie and Peas 1981Fergal Onions UQP 2004Wirbelwind und Saitentanz Schott 2010Fadge the Grooble e-books 2020In 2019, relishing a change of pace, he began writing his crime novel, Sonata for Flute and Electric Drill, now published by Ocean Reeve. From 1967 until 2005, John worked as a professional musician, playing clarinet and bass clarinet as a member of the Queensland Symphony Orchestra.He has been a resident of Launceston, Tasmania since 2016.
Zusammenfassung
A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).
Inhalt
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.
Leider konnten wir für diesen Artikel keine Preise ermitteln ...
billigbuch.ch sucht jetzt für Sie die besten Angebote ...
Die aktuellen Verkaufspreise von
6 Onlineshops werden
in Realtime abgefragt.
Sie können das gewünschte Produkt anschliessend direkt beim Anbieter Ihrer Wahl bestellen.
# |
Onlineshop |
Preis CHF |
Versand CHF |
Total CHF |
|
|
1 |
Seller |
0.00 |
0.00
|
0.00 |
|
|
Onlineshops ohne Resultate: