Title: Mathematische Grundlagen der Informatik
Subjects: Informatique, Théorie des graphes, Preuve, Mathématiques, Théorie des ensembles, Logique mathématique, Algèbre de Boole