Formale Logik im Dialog

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 si...