Das Neue an dieser Einführung in die Theoretische Informatik ist die konsequent algorithmenorientierte Sichtweise, d.h. eine Umsetzung in praktisch und theoretisch effiziente Algorithmen wird angestrebt. Auf diese Weise bietet das Buch eine Einführung in die zentralen Gebiete der Theoretischen Informatik, wie sie in einer Einführungsvorlesung an deutschen Universitäten vorgesehen ist.

Das Neue an dieser Einführung in die Theoretische Informatik ist die konsequent algorithmenorientierte Sichtweise, d.h. eine Umsetzung in praktisch und theoretisch effiziente Algorithmen wird angestrebt. Auf diese Weise bietet das Buch eine Einführung in die zentralen Gebiete der Theoretischen Informatik, wie sie in einer Einführungsvorlesung an deutschen Universitäten vorgesehen ist.

Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den Stoffumfang, der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept verfolgen das Ziel, einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch geprägten Themen zu schaffen. Theoretische Informatik muss nicht trocken sein. Sie kann Spaß machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt, wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne Informationstechnologie prägen.Das Buch behandelt die Themengebiete: Logik und Deduktion, Automatentheorie, formale Sprachen, Entscheidbarkeitstheorie, Berechenbarkeitstheorie und Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben komplettiert, so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch auch bestens zum Selbststudium eignet.

Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den Stoffumfang, der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept verfolgen das Ziel, einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch geprägten Themen zu schaffen. Theoretische Informatik muss nicht trocken sein. Sie kann Spaß machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt, wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne Informationstechnologie prägen.Das Buch behandelt die Themengebiete: Logik und Deduktion, Automatentheorie, formale Sprachen, Entscheidbarkeitstheorie, Berechenbarkeitstheorie und Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben komplettiert, so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch auch bestens zum Selbststudium eignet.

Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den Stoffumfang, der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept verfolgen das Ziel, einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch geprägten Themen zu schaffen. Theoretische Informatik muss nicht trocken sein. Sie kann Spaß machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt, wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne Informationstechnologie prägen. Das Buch behandelt die Themengebiete: Logik und Deduktion, Automatentheorie, formale Sprachen, Entscheidbarkeitstheorie, Berechenbarkeitstheorie und Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben komplettiert, so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch auch bestens zum Selbststudium eignet. In der 3. Auflage wurden Fehler behoben, alle Kapitel aktualisiert und teilweise ergänzt.

Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den Stoffumfang, der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept verfolgen das Ziel, einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch geprägten Themen zu schaffen. Theoretische Informatik muss nicht trocken sein. Sie kann Spaß machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt, wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne Informationstechnologie prägen. Das Buch behandelt die Themengebiete: Logik und Deduktion, Automatentheorie, formale Sprachen, Entscheidbarkeitstheorie, Berechenbarkeitstheorie und Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben komplettiert, so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch auch bestens zum Selbststudium eignet. In der 3. Auflage wurden Fehler behoben, alle Kapitel aktualisiert und teilweise ergänzt.

Diese Einführung in die Informatik konzentriert sich insbesondere auf die moderne objektorientierte Softwaretechnik. Die zentralen Konzepte von objektorientierten Programmiersprachen, nämlich Algorithmen und Datenstrukturen, werden dabei nicht nur abstrakt beschrieben und theoretisch begründet, sondern auch mittels UML und Java 2 konkret umgesetzt und intensiv eingeübt. Am Ende kennt der Leser neben dem klassischen auch den modernen objektorientierten Stoff der Informatik auf dem Niveau des ersten Studienjahres und beherrscht mit Java zudem eine Programmiersprache, die in der breiten Praxis von Wissenschaft und Wirtschaft vielfältige Anwendungen findet. Die Darstellung wird durch ergänzende Kapitel zu wesentlichen mathematischen Grundlagen und zur Hardware- und Software-Architektur von Computersystemen abgerundet. Ferner ist unter der URL www-sr.informatik.uni-tuebingen.de/InfoBuch eine Web-Seite zu diesem Buch eingerichtet worden.

Diese Einführung in die Informatik konzentriert sich insbesondere auf die moderne objektorientierte Softwaretechnik. Die zentralen Konzepte von objektorientierten Programmiersprachen, nämlich Algorithmen und Datenstrukturen, werden dabei nicht nur abstrakt beschrieben und theoretisch begründet, sondern auch mittels UML und Java 2 konkret umgesetzt und intensiv eingeübt. Am Ende kennt der Leser neben dem klassischen auch den modernen objektorientierten Stoff der Informatik auf dem Niveau des ersten Studienjahres und beherrscht mit Java zudem eine Programmiersprache, die in der breiten Praxis von Wissenschaft und Wirtschaft vielfältige Anwendungen findet. Die Darstellung wird durch ergänzende Kapitel zu wesentlichen mathematischen Grundlagen und zur Hardware- und Software-Architektur von Computersystemen abgerundet. Ferner ist unter der URL www-sr.informatik.uni-tuebingen.de/InfoBuch eine Web-Seite zu diesem Buch eingerichtet worden.

Dieses bestens eingeführte Lehrbuch wendet sich an Studierende der Informatik in Grund- und Hauptstudium. Die einzelnen Algorithmen werden theoretisch fundiert dargestellt; ihre Funktionsweise wird ausführlich anhand vieler Beispiele erläutert. Zusätzlich zur halbformalen Beschreibung werden wichtige Algorithmen in Java formuliert.Das Themenspektrum reicht von Algorithmen zum Suchen und Sortieren über Hashverfahren, Bäume, Manipulation von Mengen bis hin zu Geometrischen Algorithmen und Graphenalgorithmen. Dabei werden sowohl der Entwurf effizienter Algorithmen und Datenstrukturen als auch die Analyse ihres Verhaltens mittels mathematischer Methoden behandelt.Das Buch eignet sich zur Vorlesungsbegleitung, zum Selbststudium und zum Nachschlagen. Eine Vielzahl von Aufgaben dient der weiteren Vertiefung des Gelernten. Java-Programme für die wichtigsten Algorithmen und ergänzende Materialien zum Buch werden online bereitgestellt.