Dieses Buch bietet in dialogischer und unkonventioneller Form eine vertiefte Einfuhrung in die mathematische Logik mit einem besonderen Fokus auf die Anforderungen der modernen Softwaretechnik. Es behandelt zentrale Themen wie Aussagenlogik, Pradikatenlogik erster Stufe, modale Logiken sowie koalgebraische Logiken - stets mit Blick auf ihre Relevanz fur die Praxis.Die Softwaretechnik entwickelt sich zunehmend in Richtung formaler Methoden. Dieses Buch tragt 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 mochten, um robuste, nachvollziehbare und zukunftsfahige Softwarelosungen zu entwickeln.Ein besonderes Augenmerk liegt auf der wachsenden Bedeutung symbolischer Verfahren im Zusammenspiel mit sub-symbolischen Ansatzen, wie sie in aktuellen Entwicklungen der Kunstlichen Intelligenz sichtbar werden. Damit schlagt das Buch eine Brucke zwischen klassischer Logik und modernen Technologien - und eroffnet alternative Wege fur eine neue Generation von Informatiker*innen.
