Theoretische Informatik Eine problemorientierte Einfhrung [Paperback]

Das vorliegende Lehrbuch basiert auf einer vierst?ndigen Vorlesung mit dem Titel Grundlagen der Theoretischen Informatik . Die Autoren f?hren an exemplarischen Problemstellungen der Theoretischen Informatik deren L?sungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und L?sungshinweisen bzw. L?sungen.Das vorliegende Lehrbuch basiert auf einer vierst?ndigen Vorlesung mit dem Titel Grundlagen der Theoretischen Informatik . Die Autoren f?hren an exemplarischen Problemstellungen der Theoretischen Informatik deren L?sungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und L?sungshinweisen bzw. L?sungen.1 Einleitung ; der rote Faden.- 2 Notationen.- 2.1 Bezeichnungen.- 2.2 Kalk?le.- 3 Semantik von Programmiersprachen  Spezifizieren, Implementieren, Verifizieren.- 3.1 Datenstrukturen.- 3.2 Pr?dikatenlogik als Spezifikationssprache.- 3.3 Programme.- 3.4 Programmverifikation.- 3.5 Rekursive Programme.- 4 Berechenbarkeitstheorie  auf den Punkt gebracht.- 4.1 Primitiv rekursive Funktionen.- 4.2 ?-rekursive Funktionen.- 4.3 Universalit?t der ?-rekursiven Funktionen.- 4.4 Arithmetisierung der Semantik rekursiver Programme.- 4.5 Grundz?ge der Rekursionstheorie.- 4.6 Die Churchsche These.- 4.7 Berechenbarkeit auf Zeichenreihen.- 4.8 Komplexit?tsma?e.- 5 Komplexit?tstheorie  das Wichtigste f?r den praktischen Informatiker.- 5.1 Problemtypen.- 5.2 NP-Theorie.- 5.3 Ausblick auf weitere Komplexit?tsklassen.- 6 Chomsky-Hierarchie  nur ein kurzer Seitenblick.- 6.1 Grammatiken und Automaten.- 6.2 Chomsky-3: Regul?re Sprachen und endliche Automaten.- 6.3 Chomsky-2: Konl³ê