Der größte Stolperstein in den ersten Semestern eines Informatik- oder Ingenieurstudiums ist für viele Studienanfänger die Mathematik. Die zunächst ungewohnte mathematische Notation sowie die konsequente Art, eine Behauptung durch einen Beweis zu begründen, stellt sich oft wie ein Eintreten in eine neue, bisher nicht bekannte Welt dar. Hier will dieser Leitfaden helfen und die Studierenden während der ersten Semester begleiten. Die Darstellung orientiert sich an den Grundbedürfnissen der neuen Bachelor/Master-Studiengänge und schlägt eine Brücke quer über die eigentlichen Fachvorlesungen. Insbesondere soll es die Quervernetzung des Wissens – in Bezug auf spezifische Informatikthemen – erleichtern.
Mathe-Toolbox : Mathematische Notationen, Grundbegriffe und Beweismethoden
Uwe Schöning, Hans A. Kestler
bookThe Satisfiability Problem : Algorithms and Analyses
Uwe Schöning, Jacobo Torán
bookKryptologie-Kompendium : Mathematik für Anwendungen Band 2
Uwe Schöning
bookDas Erfüllbarkeitsproblem SAT : Algorithmen und Analysen
Uwe Schöning, Jacobo Torán
book