|
|
Lehre/Prüfung
Personen Forschungsgruppen Projekte Berichte Veranstaltungen Stellenmarkt Kooperationen Kontakt AIFB Home |
Grundlagen der Informatik I
Die Vorlesung beschäftigt sich mit den Themen objektorientierte Modellierung, Logik (Aussagenlogik, Prädikatenlogik, Boolesche Algebra), Algorithmen und ihre Eigenschaften, Sortier- und Suchverfahren, Problemspezifikationen, dynamische Datenstrukturen Dozenten: Prof. Dr. Rudi Studer und Dr. York SureKlausur
Klausureinsicht war am Montag, 25.10.2004 in Raum 253. Die mündlichen Prüfungen werden ca. 5 Wochen nach der Klausureinsicht sein. Weitere Informationen http://www.aifb.uni-karlsruhe.de/StudiumUndPruefung/KlausurEinsichtTermine.html. Die aktualisierten Noten werden in ca. 14 Tagen im Netz aktualisiert.Termine
- 19.04.2004: Einleitung (Montag)
- 26.04.2004: Aussagenlogik (Montag)
- 27.04.2004: Aussagenlogik
- 04.05.2004: Prädikatenlogik
- 17.05.2004: Boolsche Algebra (Montag)
- 18.05.2004: Modellierung
- 01.06.2004: Einführung in Algorithmen
- 08.06.2004: Komplexität von Algorithmen
- 15.06.2004: Entwurfsmethoden für Algorithmen
- 22.06.2004: Sortierverfahren
- 29.06.2004: Dynamische Datenstrukturen
- 06.07.2004: Dynamische Datenstrukturen
- (keine Veranstaltung am 12.07.2004)
- 13.07.2004: Fragestunde. Download der korrigierten Folien als .ppt oder .pdf
- 26.07.2004: Klausur. Hinweise zur Anmeldung. Ergebnisse.
- Klausureinsicht ist am Montag, 25.10.2004. Details siehe oben.
Materialsammlung
Zur Vorbereitung auf die Klausur: Eine .zip-Datei (2,3 MB) mit:- Alle Übungsaufgaben mit Lösung als .pdf-Dateien
- Alle Kapitel als powerpoint-Dateien
- Update: Kap. 7, Folie 21, es muss "k.next = c.next" heissen statt "temp = k.next"
Vorlesung - aktuellste Folien nur im .zip-File oben
Beginn: 19.4.2004Ende: 13.7.2004
Dienstags (manchmal Montags, siehe oben), jeweils 15:45h bis 17:15h, Hörsaal am Forum (Audimax)
Skript
| Kapitel | PS (einseitig) | PS (vierseitig) | PDF (einseitig) | PDF (vierseitig) | |
| Kapitel 1: Einführung und Grundlagen | Kap1.ps.gz | Kap1-4in1.ps.gz | Kap1.pdf | Kap1-4in1.pdf | aktualisiert 10.05.04 |
| Kapitel 2: Logik | Kap2.ps.gz | Kap2-4in1.ps.gz | Kap2.pdf | Kap2-4in1.pdf | aktualisiert 11.05.04 |
| Kapitel 3: Modellierung (Notationsübersicht) | Kap3.ps.gz | Kap3-4in1.ps.gz | Kap3.pdf | Kap3-4in1.pdf | aktualisiert 08.06.04 |
| Kapitel 4: Algorithmen | Kap4.ps.gz | Kap4-4in1.ps.gz | Kap4.pdf | Kap4-4in1.pdf | aktualisiert 08.06.04 |
| Kapitel 5: Entwurfsmethoden für Algorithmen | Kap5.ps.gz | Kap5-4in1.ps.gz | Kap5.pdf | Kap5-4in1.pdf | aktualisiert 16.06.04 |
| Kapitel 6: Sortieralgorithmen | Kap6.ps.gz | Kap6-4in1.ps.gz | Kap6.pdf | Kap6-4in1.pdf | aktualisiert 21.06.04 |
| Kapitel 7: Dynamische Datenstrukturen | Kap7.ps.gz | Kap7-4in1.ps.gz | Kap7.pdf | Kap7-4in1.pdf | aktualisiert 28.06.04, Update: Kap. 7, Folie 21, es muss "k.next = c.next" heissen statt "temp = k.next" |
Übungsblätter
| Bearbeitet ab | Übungsblatt | PS | Lösung | |
| 03.5.2004 | Blatt 1 | Ueb1.ps.gz | Ueb1.pdf | Loes1.pdf (Enthält Aufgaben, Download geht jetzt) |
| 10.5.2004 | Blatt 2 | Ueb2.ps.gz | Ueb2.pdf | Loes2.pdf (Enthält Aufgaben) |
| 17.5.2004 | Fragewoche | |||
| 24.5.2004 | Blatt 3 | Ueb3.ps.gz | Ueb3.pdf | Loes3.pdf (Enthält Aufgaben) |
| 31.5.2004 | Blatt 4 | Ueb4.ps.gz | Ueb4.pdf | Loes4.pdf (Enthält Aufgaben) |
| 7.6.2004 | keine Übungen | |||
| 14.6.2004 | Blatt 5 | Ueb5.ps.gz | Ueb5.pdf | Loes5.pdf (Aufgaben und Lösungen separat, Downloads gehen jetzt) |
| 21.6.2004 | Blatt 6 | Ueb6.ps.gz | Ueb6.pdf | Loes6.pdf (Aufgaben und Lösungen separat) |
| 28.6.2004 | Blatt 7 | Ueb7.ps.gz | Ueb7.pdf | Loes7.pdf (Enthält Aufgaben) |
| 05.7.2004 | Blatt 8 | Ueb8.ps.gz | Ueb8.pdf | Loes8.pdf (Enthält Aufgaben, korrigierte Version 11.07.2004) |
| 12.7.2004 | Blatt 9 | Ueb9.ps.gz | Ueb9.pdf | Loes9.pdf (Enthält Aufgaben) |
Tutorien
Sollte aufgrund eines Feiertages eine Übungsgruppe ausfallen, bitten wir diejenigen Teilnehmer, das Tutorium 13 oder, falls dies nicht möglich ist, ein anderes Tutorium zu besuchen!.- Tutorium1: Montag, 09.45 - 11.15 (Raum 214)
- Tutorium2: Montag, 14.00 - 15.30 (Raum 214)
- Tutorium3: Montag, 17:30 - 19.00 (Raum 221)
- Tutorium4: Dienstag, 08.00 - 9.30 (Raum 221)
- Tutorium5: Dienstag, 17.30 - 19.00 (Raum 221)
- Tutorium6: Mittwoch, 09.45 - 11.15 (Raum 231)
- Tutorium7: Mittwoch, 14.00 - 15.30 (Raum 221)
- Tutorium8: Mittwoch, 15.45 - 17.15 (Raum 231)
- Tutorium9: Mittwoch, 17.30 - 19.00 (Raum 231)
- Tutorium10: Donnerstag, 08.00 - 09.30 (Raum 221)
- Tutorium11: Donnerstag, 09.45 - 11.15 (Raum 221)
- Tutorium12: Donnerstag, 17.30 - 19.00 (Raum 202)
- Tutorium13: Freitag, 08.00 - 09.30 (Raum 214)
- Tutorium14: Freitag, 09.45 - 11.15 (Raum 214)
- Tutorium15: Freitag, 11.30 - 13.00 (Raum 214)
Literatur
Wir empfehlen für die Vorlesung folgende Literatur. Es gibt mehrere Exemplare von jedem Buch in der Universitätsbibliothek. Falls alle Exemplare weg sein sollten, kann man einen Anschaffungsantrag bei der Universitätsbibliothek stellen.| Titel | Autoren | Jahr | Verlag | ISBN |
| Lehrbuch der Objektmodellierung. Analyse und Entwurf. | Heide Balzert | Juli 1999 | Spektrum Akademischer Verlag | 3827402859 |
| UML@work: Von der Analyse zur Realisierung | Martin Hitz, Gerti Kappel | 2. Auflage 2003 | dPunkt.Verlag | 3898641945 |
| Logik für Informatiker | Uwe Schöning | Januar 2000 | Spektrum Akademischer Verlag | 3827410053 |
| Problem - Algorithmus – Programm | Reinhard Richter, Peter Sander, Wolffried Stucky | 2. Auflage 1999 | Teubner | 3519129353 |
| Algorithmen und Datenstrukturen | Ottmann, Widmayer | Januar 2002 | Spektrum Akademischer Verlag | 3827410290 |
| Informatik (2 Bde) | Broy, Manfred | Dezember 2000 | Springer-Verlag | 3540632344 |
| Vorlesungen über Informatik, Band 2 "Objektorientiertes Programmieren und Algorithmen" | Goos, Gerhard | April 2001 | Springer-Verlag | 3540415114 |
Kontakt
- Philipp Cimiano, pci@x
- Max Völkel, mvo@x
- x = aifb.uni-karlsruhe.de
|
| © AIFB 2001-2012 |