ProInformatik I
Logik und Diskrete Mathematik

Sommersemester 2012
Dozent: Romain Grunert
Zeitraum: 11.06.2012 bis 06.07.2012

Impressum

Aktuell Allgemein Schein/Klausur Termine Übungszettel

Aktuell

9.10.2012: Die Ergebnisse der Nachklausur hängen an der Pinnwand zwischen den Räumen 112 und 113 in der Takustr. 9 aus. Die Klausureinsicht findet am Donnerstag, dem 11. Oktober, von 16:15 bis 16:45 Uhr im Raum 134 in der Takustr. 9 statt.
13.7.2012: Die Nachklausur findet am 8. Oktober von 16 bis 18 Uhr im Hörsaal Informatik, Takustr. 9 statt. Bitte melden Sie sich im KVV an, wenn Sie an der Nachklausur teilnehmen möchten.
9.7.2012: Die Klausurergebnisse hängen an der Pinnwand zwischen den Räumen 112 und 113 in der Takustr. 9 aus. Die Klausureinsicht findet am Mittwoch, dem 11. Juli, von 12:00 bis 13:00 Uhr im Raum 134 in der Takustr. 9 statt.
27.6.2012: Noch ein Hinweis zur Anmeldung im KVV: Offenbar müssen die Einträge bei den Matrikelnummern alle verschieden sein. Als Lösung für Nicht-Immatrikulierte bietet es sich an, nach dem x noch eine selbst gewählte Ziffernfolge o. ä. einzugeben.
25.6.2012: Hinweis zur Anmeldung im KVV: Möglicherweise gelingt die Anmeldung zuverlässiger, wenn Sie sich zunächst ins KVV mit den Daten Ihres ZEDAT-/Fachbereichs-Account einloggen.
Für alle Teilnehmer, die Interesse an einem gedruckten Vorlesungsskript angemeldet haben, liegen jetzt Exemplare bei Frau Knoll im Sekretariat (T9 R 111) zur Abholung bereit.
24.6.2012: Bitte melden Sie sich bis zum 1.7. im Online-KVV zur Klausur an. Die Anmeldung ist für die Ausstellung eines Leistungsnachweises notwendig. Achten Sie daher auch auf die korrekte Eingabe Ihrer Daten in die Formularfelder und darauf, das Optionsfeld vor dem Klausurtermin zu markieren. Nicht Immatrikulierte können die Formularfelder Matrikelnummer mit xZufallsziffern, Fachsemester mit 0 und Studiengang mit Gasthörer ausfüllen. (Link zur Anmeldung im KVV, bitte wenden Sie sich bei technischen Problemen an den Dozenten)
18.6.2012: Die Vorlesungen am 19.6. und 26.6. finden in zwei Blöcke geteilt von 9:00 bis 10:00 Uhr in T9 SR 005 und von 10:00 bis 12:00 Uhr in A6 SR 025/026 statt.
13.6.2012: Die Vorlesungen an den Donnerstagen werden in den Seminarraum 006 in der Takustraße 9 verlegt.
11.6.2012: Die Vorlesungen am 12.6. und 3.7. werden in den Hörsaal des ZIB in der Takustraße 7 verlegt. Weitere Raumänderungen für die Vorlesungen dienstags und donnerstags werden folgen.
8.6.2012: Bitte beachten Sie die Zuordnung zu den Übungsgruppen:
Übungsgruppe A: Studieninteressierte, Nachnamen A–Kf
Übungsgruppe B: Studieninteressierte, Nachnamen Kg–Z
Übungsgruppe C: bereits an der FU immatrikulierte Studierende

Die Übungstermine der Gruppe C am 19.6. und 21.6 mussten in andere Räume verlegt werden.

Zusätzlich zu den Tutorien bieten wir Ihnen jeweils von 12:30 bis 14:00 Uhr Betreuung beim Bearbeiten der Übungsaufgaben an.

2.6.2012: Die Veranstaltungstermine sind veröffentlicht.
30.4.2012: vorläufige Version der Seite

Allgemein

Der Kompaktkurs Logik und Diskrete Mathematik findet im Rahmen des Projekts ProInformatik statt, das Studieninteressierten ein Informatikstudium zum Ausprobieren anbietet. Die Anmeldung zum Kurs erfolgt über die Webseite von ProInformatik, auf der weitere Informationen zum Projekt und den angebotenen Kursen verfügbar sind. Die Veranstaltung besteht aus 19 Vorlesungen vormittags und dazugehörigen Tutorien am Nachmittag. Begleitend dazu werden Übungszettel ausgegeben, deren Lösungen in den Tutorien besprochen werden. Am letzten Tag schließt die Veranstaltung mit einer Klausur ab.

Inhalt

Inhaltlich entspricht der Kurs Logik und Diskrete Mathematik dem gleichnamigen Erstsemestermodul. Eine Beschreibung des Moduls findet sich in der Studienordnung für den Bachelorstudiengang Informatik.

Themenübersicht

Literatur

In der Fachbereichsbibliothek gibt es einen Handapparat zur Vorlesung mit folgenden Büchern:

Darüber hinaus gibt es ein Vorlesungsskript (Link nur FU-intern erreichbar), das von Frank Hoffmann und Klaus Kriegel geschrieben wurde und den Leitfaden der Veranstaltung bildet.

Scheinkriterien und Klausur

Bedingungen für den Scheinerhalt sind:

Die Scheine sind benotet. Die Note beruht nur auf dem Klausurergebnis.

Für bereits immatrikulierte Studierende gelten die gleichen Kriterien. Insbesondere ist das Mitschreiben der Klausur für MafI-1-Wiederholer ohne regelmäßige und aktive Beteiligung nicht möglich. Vorher erworbene Teilleistungen nach dem Säulenmodell werden demnach nicht als Klausurzulassung anerkannt.

Am letzten Tag der Blockvorlesung wird die Abschlussklausur geschrieben. Bitte bringen Sie dafür Ihre Anmeldebestätigung bzw. Ihren Studentenausweis sowie einen Lichtbildausweis (Personalausweis oder Reisepass) und Schreibutensilien mit. Verwenden Sie keine Rot- oder Bleistifte. Taschenrechner u. ä. sind nicht erlaubt. Sie dürfen ein handbeschriebenes DIN-A4-Blatt mit selbst gewählten Notizen als Gedächtnisstütze verwenden.

Termine

Vorlesung

Die Vorlesungen finden vormittags von 9 bis 12 Uhr statt. Die erste Vorlesung am 11. Juni beginnt bereits um 8:30 Uhr mit einer kurzen Begrüßung. Die übrigen Vorlesungen beginnen pünktlich um 9:00 Uhr (also s. t.) und finden montags bis donnerstags im Seminarraum 005 in der Takustraße 9 und freitags im Hörsaal 001 in der Arnimallee 3 statt. Am 6. Juli, dem letzten Tag der Veranstaltung, wird von 9 bis 11 Uhr die Klausur geschrieben, voraussichtlich ebenfalls im Hörsaal 001 in der Arnimallee 3.

Montag 9:00–12:00 Takustraße 9, Seminarraum 005 am 11. Juni bereits ab 8:30
Dienstag 9:00–12:00 Takustraße 9, Seminarraum 005 am 12.6. und 3.7. in Takustr. 7 Hörsaal ZIB verlegt
am 19.6. und 26.6.: 9:00–10:00 in T9 SR 005 und 10:00–12:00 in A6 SR 025/026
Mittwoch 9:00–12:00 Takustraße 9, Seminarraum 005
Donnerstag 9:00–12:00 Takustraße 9, Seminarraum 005 wird verlegt nach Takustraße 9, Seminarraum 006
Freitag 9:00–12:00 Arnimallee 3, Hörsaal 001 am 6. Juli Klausur von 9 bis 11 Uhr

Übungen

Die Tutorien sind zweistündig und finden in drei Gruppen aufgeteilt am Nachmittag statt. Sie werden von den Tutoren Klemens Kapp und Paul Seiferth geleitet. Die Übungsgruppe C ist für bereits an der FU immatrikulierte Studierende vorgesehen. Alle übrigen Studieninteressierten teilen sich alphabetisch nach Nachnamen auf die Übungsgruppe A bei Nachnamen zwischen A und Kf und die Übungsgruppe B bei Nachnamen zwischen Kg und Z auf. Die folgenden Stundenpläne geben eine Übersicht über die Veranstaltungszeiten und -orte der jeweiligen Übungsgruppen. Für die Raumangabe werden dabei folgende Abkürzungen verwendet:

SR Seminarraum
A3 Arnimallee 3
A6 Arnimallee 6
T9 Takustraße 9
Übungsgruppe A
Studieninteressierte, Nachnamen A–Kf
Tutor: Klemens Kapp
11. Juni 12. Juni 13. Juni 14. Juni 15. Juni
14–16 Uhr A6 SR 031 A6 SR 025/026 T9 SR 053
16–18 Uhr A6 SR 032 A6 SR 032
18. Juni 19. Juni 20. Juni 21. Juni 22. Juni
14–16 Uhr T9 SR 049 A6 SR 032
16–18 Uhr T9 SR 055 T9 SR 055 T9 SR 053
25. Juni 26. Juni 27. Juni 28. Juni 29. Juni
14–16 Uhr A6 SR 031 A6 SR 025/026 T9 SR 053
16–18 Uhr A6 SR 032 A6 SR 032
2. Juli 3. Juli 4. Juli 5. Juli 6. Juli
14–16 Uhr T9 SR 049 A6 SR 032
16–18 Uhr T9 SR 055 T9 SR 055
Übungsgruppe B
Studieninteressierte, Nachnamen Kg–Z
Tutor: Paul Seiferth
11. Juni 12. Juni 13. Juni 14. Juni 15. Juni
14–16 Uhr T9 SR 053 A6 SR 025/026
16–18 Uhr T9 SR 051 T9 SR 053 T9 SR 051
18. Juni 19. Juni 20. Juni 21. Juni 22. Juni
14–16 Uhr T9 SR 053 A3 SR 005 A6 SR 025/026
16–18 Uhr T9 SR 051 T9 SR 051
25. Juni 26. Juni 27. Juni 28. Juni 29. Juni
14–16 Uhr T9 SR 053 A6 SR 025/026
16–18 Uhr T9 SR 051 T9 SR 053 T9 SR 051
2. Juli 3. Juli 4. Juli 5. Juli 6. Juli
14–16 Uhr T9 SR 053 A3 SR 005 A6 SR 025/026
16–18 Uhr T9 SR 051
Übungsgruppe C
bereits an der FU immatrikulierte Studierende
Tutor: Klemens Kapp
11. Juni 12. Juni 13. Juni 14. Juni 15. Juni
14–16 Uhr T9 SR 049 A6 SR 032
16–18 Uhr T9 SR 055 T9 SR 055 T9 SR 053
18. Juni 19. Juni 20. Juni 21. Juni 22. Juni
14–16 Uhr A6 SR 031 A6 SR 025/026 T9 SR 053
16–18 Uhr T9 SR 006 A3 SR 119
25. Juni 26. Juni 27. Juni 28. Juni 29. Juni
14–16 Uhr T9 SR 049 A6 SR 032
16–18 Uhr T9 SR 055 T9 SR 055 T9 SR 053
2. Juli 3. Juli 4. Juli 5. Juli 6. Juli
14–16 Uhr A6 SR 031 A6 SR 025/026
16–18 Uhr A6 SR 032 A6 SR 032

Betreuung beim Bearbeiten der Übungsaufgaben

Zusätzlich zu den Tutorien bieten wir Ihnen Betreuung beim Bearbeiten der Übungsaufgaben an. Im Rahmen dieser Betreuung können Sie nicht nur Rat zur Lösung der Aufgaben einholen, sondern auch Fragen zur Vorlesung klären oder Hilfe beim Benutzen der Institutsrechner erhalten. Jeweils von 12:30 bis 14:00 Uhr wird Paul Seiferth Ihnen in den unten angegebenen Räumen mit Rat und Tat zur Seite stehen.

Montag 12:30–14:00 A6 SR 009
Dienstag 12:30–14:00 A3 SR 005
Mittwoch 12:30–14:00 T9 K40
Donnerstag 12:30–14:00 A6 SR 009
Freitag 12:30–14:00 A6 SR 025/026

Übungszettel

Es gibt zwei Arten von Übungszetteln:

Übungszettel, die nach dem angegebenen Termin abgegeben werden, zählen als nicht bearbeitet.

Die Übungszettel werden jeden Tag hier auf dieser Seite erscheinen.

11.6.2012: Übungszettel 1
12.6.2012: Übungszettel 2
13.6.2012: Übungszettel 3
14.6.2012: Übungszettel 4
15.6.2012: Übungszettel 5
18.6.2012: Übungszettel 6
19.6.2012: Übungszettel 7
20.6.2012: Übungszettel 8
21.6.2012: Übungszettel 9
22.6.2012: Übungszettel 10
25.6.2012: Übungszettel 11
26.6.2012: Übungszettel 12
27.6.2012: Übungszettel 13
28.6.2012: Übungszettel 14
29.6.2012: Übungszettel 15
2.7.2012: Übungszettel 16
3.7.2012: Übungszettel 17
4.7.2012: Übungszettel 18
5.7.2012: Übungszettel 19 eine Klausur aus dem Jahr 2009 als Probeklausur