public:theoretische_informatik
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
public:theoretische_informatik [2014/08/29 13:05] – [Worum geht es in der Theoretischen Informatik?] wozniak | public:theoretische_informatik [2014/09/02 10:50] (aktuell) – [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 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 |
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: | ||
+ | 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 korrekten Eingaben als Sprache. | ||
+ | |||
+ | 2: Berechenbarkeit und Komplexität: | ||
+ | und welche nicht. Außerdem wird auch untersucht, wie viel Zeit man braucht, um ein Problem bzw. eine Funktion zu berechnen. | ||
===== Beispiele ===== | ===== Beispiele ===== | ||
- | to be filled... | + | ==== 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.1409310346.txt.gz · Zuletzt geändert: 2014/08/29 13:05 von wozniak