Messungen an Quantenobjekten haben eine logische Struktur. Diese schließt die klassische Logik ein, geht jedoch weit darüber hinaus. Das wesentliche Ziel dieses Lehrbuchs ist es, die mathematischen Werkzeuge der Quantenlogik zu vermitteln und technische Anwendungsmöglichkeiten aufzuzeigen. Die dafür erforderlichen mathematischen Sachverhalte werden anhand von Beispielen so erläutert und motiviert, dass sie für angehende Ingenieure und Informatiker verständlich sind. Die vorliegende Auflage wurde korrigiert und um zahlreiche Anwendungen, zusätzliche Beispiele und Beweise erweitert sowie um ein neues Beispiel zur Mustererkennung ergänzt.