Automatisierte Logik
Eine ausfA?1?4hrlich motivierte EinfA?1?4hrung von der Aussagenlogik bis zur konstruktiven Typentheorie
- 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)
Subcribe now and take benefit of a favourable price.
Subscribe
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 allta?glichen Lebens. Die Vielseitigkeit und Komplexita?t von Software fu?hrt aber zu gro?en Problemen bei ihrer Zuverla?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 ausfu?hrlich motiviert, so dass sich auch Leser mit geringen Vorkenntnissen einen U?berblick u?ber dieses komplexe Gebiet verschaffen ko?nnen. Es eignet sich als Grundlage fu?r eine entsprechende Lehrveranstaltung, ist aber auch fu?r Spezialisten von Interesse, die sich selbsta?ndig in diese Thematik einarbeiten wollen.
MoreTable of Contents:
1. Einfu?hrung.- 2. Formale logische Kalku?le.- 3. Der ????-Kalku?l.- 4. Die einfache Typentheorie.- 5. Martin-Lo?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 Beweisfu?hrung.- 12. Entscheidungsprozeduren ? automatische Beweisfu?hrung. 13. Ru?ckblick und Ausblick.
More
