Proseminar From NAND to Tetris

Betrachte den folgenden Code und überlege, was passiert, wenn er ausgeführt wird:

public class Printer {
    private String text;
    public Printer(String text) {
        this.text=text;
    }
    public void print() {
        System.out.println(text);
    }
    public static void main(String[] args) {
        Printer printer=new Printer("Hello World");
        printer.print();
    }
}

Wenn du dies ohne größere Schwierigkeiten geschafft hast, überlege nun, wie der Computer den Code ausführt. Was passiert in den Logikgattern, aus denen der Rechner aufgebaut ist? Und was geschieht mit dem Code auf dem Weg dort hin?

In den frühen Tagen der Informatik hatte jeder Programmierer eine Vorstellung davon hatte, wie sein Computer funktioniert. Heute sind die Systeme allerdings so komplex geworden, dass kaum eine einzelne Person sie vollständig durchblicken kann. Die in einem Rechner ablaufenden Prozesse sind hinter Schichten über Schichten an Abstraktionsebenen verborgen. Dies sorgt auch bei Fachleuten dafür, dass sich tragfähige Vorstellungen über die Funktionsweise von Computern nur schwer bilden können.

Im Proseminar werden wir das Buch The Elements of Computing Systems, Building a Modern Computer from First Principles von Nisan und Schocken nutzen, um die Verbindung zwischen Logikgattern, dem Betriebsystemebene und allen Ebenen dazwischen herzustellen. Dazu werden wir die im Buch beschriebene Hack-Plattform nachvollziehen und die verschiedenen Abstraktionsebenen entmystifizieren.

Die Studierenden…

• …erarbeiten selbstständig ein informatisches Themengebiet
• …bereiten den gelernten Stoff für einem Vortrag auf
• …bereiten eine Übungsaufgabe zum Stoff vor
• …präsentieren den aufbereiteten Stoff in einem Vortrag
• …formulieren den präsentierten Stoff in einer schriftlichen Ausarbeiteung aus

LAGB2009: Das Proseminar kann als Seminar für INF-ML-101 Nr.3 angerechnet werden. (siehe Infoseite zu Proseminaren)

Beachten Sie neben den allgemeinen Hinweisen zu Proseminaren, dass Grafiken nicht kopiert werden sollen. Wenn Sie eine Grafik abzeichnen, wird dies auch als Kopie angesehen. Falls Sie Ihre Grafik auf Basis einer anderen erstellen, sollte erkennbar sein, dass Sie sich eigene Gedanken gemacht haben.

Die Forschungswerkstatt bietet Unterstützung bei LaTeX-Fragen.

Zum Buch gibt es einen MOOC, der ggf. nützlich sein kann.

Die Studienleistung für das Seminar besteht darin, einen Vortrag zu einem Buchkapitel auszuarbeiten und zu halten. Die Modulprüfung ist die schriftliche Ausarbeitung

Alle Termine sind als letzte Fristen anzusehen. Es wird dringend empfohlen, deutlich vorher Kontakt aufzunehmen.

Bei Fragen oder Problemen kannst du jederzeit einen Termin per Mail vereinbaren. Kurzfragen können wir per Mail klären. Längere Themen z.B. in einer Videokonferenz.

Achtung: Falls dein Thema mehrfach besetzt ist, teile es selbstständig mit deinen Kommilitonen auf und besprecht dies rechtzeitig (deutlich vor der ersten Frist) mit der Seminarleitung!

Halte unbedingt folgende Fristen ein:

Der Vortrag sollte 20-25 Minuten umfassen und die Inhalte des von dir bearbeiteten Kapitels verständlich erklären. Im Idealfall erklärst du die Inhalte auf eine Weise, die leichter verständlich ist, als das Buch selbst.

Im Anschluss an der Vortrag klären wir zuerst Fragen, die offen geblieben sind. Anschließend bearbetien die Zuhörer eine kurze Aktivität zu den Vortragsthemen, die von dir vorbereitet wurde. Die Aktivität soll den Charakter einer Übungsaufgabe haben und in 5-10 Minuten bearbeitet werden können. Sie soll aufdecken, ob doch noch Unklarheiten bestehen und dafür sorgen, dass sich alle aktiv mit dem Stoff auseinandersetzen. Abschließend klären wir verbleibende Fragen, diskutieren die Themen und geben dir Feedback zu deinem Vortrag.

Die Ausarbeitung umfasst 6 Seiten Inhalt. Damit ist gemeint, dass nach dem entfernen von strukturierenden Inhalten (Deckblatt, Inhltsverzeichnis, sehr große Überschriften, etc.) 6 Seiten übrig bleiben sollten. Außerdem sind die Lösungen zu den Übungsaufgaben aus dem Buch mit abzugeben. Falls du nur einen Teil des Kapitels bearbeitest, gib auch nur die dafür relevanten Aufgaben ab.

Du kannst für die Ausarbeitung die Vorlage für Abschlussarbeiten der Fakultät für Informatik oder die von mir modifizierte Version benutzen.

Der Präsentationskurs findet extern statt

• Der Termin der Vorbesprechung wird noch bekannt gegeben
• Das Seminar findet Dienstags von 14 - 16 Uhr c.t. an den in der Tabelle unten angegebenen Tagen statt (Änderungen vorbehalten)

Das Seminar findet online statt. Der Einladungslink für die Teilnehmer wird per Email verteilt.

Der Ort, an dem wir uns Treffen wird noch bekannt gegeben. (Falls Präsenzlehre möglich ist Schullabor (OH12, Raum 3.030), sonst online)

[NS05] Nisan, Noam; Schocken, Shimon: The Elements of Computing Systems, Building a Modern Computer from First Principles. The MIT Press, 2005

Vom Buch stehen zwei Exemplare zur Verfügung. Es wird noch bekannt gegeben, ob eine Ausleihe möglich ist.