Kategoria BISAC: Computers >> Computer Science

Es ist Prufungszeit, und Sie mussen es wissen. Und Sie werden es wissen - wenn Sie es wissen wollen.

Nutzen Sie den Prufungstrainer, so wie ein Eisbrecher den Helikopter benutzt: Um von einem guten Uberblick aus eine kraft- und zeitsparende Route zu finden. Dies vermeidet allzu schweres Eis und damit ein Festfahren. Man spart auf diese Weise, selbst wenn man auf schiere Kraft zuruckgreifen kann, Zeit und Energie.

Der Prufungstrainer fuhrt so nicht nur zum Ziel der bestandenen Prufung. Auch der Weg selbst wird wieder interessant.

Diese kompakte Einfuhrung in die Theoretische Informatik stellt die wichtigsten Modelle fur zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt:

Welche Probleme sind algorithmisch losbar? (Theorie der Berechenbarkeit und Entscheidbarkeit)

Wie schwierig ist es algorithmische Probleme zu losen? (Theorie der Berechnungskomplexitat, NP-Theorie)

Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten)

Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen)

Dieses Buch fuhrt in das junge, interdisziplinare Gebiet Computational Social Choice ein, das an der Schnittstelle zwischen der Informatik und den Politik- und Wirtschaftswissenschaften liegt. Ausgehend von der klassischen Spiel- und Social-Choice-Theorie werden die algorithmischen Eigenschaften von Spielen, Wahlen und Aufteilungsverfahren in leicht verstandlicher und dennoch exakter Form prasentiert.

Petri-Netze sind das meist beachtete und am besten untersuchte Modell fur nebenlaufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur uber Unmoglichkeiten, Moglichkeiten und die Komplexitat der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle fur die Beweise notwendigen Techniken und mathematischen Begriffe werden erlautert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der...

Gegenstand dieses Werkes sind die Theorie und Praxis der modernen funktionalen Programmierung. Dabei betrachten die Autoren aber nicht nur das, was mittels der heute implementierten Sprachen wie HASKELL, OPAL, ML usw. machbar ist, sondern weisen auch auf aktuelle Entwicklungen hin.

Zum einen werden fortgeschrittene Programmiertechniken vorgestellt, wie z.B. die Verwendung unendlicher Datenstrukturen, Parser als Funktionen hoherer Ordnung, Approximations-Algorithmen, Losung von Gleichungssystemen usw. Zum anderen werden aber auch Sprachkonzepte diskutiert, wie z.B. eine systematische...

Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst durch Rechenverfahren uberhaupt moglich wird. In diesem Buch, das in der englischen Originalausgabe schon lange ein Bestseller ist, gibt der Autor und sein Co-Autor umfassend und didaktisch geschickt Auskunft zu allen Fragen rund um das Thema Algorithmen, so z.B. zu Themen wie Berechenbarkeit, Korrektheit und Effizienz von Algorithmen, zu Programmiertechniken, und auch das aktuelle Thema Quantenrechnen wird behandelt. Das Buch kann als Grundlage eines einsemestrigen Einfuhrungskurses in die...

Das Buch beschaftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Satzen von Richard Buchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Worter, Baume, endliche und unendliche Baume. Jeder Teil endet mit Ubungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterfuhrende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

Mit dem modernen C11-Standard prasentiert sich die Sprache C als eine solide und sichere Sprache, welche die Konzepte robuster Programmentwicklung direkt unterstutzt und gleichzeitig dem Programmierer das volle Spektrum hardwarenaher Programmierung bietet. Basierend auf dem C90-Standard vermittelt dieses Buch die neu hinzugekommenen Konzepte von C99 und insbesondere C11, wobei sauber zwischen C90, C99 und C11 unterschieden wird.

Fur den Anfangsunterricht an Fachhochschulen und Gymnasien eignet sich dieses Lehrbuch insbesondere, da es einen leicht verstandlichen Zugang zu den...