Formale Logik im Dialog Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
39,99 €
inkl. gesetzl. MwSt.,
Lieferung nach Hause
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 dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice