Product Description: Diese kompakte Einführung in die Theoretische Informatik stellt die wichtigsten Modelle für zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt: Welche Probleme sind algorithmisch lösbar? (Theorie der Berechenbarkeit und Entscheidbarkeit) Wie schwierig ist es algorithmische Probleme zu lösen? (Theorie der Berechnungskomplexität, NP-Theorie) Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten) Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen) In der Erarbeitung dieser Themen wird der Abstraktionsprozeß von den realen Gegenständen der Informatik zu den in der Theoretischen Infromatik etabliertern Modellen, wie z...read more

Product Description: Diese Einführung in die Theoretische Informatik für das Grundstudium stellt Modelle für zentrale Probleme der Informatik vor: die Leistungsfähigkeit von Maschinen und Algorithmen (Random-Access-Maschinen, Pascal, Turingmaschinen und partiell-rekursive Funktionen, Entscheidbarkeit und Aufzählbarkeit), die Effizienz von Berechnungen (Zeitkomplexität, P-NP-Theorie), Aufbau und Wirkungsweise informationsverarbeitender Systeme (endliche Automaten und deren Realisierung durch Schaltkreise, reguläre Mengen) und die Struktur von Programmiersprachen (regelbasierte Grammatiken, Chomsky-Hierarchie, kontextfreie Sprachen)...read more

Product Description: This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted contributions chosen by the international program committee during a highly competitive reviewing process from a total of 234 submissions for 38 countries...read more

Product Description: This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet)...read more