Formale Logik im Dialog
Springer Berlin (Verlag)
978-3-662-72700-3 (ISBN)
- Noch nicht erschienen - erscheint am 30.12.2025
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
Dieses Buch bietet in dialogischer und unkonventioneller Form eine vertiefte Einführung in die mathematische Logik mit einem besonderen Fokus auf die Anforderungen der modernen Softwaretechnik. Es behandelt zentrale Themen wie Aussagenlogik, Prädikatenlogik erster Stufe, modale Logiken sowie koalgebraische Logiken - stets mit Blick auf ihre Relevanz für die Praxis.
Die Softwaretechnik entwickelt sich zunehmend in Richtung formaler Methoden. Dieses Buch trägt dem Rechnung, indem es Studierenden und Praktiker*innen ein solides formales Fundament vermittelt. Es richtet sich an alle, die die theoretischen Grundlagen verstehen und anwenden möchten, um robuste, nachvollziehbare und zukunftsfähige Softwarelösungen zu entwickeln.
Ein besonderes Augenmerk liegt auf der wachsenden Bedeutung symbolischer Verfahren im Zusammenspiel mit sub-symbolischen Ansätzen, wie sie in aktuellen Entwicklungen der Künstlichen Intelligenz sichtbar werden. Damit schlägt das Buch eine Brücke zwischen klassischer Logik und modernen Technologien - und eröffnet alternative Wege für eine neue Generation von Informatiker*innen.
Prof. Dr. Ernst-Erich Doberkat studierte Mathematik und Philosophie in Bochum, promovierte in Mathematik und habilitierte in Informatik. Er war Professor in den USA, war dreißig Jahre Ordinarius für Praktische Informatik an deutschen Universitaten, lehrte dort Programmierung, Software Engineering und gelegentlich Mathematik. Er unterrichtete auch in Italien und in China und erhielt Rufe auf Lehrstühle u.a. in Dublin und Peking. Er lebt jetzt als Emeritus mit seiner Frau im unterfrankischen Schweinfurt.
Einleitung.- Aussagenlogik.- Prädikatenlogik erster Stufe.- Modale Logik.
| Erscheint lt. Verlag | 30.12.2025 |
|---|---|
| Zusatzinfo | X, 214 S. 35 Abb. |
| Verlagsort | Berlin |
| Sprache | deutsch |
| Maße | 155 x 235 mm |
| Themenwelt | Schulbuch / Wörterbuch ► Unterrichtsvorbereitung ► Unterrichts-Handreichungen |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | Koalgebraische Logik • Kripke-Modelle • Logik • Logik und Algebra • Modale Logiken • Nachbarschaftsmodelle • Relationale Methoden • Semantik der game logic • Semantische Modelle • Softwaretechnik |
| ISBN-10 | 3-662-72700-5 / 3662727005 |
| ISBN-13 | 978-3-662-72700-3 / 9783662727003 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
