Kurs:Algorithmen und Datenstrukturen/Vorlesung/Logische Algorithmen