Buch, Englisch, Band 2, 320 Seiten, Paperback, Format (B × H): 189 mm x 246 mm, Gewicht: 622 g
Interactive Proof with Cambridge Lcf
Buch, Englisch, Band 2, 320 Seiten, Paperback, Format (B × H): 189 mm x 246 mm, Gewicht: 622 g
Reihe: Cambridge Tracts in Theoretical Computer Science
ISBN: 978-0-521-39560-1
Verlag: Cambridge University Press
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Großrechner & Minicomputer
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
Part I. Preliminaries: 1. Survey and history of LCF; 2. Formal proof in first order logic; 3. A logic of computable functions; 4. Structural induction; Part II. Cambridge LCF: 5. Syntactic operators for PPL; 6. Theory structure; 7. Axioms and interference rules; 8. Tactics and tacticals; 9. Rewriting and simplification; 10. Sample proofs; Bibliography; Index.