Formale Logik im Dialog Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
42,50 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
03.01.2026
Abbildungen
X, mit 35 Abbildungen, schwarz-weiss Illustrationen
Verlag
Springer BerlinSeitenzahl
214
Maße (L/B/H)
23,5/15,5/1,3 cm
Gewicht
347 g
Sprache
Deutsch
ISBN
978-3-662-72700-3
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice