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...

"Logik für Informatiker" von Uwe Schöning ist ein Lehrbuch, das sich mit den grundlegenden Konzepten der Logik und deren Anwendung in der Informatik beschäftigt. Das Buch bietet eine Einführung in die formalen Systeme der Aussagenlogik...

"Algorithmen - kurz gefasst" von Uwe Schöning bietet eine kompakte Einführung in die Welt der Algorithmen, die grundlegenden Bausteine der Informatik. Das Buch richtet sich sowohl an Studierende als auch an interessierte Laien, die ein...

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 kompakte Einführung in die Grundlagen der theoretischen Informatik. Das Buch behandelt zentrale Themen wie formale Sprachen, Automaten und Turingmaschinen sowie...

"Theoretische Informatik - kurzgefaßt" von Uwe Schöning bietet eine kompakte Einführung in die grundlegenden Konzepte der theoretischen Informatik. Das Buch behandelt zentrale Themen wie formale Sprachen, Automaten, Berechenbarkeit und...

"Perlen der Theoretischen Informatik" von Uwe Schöning ist ein Buch, das sich mit grundlegenden Konzepten und faszinierenden Themen der theoretischen Informatik beschäftigt. Es bietet eine Sammlung von wichtigen Ergebnissen und eleganten...

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...

"Theoretische Informatik - kurzgefasst" von Uwe Schöning bietet eine kompakte Einführung in die grundlegenden Konzepte der theoretischen Informatik. Das Buch behandelt zentrale Themen wie formale Sprachen, Automaten, Berechenbarkeit und...