Abteilung Formale Konzepte

Universität Stuttgart
Institut für Formale Methoden der Informatik
Breitwiesenstr. 20/22
D-70565 Stuttgart
 Lageplan
Stadtplan
Abteilung
Institut
Fakultät
Universität

Vorlesung: Einführung in die Informatik I

Grundvorlesung

Folien - Übungsblätter und aktuelle Informationen - Schwarzes Brett

Prüfungsergebnisse Einf.i.d.Inf I+II Frühjahr 2003
Vorlesung4V+2Ü (+2PÜ, siehe Seite zum Programmierkurs)
Dozenten:Claus
Holub, Lewandowski, Schmid
Termine:Mo15:00 bis 16:30im V20.01Vorlesungab 14.10.
Do15:00 bis 16:30im V20.01Vorlesungab 17.10.
Mo16:45 bis 17:15im V20.01Programmierkurs-Vorlesungab 28.10.
Do8:30 bis 10:00im V20.01Stützkursab 24.10.
Übungen:Mo10:15 bis 11:45im 1.031, 1.034 Übungab 28.10.
Mo13:15 bis 14:45im 1.031, 1.034, 1.035Übungab 28.10.
Mo17:15 bis 18:45im 2.026, 1.034 Übungab 28.10.
Di13:15 bis 14:45im 1.031, 1.035, 2.026 Übungab 29.10.
Di15:00 bis 16:30im 1.031 Übungab 29.10.
Di16:45 bis 18:15im 1.026, 2.026 Übungab 29.10.
Mi15:00 bis 16:30im 1.040Übungab 30.10.
Do13:15 bis 14:45im 1.031 Übungab 31.10.

Beschreibung

Die detailierte Beschreibung (ps, pdf) wurde den Studenten ausgeteilt.

Voraussetzungen

Mathematische Grundkenntnisse aus den in den jeweiligen Studiengängen parallel laufenden Veranstaltungen; das Wichtigste wird in dieser Vorlesung wiederholt.

Ablauf der Vorlesung / Folien

14.10.0. Vorbemerkungen
    0.1 Zum Studium
    0.2 Hinweise zum Ablauf
    0.3 Formalismen		 Folien 1-33: (ps), (pdf)
1. Grundlagen der Programmierung
    1.1 Algorithmen und Sprachen		 Folien 1-55: (ps), (pdf) (6 auf 1: (ps), (pdf))
17.10.         1.1.1 Darstellung von Algorithmen
21.+24.         1.1.2 Grundlegende Datenbereiche Folien 56-96: (ps), (pdf) (6 auf 1: (ps), (pdf))
+28.10. Folien 97-128: (ps), (pdf) (6 auf 1: (ps), (pdf))
31.10.         1.1.3 Realisierte Abbildung Folien 129-150: (ps), (pdf) (6 auf 1: (ps), (pdf))
04.11.         1.1.4 (Künstliche) Sprachen Folien 151-165: (ps), (pdf) (6 auf 1: (ps), (pdf))
        1.1.5 Grammatiken Folien 166-208: (ps), (pdf) (6 auf 1: (ps), (pdf))
07.11.         1.1.6 BNF, Syntaxdiagramme Folien 209-242: (ps), (pdf) (6 auf 1: (ps), (pdf))
        1.1.7 Sprachen zur Beschreibung von Sprachen Folien 243-260: (ps), (pdf) (6 auf 1: (ps), (pdf))
11.11.         1.1.8 Historische Bemerkungen
        1.1.9 Übungsaufgaben		 Folien 261-282: (ps), (pdf) (6 auf 1: (ps), (pdf))
14.11.    1.2 Aussagen über Algorithmen
        1.2.1 Charakteristika von Algorithmen
        1.2.2 Grenzen der Algorithmen, Unentscheidbarkeit
        1.2.3 O-Notation
        1.2.4 Darstelllung durch Gleichungen		 Folien 1-48: (ps), (pdf) (6 auf 1: (ps), (pdf))
18.11.    1.3 Daten und ihre Strukturierung
        1.3.1 Elementare Datentypen		 Folien 1-31: (ps), (pdf) (6 auf 1: (ps), (pdf))
21.11.                    Einschub: Turingmaschinen Folien 1-7 (jpg): (1), (2), (3), (4), (5), (6), (7)
25/28.11.         1.3.1 (Fortsetzung) Folien 32-78: (ps), (pdf) (6 auf 1: (ps), (pdf))
02.12.         1.3.2 Konstruktoren (für Datenbereiche) Folien 55-100: (ps), (pdf) (6 auf 1: (ps), (pdf))
Folien 101-118: (ps), (pdf) (6 auf 1: (ps), (pdf))
05.12.         1.3.3 Relationen, Graphen, Referenzen Folien 119-169 (+8): (ps), (pdf) (6 auf 1: (ps), (pdf))
09.12.         1.3.4 Keller und Halde Folien 170-175: (ps), (pdf) (6 auf 1: (ps), (pdf))
12.12.    1.4/1.5 Programmierung (und die Sprache Ada 95)
        1.4.1 Blöcke, Deklarationen und Ausnahmen		 Folien 1-40: (ps), (pdf) (6 auf 1: (ps), (pdf))
16/19.12.         1.4.2 Prozeduren und Funktionen Folien 41-108: (ps), (pdf) (6 auf 1: (ps), (pdf))
09.01.         1.4.3 Moduln Folien 109-134: (ps), (pdf) (6 auf 1: (ps), (pdf))
13.01.         1.4.4 Polymorphie (Spezialfall: Generizität) Folien 135-156: (ps), (pdf) (6 auf 1: (ps), (pdf))
16.01.         1.4.5 Vererbung Folien 157-172: (ps), (pdf) (6 auf 1: (ps), (pdf))
20.01.         1.4.6 Abstrakte und konkrete Datentypen Folien 173-192: (ps), (pdf) (6 auf 1: (ps), (pdf))
23.01.         1.4.7 Objekte Folien 193-218: (ps), (pdf) (6 auf 1: (ps), (pdf))
27.01.     1.6 Komplexität von Algorithmen und Programmen
        1.6.1 Rechenmodell "Turingmaschine"		 Folien 1-52: (ps), (pdf) (6 auf 1: (ps), (pdf))
30.01.         1.6.2 Churchsche These
03.02.         1.6.3 Komplexitätsklassen
06/09.02.         1.6.4 Beispiele Folien 53-158: (ps), (pdf) (6 auf 1: (ps), (pdf))
13.02.         1.6.5 Andere Rechenmodelle
        1.6.6 Historisches

Übungsblätter

Blatt 15 wird nicht mehr korrigiert oder besprochen und ist nicht im eClaus System.

Das System eClaus wird zur Abgabe der Übungen verwendet. Ein kleines How-To finden Sie hier.

Die Tutoren sind ...

Die Gruppen 10, 14 und 15 wurden aufgelöst, die Gruppe 2 wird vorübergehend von Stefan Lewandowski übernommen. Bei Rückfragen zu den Korrekturen wenden Sie sich bitte an Ihren Tutor (bei den Gruppen 15 und 16 bitte an Sebastian Grottel (student@sgrottel.de)).

Sonstiges

Hinweise zu Ada z.B. auf der Seite zum Stützkurs oder einige Links, die von der Fachschaft zusammengestellt wurden.

Fragen zur Vorlesung und den Übungen, sowie Anregungen und Kritik können auf dem Schwarzen Brett diskutiert werden.

Impressum
Last modified: Mon Oct 22 16:42:51 CEST 2007