Automatisierte Logik
Eine ausfÃ1⁄4hrlich motivierte EinfÃ1⁄4hrung von der Aussagenlogik bis zur konstruktiven Typentheorie
-
12% KEDVEZMÉNY?
- Kiadói listaár EUR 32.99
-
12 885 Ft (12 272 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 12% (cc. 1 546 Ft off)
- Kedvezményes ár 11 339 Ft (10 799 Ft + 5% áfa)
11 339 Ft
Beszerezhetőség
Még nem jelent meg, de rendelhető. A megjelenéstől számított néhány héten belül megérkezik.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadó Springer Berlin Heidelberg
- Megjelenés dátuma 2026. szeptember 20.
- ISBN 9783662734100
- Kötéstípus Puhakötés
- Terjedelem270 oldal
- Méret 235x155 mm
- Nyelv német
- Illusztrációk XII, 270 S. 1 Abb. Mit Online-Extras. 700
Kategóriák
Hosszú leírás:
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.
TöbbTartalomjegyzék:
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.
Több
