Bielefeld University - Faculty of Technology
Networks and Distributed Systems
Research group of Prof. Peter Bernard Ladkin, Ph.D.
Networks and Distributed Systems
Research group of Prof. Peter Bernard Ladkin, Ph.D.
This is an archived page and is no longer updated.
Please visit our current pages at https://rvs-bi.de
Prüfungsthemen: Technische und Theoretische Informatik
Prüfungsthemenliste
Technische und Theoretische Informatik
Peter B. Ladkin
ladkin@rvs.uni-bielefeld.de
22 Januar 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
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);
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, welche sie optimieren müssen. Ich gebe ein 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 allgemeineren Themen, z.B. Architektur eines vN-Rechners, frage ich auch nach Beispielen: nächster Befehl ist ein Get-von-Hauptspeicher. Wie wird er in der CPU behandelt? Was passiert in der CPU?
Termine
Nach Vereinbarung.
Back to top
Peter Ladkin, 2003-01-22