public:theoretische_informatik
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende ÜberarbeitungNächste ÜberarbeitungBeide Seiten der Revision | ||
public:theoretische_informatik [2014/09/01 15:15] – [Beispiele] wozniak | public:theoretische_informatik [2014/09/02 10:30] – [Worum geht es in der Theoretischen Informatik?] yalcin | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
====== Theoretische Informatik ====== | ====== Theoretische Informatik ====== | ||
- | * Formale Sprachen: Entwicklung künstlicher Sprachen zur eindeutigen formalen Beschreibung von Algorithmen sowie von Beschreibungsmitteln für die Syntax (Syntax einer Programmiersprache) dieser Sprachen; | ||
- | * Theorie der Programmierung: | ||
- | * Automatentheorie: | ||
- | * Algorithmentheorie: | ||
- | * Komplexitätstheorie: | ||
- | * Schaltwerktheorie: | ||
- | * Berechenbarkeitstheorie: | ||
- | |||
===== Worum geht es in der Theoretischen Informatik? ===== | ===== Worum geht es in der Theoretischen Informatik? ===== | ||
+ | | ||
In der Theoretischen Informatik geht es, wie der Name schon sagt, nur um Theorie. Mathematische und logische Vorgänge stehen im Vordergrund. Dieser Teilbereich der Informatik ist weitestgehend unabhängig von Computern und beschäftigt sich grundsätzlich mit der Frage „gibt es eine Möglichkeit, | In der Theoretischen Informatik geht es, wie der Name schon sagt, nur um Theorie. Mathematische und logische Vorgänge stehen im Vordergrund. Dieser Teilbereich der Informatik ist weitestgehend unabhängig von Computern und beschäftigt sich grundsätzlich mit der Frage „gibt es eine Möglichkeit, | ||
Die Theorie ist Grundlegend für die anderen Teilbereiche der Informatik. Sie ist zeitunabhängig, | Die Theorie ist Grundlegend für die anderen Teilbereiche der Informatik. Sie ist zeitunabhängig, | ||
+ | |||
+ | |||
+ | |||
+ | |||
===== Beispiele ===== | ===== Beispiele ===== | ||
==== Sicherheit der Verschlüsselungsverfahren ==== | ==== Sicherheit der Verschlüsselungsverfahren ==== | ||
Heutige Verschlüsselungsverfahren basieren auf der Annahme, dass das Multiplizieren zweier Zahlen deutlich einfacher ist, als aus dem Ergebnis die Ausgangszahlen zu ermitteln. Dies ist jedoch noch nicht bewiesen. Überall versucht man, den Beweis zu finden, dass diese Verfahren wirklich nicht schnell knackbar sind. Wenn jemand aber einen Weg findet, die Ausgangszahlen einfach zu ermitteln, wären alle Internetverbindungen ungesichert. | Heutige Verschlüsselungsverfahren basieren auf der Annahme, dass das Multiplizieren zweier Zahlen deutlich einfacher ist, als aus dem Ergebnis die Ausgangszahlen zu ermitteln. Dies ist jedoch noch nicht bewiesen. Überall versucht man, den Beweis zu finden, dass diese Verfahren wirklich nicht schnell knackbar sind. Wenn jemand aber einen Weg findet, die Ausgangszahlen einfach zu ermitteln, wären alle Internetverbindungen ungesichert. | ||
public/theoretische_informatik.txt · Zuletzt geändert: 2014/09/02 10:50 von yalcin