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

Theoretische Informatik kurzgefaßt von Schöning, Uwe

"Perlen der Theoretischen Informatik" von Uwe Schöning ist ein Buch, das sich mit den grundlegenden Konzepten und faszinierenden Ergebnissen der theoretischen Informatik beschäftigt. Es bietet einen umfassenden Überblick über zentrale...

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

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 grundlegendes Lehrbuch, das sich mit den logischen Prinzipien und Methoden beschäftigt, die in der Informatik Anwendung finden. Das Buch deckt wesentliche Themen der Logik ab, darunter...

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