Informatik A

Vorlesung: Informatik A (V 19506)

Impressum

Wintersemester 2006/2007
Dozent Dr. Klaus Kriegel

Vorlesungstermine:
Mittwoch, Freitag 08:30-10:00 Uhr im grossen Hörsaal

Aktuelles

Stand   07.03.2007:

Ergebnisse der Nachklausur und Einsicht:
Die Korrektur der Nachklausur ist beendet. Da man für die vierte Aufgabe wahrscheinlich etwas mehr Zeit zum Nachdenken gebraucht hätte, wurde die Punktzahl zum Bestehen um zwei Punkte, also auf 14 Punkte abgesenkt.
Alle, die das entsprechende Kreuzchen gesetzt haben, finden ihr Nachklausurergebnis hier:
ergebnisse.htm
Als erster Termin zur Klausureinsicht ist der 18.04. von 11:30 bis 11:00 Uhr in Raum 134 geplant.

Die Nachklausur wird am 11.04.2007 von 12 bis 14 Uhr im Informatik-Hörsaal geschrieben.
Erlaubte Hilfsmittel wie in der Hauptklausur - die Zettel können in der Sprechstunde zurückgeholt werden.

Nach einigen technischen Schwierigkeiten können die Klausurergebnisse nun eingesehen werden (von allen, die das entsprechende Kreuzchen gemacht haben und nur über einen Uni-Account). Zum Bestehen waren 16 Punkte notwendig.
Punkte.pdf

Erster Termin zur Klausureinsicht ist am 21.02.07 vom 10:30 bis 12:00 Uhr in Raum 134.

Die Klausur wird am 16.02.2007 von 8 bis 10 Uhr geschrieben. Achtung: Wir beginnen schon um 8:15, man sollte also spätestens 8:10 Uhr am Platz sein.
Als Hilfmittel ist eine handschriftliche A4-Seite (einseitig!)
mit selbstgewählten Formeln und Fakten erlaubt.
Raumverteilung:
A - K    Hörsaal Informatik
L - R    SR 031, Pi-Gebäude
S - Z    SR 032, Pi-Gebäude

Die erste Vorlesung ist am 18.10.2006. Um allen Erstsemestlern die Teilnahme an der Immatrikulationsfeier zu ermöglichen, wird die Vorlesung auf eine Stunde verkürzt, d.h. Beginn um 8:30 Uhr und Ende spätestens 9:30 Uhr.

Inhalt der Vorlesung

Die Vorlesung dient als Einführung in die Informatik für Studierende mit dem Nebenfach Informatik.
Im Mittelpunkt stehen zunächst einige Grundbegriffe der Informatik (Information, Syntax, Semantik, formale Sprache) und mathematische Grundlagen (Aussagen, Boolesche Funktionen). Dann beschäftigen wir uns mit Algorithmen und dem Weg von der Problemstellung über die algorithmische Lösung bis zum Programm. Anhand zahlreicher Beispiele werden Grundprinzipien des Algorithmenentwurfs erläutert. Die Implementierung der Algorithmen wird verbunden mit der Einführung der funktionalen Programmiersprache Haskell (imperative und objektorientierte Programmiersprachen werden vorrangig in Informatik B behandelt). Im Weiteren werden die theoretischen, technischen und organisatorischen Grundlagen von Rechnersystemen vorgestellt. Dabei werden die Themen Binärdarstellung von Informationen im Rechner, Boolesche Funktionen und ihre Berechnung durch Schaltnetze, Schaltwerke für den Aufbau von Prozessoren und das von-Neumann-Rechnermodell behandelt.

Voraussetzungen: Die Teilnahme am Brückenkurs Informatik und am Brückenkurs Mathematische Grundlagen für Bioinformatiker und Nebenfach-Informatik wird dringend empfohlen.

Scheinkriterien

Die neuen Scheinkriterien setzen sich aus drei sogenannten Säulen zusammen:
1) Anwesenheit in mindestens 85% der Tutorien - ab November werden Anwesenheitslisten in den Tutorien geführt.
2) Aktive Teilnahme - wird durch Erreichen von mindestens 60% der Übungspunkte erbracht.
3) Klausur: Es gibt eine reguläre und eine Nachklausur. Zum Bestehen sind 50% der Punkte notwendig.
Die Scheinnote ergibt sich ausschließlich aus den in der Klausur erreichten Punkten.
Die Punkte 1) und 2) werden nicht mehr als Klausurzulassung angesehen.
Da man sich zukünftig die drei Säulen akkumulativ erarbeiten kann, werden Klausurzulassungen aus den letzten Jahren (soweit nachweisbar) anerkannt als Äquivalent für 1) und 2). Um die Nachweisbarkeit sollte man sich schon zu Beginn des Semesters kümmern. Die aktive Teilnahme an einem Tutorium wird aber auch in diesen Fällen dringend angeraten.

Informatik A-Forum

Das Forum dient als Diskussionsplattform. Es ist für Meinungen und Anregungen zur Vorlesung gedacht, sowie für Fragen zum Verständnis von Aufgabenstellungen. Die Tutoren und der Dozent werden bei Gelegenheit dringende Fragen oder solche, die von allgemeinem Interesse sind, gern beantworten. Vor allem sollten sich die Teilnehmer gegenseitig helfen, das aber, ohne schon halbfertige Lösungen ins Netz zu stellen - in diesem Fall müsste/n der/die Moderator/en eingreifen.

Tutorien

Die Anmeldung zur Vorlesung erfolgt über das KVV. Da einige der geplanten Tutoriumstermine noch verändert werden mussten und die Bestätigung der Räume noch aussteht, wird die Anmeldung zu den Tutorien voraussichtlich erst nach der ersten Vorlesung, am Mittwoch, den 18.10.06 um 15:00 Uhr freigegeben (die Teilnehmer an der Immatrikulationsfeier sollen nicht benachteiligt sein).
Auch diese Anmeldung erfolgt dann über die Seite im KVV.
Achtung: Die Vorlesung wird im KVV doppelt geführt wird als "Informatik A" und "Informatik A für Physiker". Die Anmeldung zu den Tutorien ist für alle nur über erste Veranstaltungsseite möglich.

Die Tutorien beginnen in der zweiten Vorlesungswoche.

Hier sind die vorausichlichen Termine:

David Karcher	MO	12-14	SR 07/08	Arnimallee 6
Benjamin Bortfeld	DI	16-18	SR 114	Arnimallee 6
Miao Wang	MI	10-12	SR 005	Arnimallee 3
Benjamin Bortfeld	MI	14-16	SR 210	Arnimallee 3
Miao Wang	MI	16-18	SR 053	Informatik
David Karcher	DO	10-12	SR 111	Arnimallee 6
Maurice Wolter	DO	16-18	SR 005	Arnimallee 3
Maurice Wolter	FR	12-14	SR 051	Informatik

Übungen

       u1.pdf       u1.ps
        u2.pdf    u2.ps
     u3.pdf    u3.ps
    u4.pdf          u4.ps
       u5.pdf    u5.ps
        u6.pdf        u6.ps
     u7.pdf    u7.ps
        u8.pdf u8.ps
        u9.pdf    u9.ps
        u10.pdf     u10.ps
        u11.pdf      u11.ps
      u12.pdf u12.ps
        u13.pdf    u13.ps
        u14.pdf    u14.ps

Probeklausur

Zur Klausurvorbereitung kann man sich die zwei Klausuren aus dem WS2004/05 ansehen. Zu beachten ist, dass nach neuer Prüfungsordnung der Themenumfang aus beiden Klausuren in diesem Semester auf eine Klausur konzentriert wird. Wer die Aufgaben als echte Probeklausur verwenden möchte, sollte sich die Aufgaben nicht vorher ansehen und versuchen, in je 90 Minuten alle Aufgaben einer Klausur ohne Hilfsmittel zu lösen.

klausur1.pdf klausur1.ps klausur2.pdf klausur2.ps

Skripte

Für einige Teilthemen gibt es fertige Ausarbeitungen, die zu gegebener Zeit hier zur Vefügung gestellt werden.

Vorlesung 08.11.2006:     resolution.pdf               resolution.ps
Vorlesung 24.11.2006:         primDatentypen.pdf     primDatentypen.ps
Vorlesung 29.11.2006:         fibonacci.pdf            fibonacci.ps
Vorlesung 08.12.2006:     o-notation.pdf                o-notation.ps

(hier kann man die wichtigsten Definitionen und Fakten zur O-Notation nachlesen.
Achtung: Das Skript ist etwas umfangreicher als der Vorlesungsstoff !)

Vorlesung 17/19.01.2007 fehlercodes.pdf fehlercodes.ps

Schaltungen aus den Vorlesungen am 31.01./02.02.2007
schaltungen.pdf schaltungen.ps

Linkliste

Hier kann der Interpreter Hugs für die eigene Verwendung heruntergeladen werden.

HUGS-DownloadSeite

UltraEdit (kommerziell) bietet sich als komfortabler Editor an, man kann zur Erstellung der Haskell-Skripte aber auch jeden anderen Editor benutzen. Die zweite Datei verwendet man, um Syntaxstrukturen farblich hervorzuheben.

UltraEDIT-DownloadSeite

Syntaxhighlighting

Als Alternative kann auch der Editor XEmacs benutzt werden, der Syntaxhighlighting für Haskell bereits als Standardinstallationspaket bereit hält.

XEmacs-DownloadSeite

Literaturempfehlung

AUTOR(EN)	TITEL	VERLAG	KOMMENTAR
S.Thompson	Haskell, The craft of functional programming	Addison-Wesley	Standardlektüre für Haskell
F. Rabhi, G. Lapalme	Algorithms, a functional programming approach	Addison-Wesley	alternative Standardlektüre für Haskell
M. Chakravarty, G. Keller	Einführung in die Programmierung mit Haskell	Pearson Studium	Alternative für alle, die ein deutschsprachiges Buch bevorzugen
M. Broy	Informatik: Eine grundlegende Einführung, Band 1	Springer-Verlag	Sehr umfangreiche Gesamtdarstellung aus der nur Teilaspekte behandelt werden.
W. Oberschelp, G. Vossen	Rechneraufbau und Rechnerstrukturen	Oldenburg Verlag	Sehr umfangreiche Gesamtdarstellung aus der nur Teilaspekte behandelt werden.
J.L. Hennessy, D.A. Patterson	Computer Organization and Design	Morgan Kaufmann Publ	Standard-Lektuere für den letzten Teil der Vorlesung, leider schon etwas veraltet.
Tanenbaum, Goodman	Computerarchitektur	Addison-Wesley	Standard-Lektuere für den letzten Teil der Vorlesung, aktuelles Buch.
C. Meinel, M. Mundhenk	Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen - Eine Einführung	Teubner	Guter Ergänzungsliteratur, insbesondere zu den mathematischen Aspekten.
J. Kelly	Logik im Klartext	Pearson Studium	Ergänzungsliteratur zur Logik, sehr elementar.

Die meisten Bücher sind im Handapparat der Bibliothek zu finden ...