Wyniki wyszukiwania:

Der Autor bietet eine umfassende Einfuhrung sowohl in die Automatentheorie und die Formalen Sprachen als auch in die Berechenbarkeits- und Komplexitatstheorie sowie in die Algorithmik. Der Verzicht auf die ubliche Trennung der "klassischen" Theoretischen Informatik von der Algorithmik macht es moglich, Automatentheorie und Formale Sprachen anwendungsorientiert aus der Sicht des Ubersetzerbaus einzufuhren. Gelernte Methoden der Algorithmik werden angewendet, damit effiziente Algorithmen zur Losung von Aufgaben der lexikalischen Analyse und der Syntaxanalyse entwickelt werden konnen. Ebenso...

Die Theoretische Informatik wird an deutschen Universitaten ublicherweise in zwei Blocken angeboten. Der Autor tragt diesem Umstand Rechnung und bietet in zwei Banden eine systematische und umfassende Einfuhrung in dieses Themengebiet an. Der vorliegende 2. Band behandelt gut verstandlich und anwendungsbezogen die Theorie "einfacher" Automaten und den mit diesen eng verknupften formalen Sprachen, die theoretische Berechenbarkeit von Funktionen, den Begriff der praktischen Berechenbarkeit, die Theorie der NP-Vollstandigkeit wie auch grundlegende Themen der Kryptographie. Zu den groten...

Der Autor bietet eine systematische Einfuhrung sowohl in grundlegende Datenstrukturen und Methoden fur die Entwicklung von Algorithmen als auch in den Entwurf von Algorithmen zur Losung von elementaren Problemen. Zahlreiche Ubungsaufgaben dienen der Selbstkontrolle. Aus dem Inhalt: Baume, Hashing, Union Find, Priority Queues, Graphdurchmusterungsmethoden, Divide-and-conquer, Dynamische Programmierung, Backtracking, Branch-and-Bound, Greedy-, Approximations-, Probabilistische Algorithmen, Matching, Starke Zusammenhangskomponenten, Kurzeste-Weg-Probleme, Minimale uberspannende Baume,...