Automatisierte Logik
Eine ausfÃ1⁄4hrlich motivierte EinfÃ1⁄4hrung von der Aussagenlogik bis zur konstruktiven Typentheorie
-
GET 12% OFF
- Publisher's listprice EUR 32.99
-
12 885 Ft (12 272 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 1 546 Ft off)
- Discounted price 11 339 Ft (10 799 Ft + 5% VAT)
11 339 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Berlin Heidelberg
- Date of Publication 20 September 2026
- ISBN 9783662734100
- Binding Paperback
- No. of pages270 pages
- Size 235x155 mm
- Language German
- Illustrations XII, 270 S. 1 Abb. Mit Online-Extras. 700
Categories
Long description:
Softwareprodukte sind ein integraler Bestandteil unseres alltäglichen Lebens. Die Vielseitigkeit und Komplexität von Software führt aber zu großen Problemen bei ihrer Zuverlässigkeit, insbesondere beim Einsatz in sicherheitskritischen Bereichen. Um wichtige Eigenschaften von Software sicherzustellen, ist es erforderlich, Softwarekomponenten und -systeme mithilfe logisch-formaler Beweissysteme zu verifizieren oder sogar zu synthetisieren.
In diesem Buch werden die theoretischen Grundlagen derartiger Beweissysteme in umfassender Form dargestellt und ausführlich motiviert, so dass sich auch Leser mit geringen Vorkenntnissen einen Überblick über dieses komplexe Gebiet verschaffen können. Es eignet sich als Grundlage für eine entsprechende Lehrveranstaltung, ist aber auch für Spezialisten von Interesse, die sich selbständig in diese Thematik einarbeiten wollen.
MoreTable of Contents:
1. Einführung.- 2. Formale logische Kalküle.- 3. Der ð--€-Kalkül.- 4. Die einfache Typentheorie.- 5. Martin-Löf’s semantische Theorie.- 6. Formale Inferenz in der Typentheorie .- 7. Logik in der Typentheorie.- 8. Programmierung in der Typentheorie.- 9. Fortgeschrittene Konzepte der Typentheorie.- 10. Konstruktion interaktiver Beweisassistenten.- 11. Taktiken – programmierte Beweisführung.- 12. Entscheidungsprozeduren – automatische Beweisführung. 13. Rückblick und Ausblick.
More
