By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to...

Dieses Lehrbuch der Algorithmik stellt die grundlegenden Algorithmen dar und vermittelt die Prinzipien von Algorithmusanalyse und -entwurf. In einem einfuhrenden Kapitel werden die benotigten Grundbegriffe aus der Theoretischen Informatik, der Stochastik und der Komplexitatsanalyse bereitgestellt. Die folgenden Kapiteln behandeln die Gebiete Sortieren und Selektion, Hashing, Dynamisches Programmieren, Greedy-Algorithmen, Algorithmen auf Graphen, Optimiertes Suchen in Baumen, Datenkompression sowie algebraische Algorithmen, String Matching und Heuristiken. Im abschlieenden Kapitel werden die...

Der größte Stolperstein in den ersten Semestern eines Informatik- oder Ingenieur studiums 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...