Suchergebnisse

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

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

Das Kompendium – im Rahmen einer Vorlesung an der Universität Ulm entstanden – ist kein Vorlesungsskript im eigentlichen Sinne; das heißt, man findet hier nicht den Ablauf der Vorlesung chronologisch wiedergegeben. Vielmehr war es die Intention des Autors, in diesem Kompendium die wesentlichen Begriffe, ...

Das Kompendium – im Rahmen einer Vorlesung an der Universität Ulm entstanden – ist kein Vorlesungsskript im eigentlichen Sinne; das heißt, man findet hier nicht den Ablauf der Vorlesung chronologisch wiedergegeben. Vielmehr war es die Intention des Autors, in diesem Kompendium die wesentlichen Begriffe, ...

SAT (für satisfiability) ist der Name des bekanntesten NP-vollständigen Problems, des Erfüllbarkeitsproblems der Aussagenlogik. Gegeben ist hierbei eine Formel mit Boole’schen Variablen und Verknüpfungen und gesucht wird eine „Lösung“, also eine Wertezuweisung an die Variablen, so dass die Formel wahr ...

SAT (für satisfiability) ist der Name des bekanntesten NP-vollständigen Problems, des Erfüllbarkeitsproblems der Aussagenlogik. Gegeben ist hierbei eine Formel mit Boole’schen Variablen und Verknüpfungen und gesucht wird eine „Lösung“, also eine Wertezuweisung an die Variablen, so dass die Formel wahr ...

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 Informatik, der Stochastik und der Komplexitätsanalyse bereitgestellt.
Die ...

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 werden, werden hier für ein breiteres Publikum aufbereitet und verfügbar ...

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 werden, werden hier für ein breiteres Publikum aufbereitet und verfügbar ...

Dieses in der 5. Auflage vorliegende Standardwerk macht Sie in kompakter Form mit den wesentlichen Grundzügen der Theoretischen Informatik vertraut. Der erste und größte Teil behandelt Formale Sprachen, Grammatiken und Automaten. Prof. Schöning gelingt durch seinen ...