Mathematische Grundlagen der Informatik mathematisches Denken und Beweisen ; eine Einführung - Meinel, Christoph 1954-; Mundhenk, Martin 1961-2024 (Vieweg + Teubner, 2009)
Keywords: Beweis; Boolesche Algebra; Graphentheorie; Mathematische Logik; Mengenlehre; Informatik; Mathematik