Formale Logik im Dialog
Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt
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 ...