Pro Informatik:

Logik & Diskrete Strukturen (22.06.-17.07.2009)


 
 Dozenten: Frank Hoffmann, Klaus Kriegel

 Impressum

<Aktuell | Allgemein | Schein/Klausur | Termin/Tutorium | Uebungszettel >


Stand 16.06.2009: Bitte die Raumänderungen beachten! Leider sind auch diese nur vorläufig!
                                                                   

< Aktuell | Allgemein | Schein/Klausur | Termin/Tutorium | Uebungszettel >

Dieser vierwöchige Kompaktkurs besteht aus insgesamt 19 Vorlesungseinheiten (jeweils Mo-Fr, 9-12 Uhr) und dazugehörigen Tutorien am
Nachmittag (14-16 Uhr). Am letzten Freitag, also dem 17.07.2009 wird die Abschlussklausur geschrieben.
Inhaltlich wird der gesamte Stoff der entsprechenden Erstsemester-Veranstaltung abgedeckt.

Es gibt zwei Arten von Übungszetteln. Mo-Do werden nach den Vorlesungen Aufgaben ausgegeben, die am Nachmittag während des
Tutoriums gelöst und besprochen werden.
Am Freitag gibt es einen etwas größeren Wochenendzettel, der den Wocheninhalt der Vorlesung abdeckt und der bis Montag vor der
Vorlesung abgegeben werden muss. Dieser wird korrigiert und bewertet.
Die Übungszettel werden auch online erscheinen und zwar hier auf dieser Seite.

Zeitlich und inhaltlich bewegt sich die Vorlesung (mit Modifikationen) in diesem Rahmen.

Dort finden sich auch weiterführende Literaturhinweise. In der Bibliothek gibt es einen Handapparat zur Vorlesung,
in dem diese empfohlenen Bücher stehen.

Zusätzliches Material:  Brückenkurs  Naive Mengenlehre ,  Discrete Math for CS (MIT - Kurs)

Hier werden Vorlesungsmitschriften erscheinen: (nur FU-Netz) Wer schon ein bisschen vorarbeiten möchte wird auch hier fündig.
 
Vorlesungen 22.06.2009,  Thema: Boolesche Aussagenlogik: Grundbegriffe; Vom Booleschen Term zur Booleschen Funktion;
                                              provl01.pdf
Vorlesungen 23.06.2009: Thema: Boolesche Aussagenlogik: Von der Booleschen Funktion zum Booleschen Term
                                              provl02.pdf
Vorlesungen 24.06.2009: Thema: Gebrauch von Quantoren; Mengen und Operationen auf Mengen
                                              provl03.pdf
Vorlesungen 25.06.2009: Thema: Relationen, Operationen auf Relationen; Äquivalenzrelationen
                                              provl04.pdf
Vorlesungen 26.06.2009: Thema: Halbordnungsrelationen; Funktionen
                                             provl05.pdf
Vorlesungen 29.06.2009: Thema: Abzählbarkeit
                                             provl06.pdf
Vorlesungen 30.06.2009: Thema: Das Schubfachprinzip;  Grundsätzliche Beweismethoden
                                             provl07.pdf
Vorlesungen 01.07.2009: Thema: Vollständige Induktion
                                            provl08.pdf
Vorlesungen 02.07.2009: Thema: Abzählen, Teil 1
                                             provl09.pdf
Vorlesungen 03.07.2009: Thema: Abzählen , Teil 2 (Mengen- und Zahlpartitionen)
                                             provl10.pdf
Vorlesungen 06.07.2009: Thema: Die 12 Arten des Abzählens und ein Kartentrick
                                             provl11.pdf
Vorlesungen 07.07.2009: Thema: Diskrete Wahrscheinlichkeitsrechnung; Grundlagen
                                            provl12.pdf
Vorlesungen 08.07.2009: Thema: Diskrete Wahrscheinlichkeitsrechnung II; Erwartungswert, Spezielle Verteilungen
                                            provl13.pd
Vorlesungen 09.07.2009: Thema: Lineare Rekurionsgleichungen
                                            provl14.pdf
Vorlesungen 10.07.2009: Thema: Graphentheorie; Einführung und Grundlagen
                                            provl15.pdf
Vorlesungen 13.07.2009: Thema: Bäume und ihre Charakterisiernug; Breiten- und Tiefensuche
                                            provl16.pdf
Vorlesungen 14.07.2009: Thema: Resolutionskalkül I
                                            provl17.pdf
Vorlesungen 15.07.2009: Thema: Resolutionskalkül II; Prädikatenlogik I
                                           provl18-1.pdf     provl18-2.pdf

< Aktuell | Allgemein | Schein/Klausur | Termin/Tutorium | Uebungszettel >

 Es wird  eine 90-Minuten-Klausur am Ende des Kurses (voraussichtlich 17.07, 10-12 Uhr)  geben.

Für den Scheinerhalt muss

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

< Aktuell | Allgemein | Schein/Klausur | Termin/Tutorium | Uebungszettel

 Vorlesung:  jeweils  9-12 Uhr
                            Montag             SR 005, Inst.f. Informatik
                            Dienstag          HS B, Arnimallee 22
                            Mittwoch          SR 006, Inst.f. Informatik
                            Donnerstag     SR 006, Inst.f. Informatik
                            Freitag               HS A, Arnimallee 22

                                                      

Tutoren: Martin Götze (Gruppe 1), Daniel Werner (Gruppe 2)

Tutorien (jeweils 14-16 Uhr):

Gruppe1: Mo: SR 005, Di: SR 007/008 Pi-Gebäude, Mi: SR 007/008 Pi-Gebäude, Do: HS B Arnim 22, Fr: SR 046

Gruppe 2: Mo: HS Informatik, Di: neu: SR 053, Mi: SR 119 Arnim 3, Do SR 046, Fr: SR 051

Es gibt ein Diskussionsforum!


Sprechzeit der Dozenten: Mittwochs 13-14, Zi. 115 bzw. nach Vereinbarung

< Aktuell | Allgemein | Schein/Klausur | Termin/Tutorium | Uebungszettel >


Die Übungszettel werden jeden Tag hier verlinkt.

  1. Übungszettel: ueb01.pdf
  2. Übungszettel: ueb02.pdf
  3. Übungszettel: ueb03.pdf
  4. Übungszettel: ueb04.pdf
  5. Übungszettel: ueb05.pdf
  6. Übungszettel: ueb06.pdf
  7. Übungszettel: ueb07.pdf
  8. Übungszettel: ueb08.pdf
  9. Übungszettel: ueb09.pdf
10. Übungszettel: ueb10.pdf
11. Übungszettel: ueb11.pdf
12. Übungszettel: ueb12.pdf
13. Übungszettel: ueb13.pdf
14. Übungszettel: ueb14.pdf
15. Übungszettel: ueb15.pdf
16. Übungszettel: ueb16.pdf
17. Übungszettel: ueb17.pdf
18. Übungszettel: ueb18.pdf
19. Übungszettel: Alte Klausur


 
Übungszettel, die nach den angegebenen Terminen abgegeben werden, zählen als nicht bearbeitet!


Probleme mit der Webseite? (ausser Farbbeschwerden ;-) -> hoffmann[at]inf.fu-berlin.de