Die Theoretische Informatik beschäftigt sich unter anderem mit
formalen Sprachen,
Automatentheorie,
Berechenbarkeits-,
Komplexitätstheorie,
Kryptologie,
Logik (
Aussagen-,
Prädikatenlogik und
Logikprogrammierung),
formaler Semantik,
Informations-, Algorithmen-, Datenbank- und
Spieltheorie. Die theoretische
Informatik bietet Grundlagen für die
Definition, Prüfung und Ausführung der
Programme von
Programmiersprachen, den Bau der
Compiler von Programmiersprachen - dem
Compilerbau - und die
mathematische Formalisierung und Untersuchung von meist
diskreten Problemstellungen und deren
Modellen. Mit Hilfe mathematischer
Abstraktion der Eigenschaften von gewonnenen Modellen ergaben sich nützliche mathematische
Sätze,
Algorithmen, Anwendungen und Lösungen von Problemen. Die Theoretische Informatik bildet mit ihren zeitlosen, mathematischen Wahrheiten und Methoden ein formales Skelett, das die Informatik durchdringt.
Mehr unter Wikipedia.org...
Free Download Now!
