This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples...

"Logik für Informatiker" von Uwe Schöning ist ein Lehrbuch, das die Grundlagen der Logik und ihre Anwendung in der Informatik auf eine leicht verständliche Weise erklärt. Das Buch behandelt Themen wie Aussagenlogik, Prädikatenlogik,...

"Algorithmik" von Uwe Schöning ist ein grundlegendes Lehrbuch, das sich mit den Prinzipien und Methoden der Algorithmik befasst. Es bietet eine systematische Einführung in die Konstruktion und Analyse von Algorithmen, wobei sowohl...

Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der Theoretischen Informatik, wie sie meist nur an den Universitäten mit der ganzen dahinter steckenden Tiefe und Strukturtheorie gelehrt...

"Theoretische Informatik - kurz gefasst" von Uwe Schöning bietet eine prägnante und verständliche Einführung in die wesentlichen Konzepte der theoretischen Informatik. Das Buch deckt grundlegende Themen wie formale Sprachen, Automaten,...

Preliminaries.- Circuit-size complexity.- Probabilistic Algorithms.- Sparse sets.- The low and high hierarchies.- Oracles.

Dieses Lehrbuch der Algorithmik stellt die grundlegenden Algorithmen dar und vermittelt die Prinzipien von Algorithmusanalyse und -entwurf. In einem einführenden Kapitel werden die benötigten Grundbegriffe aus der Theoretischen...

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden....

"Algorithmen - kurz gefasst" von Uwe Schöning bietet eine kompakte Einführung in die Welt der Algorithmen. Das Buch behandelt grundlegende Konzepte und Techniken, die für das Verständnis und die Entwicklung von Algorithmen notwendig...

Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der Theoretischen Informatik, wie sie meist nur an den Universitäten mit der ganzen dahinter steckenden Tiefe und Strukturtheorie gelehrt...

"Theoretische Informatik - kurz gefasst" von Uwe Schöning bietet einen umfassenden Überblick über die grundlegenden Konzepte und Methoden der theoretischen Informatik. Es deckt Themen wie Automatentheorie, formale Sprachen,...

Theoretische Informatik kurzgefaßt von Schöning, Uwe