Ideen der Informatik - Grundlegende Modelle und Konzepte

Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der „Theoretischen Informatik",wie sie meist nur an den Universitäten mit der ganzen dahinter stehenden Tiefe und Strukturtheorie gelehrt werden, werden hier für ein breiteres Publikum aufbereitet und verfügbar gemacht.

Diese Inhalte gehören nicht nur in den akademischen Elfenbeinturm, sondern in die praktische Anwendung und Umsetzung, da sie viel Nützliches und Anwendbares, nämlich effektive Problemlösungs- und Modellierungsmethoden, zu bieten haben.

Durch die Vielzahl der Modelle und Konzepte (kurz: Ideen), die hier behandelt werden, wird der „große Zusammenhang" deutlich gemacht. Es soll durch dieses Buch nachgewiesen werden, dass ein Zugang zur Informatik über die formalen Methoden, die Grundideen und die Algorithmik auch Spaß machen kann.


Aus dem Inhalt:

• Algorithmik
• Graphen
• Formale Sprachen, Graammatiken und Automaten
• Berechenbarkeit und deren Grenzen
• Aussagenlogik und Boole´sche Schaltungen
• Prädikatenlogik und Programmverifikation
• Information, Codierung und Kryptologie

Themen:

• Informatik