Prüfungsthemenliste Technische und Theoretische Informatik

Stand: 25. März 2003

Technische Informatik I

Zahlendarstellung
Bool'sche Logik und Algebra
Schaltwerke
Berechnungen über Schaltwerke mit Hilfe von Boole'scher Algebra
Schaltnetze
Optimierung von Schaltnetzen (Q-M, Karnaugh, Resolution)
Speicherelemente
Elektrische Realizierung von Gatten und Schaltwerke
Kodierungstheorie und Fehlertoleranz

Literatur

Mirco Hilbert, Skript zu Technische Informatik I [GZipped-PS | PDF ]
Tanenbaum und Goodman, Computerarchitektur, Pearson Studium/Prentice-Hall 2001. Englische Auflage: Structured Computer Organisation, Prentice-Hall, 1999
Die Technische Informatik I - Seite

Zusätzliche Literatur

Oberschelp/Vossen, Rechneraufbau und -strukturen, 6. Auflage, R. Oldenbourg-Verlag, 1994, Kapitel 1-5.

Technische Informatik II

Allgemeine von-Neumann Rechnerarchitektur
Operation einer CPU
Bus-Architecktur
Virtuelle Maschinen
Speichermanagement
Interrupts
Single- und Multitasking
Prozesse, Scheduling und Policies
Concurrency und ihre Probleme
Prozess-Beschreibung und Spezifikation
Mutex-Verfahren
Einführung in die Computernetze
Einführung in die System-Security

Literatur

Veröffentlichungen der RVS: RVS-LN-01; RVS-LN-05, RVS-LN-07;
Tanenbaum und Goodman, Computerarchitektur, Pearson Studium/Prentice-Hall 2001. Englische Auflage: Structured Computer Organisation, Prentice-Hall, 1999
Silberschatz/Galvin, Operating System Concepts, 4e Ausgabe, Addison-Wesley, 1994, Kapitel 1-8.
Oberschelp/Vossen, Rechneraufbau und -strukturen, 6. Auflage, R. Oldenbourg-Verlag, 1994,Kapitel 8 (vN-RArch, CPU);
Die Technische Informatik II - Seite

Zusätzliche Literatur

Tanenbaum, Betriebssysteme, Teil 1, Lehrbuch, Prentice-Hall/ Carl-Hanser-Verlag, 1990, Kapitel 1-3.

Theoretische Informatik

Chomsky-Hierarchie
Formale Sprachen (reguläre, kontextfreie, kontextsensitive, allgemeine Sprachen)
Endliche Automaten (deterministisch und nicht-deterministische Automaten)
Kellerautomaten
Turingmaschinen
Aussagenlogik (Hornformeln, Resolution)
Interpretation und Benutzung der Predikaten-Logik

Literatur

Wachsmuth, Skript zu Theoretische Informatik, TechFak Interner Bericht.

Zusätzliche Literatur

Veröffentlichungen der RVS: RVS-LN-03, die Teile über grundliegende `Datenstrukturen', Semantik und Hilbert'sche Systeme, aber *nicht* Naturliches Schließen oder Sequent-Kalkul.
Schöning, Logik für Informatiker, B.I. Wissenschaftsverlag.

Hinweise

Ich basiere meine Fragen bevorzugt auf Beispielen. Ich gebe z.B. eine Bool'sche Funktion vor, welche Sie dann optimieren müssen. Ich gebe eine Aussagenlogikformel, Sie müssen die Semantik erklären. Ich frage auch nach Beispielen: Sie erklären mir was für Scheduling-Algorithmen existieren und ich frage nach einer Anwendung, in der ein derartiger Scheduling-Algorithmus benutzt werden kann. Hier ist eine Sprache. Was für eine Sprache? Können Sie mir erklären, wie Sie diese Sprache klassifiziert haben und warum?

Für allgemeinere Themen, z.B. Architektur eines von-Neumann-Rechners, frage ich auch nach Beispielen: Welcher Befehl ist ein Get-von-Hauptspeicher. Wie wird er in der CPU behandelt? Was passiert in der CPU?

Termine

Nach Vereinbarung.