Automatisierte Logik by Kreitz, Christoph;

Eine ausfA?1?4hrlich motivierte EinfA?1?4hrung von der Aussagenlogik bis zur konstruktiven Typentheorie

15% KEDVEZMÉNY?
A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.

Kiadói listaár EUR 32.99
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.

12 885 Ft (12 272 Ft + 5% áfa)
Kedvezmény(ek) 12% (kb. 1 546 Ft)
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.

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.

Kategóriák

A matematika alapjai, matematikai logika Szoftverfejlesztés

Hosszú leírás:

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.

Több

Tartalomjegyzék:

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.