public:theoretische_informatik
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende ÜberarbeitungLetzte ÜberarbeitungBeide Seiten der Revision | ||
public:theoretische_informatik [2014/08/29 13:19] – [Beispiele] wozniak | public:theoretische_informatik [2014/09/02 10:42] – [Beispiele] 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, | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | Teilgebiete der Informatik: | ||
+ | 1.1: Automatentheorie und formale Sprachen: Im Mittelpunkt stehen Wörter und formale Sprachen (Mengen von Wörtern). | ||
+ | Diese sind ein nützliches Abstraktionsmittel in der Informatik. Man kann z.B. die | ||
+ | Eingabe oder Ausgabe eines Programmes als Wort betrachten und die Menge der | ||
+ | syntaktisch korrekten Eingaben als Sprache. | ||
===== Beispiele ===== | ===== Beispiele ===== | ||
- | 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. | + | ==== 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. |
public/theoretische_informatik.txt · Zuletzt geändert: 2014/09/02 10:50 von yalcin