Buch, Englisch, Band 2283, 226 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 371 g
A Proof Assistant for Higher-Order Logic
Buch, Englisch, Band 2283, 226 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 371 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-43376-7
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
Weitere Infos & Material
Elementary Techniques.- 1. The Basics.- 2. Functional Programming in HOL.- 3. More Functional Programming.- 4. Presenting Theories.- Logic and Sets.- 5. The Rules of the Game.- 6. Sets, Functions, and Relations.- 7. Inductively Defined Sets.- Advanced Material.- 8. More about Types.- 9. Advanced Simplification, Recursion, and Induction.- 10. Case Study: Verifying a Security Protocol.