Mathematik für Informatiker I (Logik & Diskrete Strukturen)


  Wintersemester 2006/07
 Dozent: Frank Hoffmann

 Impressum

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


Stand 26.01.: In der Woche vom 5.2.-9.2. werden zur Klausurvorbereitung zusätzlich 5 Konsultationen angeboten zu den Themen
                         Logik (Thilo), Mengen-Relationen-Funktionen (Regina), Kombinatorik (Hoffmann), Wkt.-Rechnung (Hanne), Graphen (Georgy).
                         Damit diese effizient gestaltet werden können, am besten  vorab mündlich/per email Fragen/Aufgaben/etc. , die nochmal besprochen
                         werden sollen, den jeweiligen Verantwortlichen mitgeteilen.
                         email in obiger Reihenfolge: {notz, rrichter, hoffmann,harderin,sklyar} [at] mi [dot]fu[minus]berlin[dot]de
                         Termine folgen.
Stand 01.02.: Die  Nachklausur (falls notwendig) findet voraussichtlich am 13.04. ,10 Uhr statt.
Stand 02.02.: Konsultationstermine: Hanne Mi 14-16, Thilo Mi 16-18, Regina Do 16-18, Georgy Fr 14-16, Hoffmann Fr 16-18
                         Alle Startzeiten c.t. , Treffpunkt jeweils vor Hörsaal, Bitte Fragen vorab schon stellen!   
Stand 16.02.: Zur Klausur am Montag sind mitzubringen: Studentenausweis+Ausweis mit Lichtbild,
                          Schreibzeug (kein Papier) , kein Taschenrechner und wer will eine DIN A4 Seite (nicht Blatt) mit handschriftlichen
                          Gedächtnisstützen (diese ist mit abzugeben).
                          Mitschreiben können alle, die sich zu Beginn des Semesters angemeldet haben. Wiederholer tragen zusätzlich
                          auf dem Klausurbogen das WS (+Name des Tutors) ein,  in dem sie letztmalig die aktive Teilnahme
                          am Tutorium bescheinigt bekamen.
                          Räume: HS Informatik, ZIB-Hörsaal, SR 005, SR 006  (+ SR 049 als Reserve), Namenszuordnung beachten!
                          Bitte bis 10.00Uhr Plätze einnehmen !  Klausurbeginn 10.15 Uhr !
Stand 21.02.: Die vorläufigen Klausurergebnisse finden diejenigen, die auf dem Klausurbogen explizit Ihre Zustimmung
                          gegeben haben, hier (nur FU-Netz).  Ansonsten Aushang neben Zi. 113
                          Klausureinsicht: 28.2., 14-16 Uhr. Zi 115
                          Notenschlüssel: >=16 Pkt. = 4,0 ; >=17,5 Pkt. =3,7 ;  >=19 Pkt. = 3,3 ; >=20,5 Pkt = 3,0 ; >= 22 Pkt = 2,7 ;
                                                          >= 24 Pkt = 2,3 ; >=26 Pkt = 2,0 ; >=28 Pkt. = 1,7 ; >= 30 Pkt. = 1,3 ; >=32 Pkt. =1,0     
Stand 05.03.: Auf mehrfachen Wunsch hier nochmal die Klausur und  ausführliche handschriftliche Lösungshinweise.
Stand 07.03.: Wegen diverser Überschneidungen mit anderen Nachklausuren findet die Nachklausur MafI I  erst am
                          Nachmittag des 16.04. statt, wahrscheinlich 16 Uhr. Raum wird noch bekannt gegeben.

Stand 12.04.: Nachklausur 16.04., 14 -16 Uhr, Hörsaal Informatik. ggf. auch SR 049
Stand 20.04.: Die Nachklausurergebnisse hängen aus, wegen techn. Probleme gibt es die  Liste im Netz erst
                          am Montag. Einzelergebnisse per email-Anfrage ( bis 20.04., 16.30 Uhr )   
Stand 23.04.: Hier sind die Nachklausurergebnisse  für diejenigen, die der Veröffentlichung im Netz zugestimmt haben.
                          Einsicht am Mi 25.4.,14-15 Uhr während der Sprechzeit.               

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


Hier geht es zum Diskussionsforum.

Die Übungszettel werden ausschließlich online erscheinen und zwar hier auf dieser Seite. Zeitlich und inhaltlich bewegt sich die Vorlesung
(mit Modifikationen) in diesem Rahmen.

Literatur:

siehe Seite im Online-KVV .

In der Bibliothek gibt es einen Handapparat zur Vorlesung, in dem diese empfohlenen Bücher stehen.

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

Vorlesungsmitschriften: (nur FU-Netz)
 
Vorlesung 17.10.2006,  Thema: Boolesche Aussagenlogik: Grundbegriffe, vl01.ps   vl01.pdf 
Vorlesung 19.10.2006,  Thema: Vom Booleschen Term zur Booleschen Funktion, vl02.ps   vl02.pdf   (update 23.10.) 
Vorlesung 24.10.2006,  Thema: Von der Booleschen Funktion zum Booleschen Term ,  vl03.ps   vl03.pdf 
Vorlesung 26.10.2006,  Thema: Aussageformen und der Gebrauch von Quantoren, vl04.ps  vl04.pdf
Vorlesung 31.10.2006,  Thema: Mengen, Operationen auf Mengen und Relationen,  vl05.ps  vl05.pdf
Vorlesung 02.11.2006,  Thema: Äquivalenzrelationen,  vl06.ps vl06.pdf
Vorlesung 07.11.2006,  Thema: Äquivalenzrelationen II, Halbordnungsrelationen,  vl07.ps vl07.pdf
Vorlesung 09.11.2006,  Thema: Halbordnungen II, Funktionen  vl08.ps vl08.pdf (update 13.11.)
Vorlesung 14.11.2006,  Thema: Abzählbare und überabzählbare Mengen, vl09.ps vl09.pdf
Vorlesung 16.11.2006,  Thema: Das Schubfachprinzip von Dirichlet, vl10.ps  vl10.pdf
Vorlesung 21.11.2006,  Thema: Mathematische Beweise, vollständige Induktion, vl11.ps  vl11.pdf
Vorlesung 23.11.2006,  Thema: Strukturelle Induktion; Grundlegende Abzählprinzipien, vl12.ps  vl12.pdf
Vorlesung 28.11.2006,  Thema: Binomialkoeffizienten, vl13.ps  vl13.pdf
Vorlesung 30.11.2006,  Thema: Mengenpartitionen, Zahlpartitionen, vl14.ps  vl14.pdf
Vorlesung 05.12.2006,  Thema: Doppeltes Abzählen, Abzählen-die Übersicht und ein Kartentrick, vl15.ps  vl15.pdf
Vorlesung 07.12.2006,  Thema: Wahrscheinlichkeitsrechnung, Einführung und Grundbegriffe I, vl16.ps vl16.pdf
Vorlesung 12.12.2006,  Thema: Bedingte Wahrscheinlichkeit, unabhängige Ereignisse, vl17.ps vl17.pdf
Vorlesung 14.12.2006,  Thema: Zufallsvariable, Erwartungswert, vl18.ps vl18.pdf
Vorlesung 19.12.2006,  Thema: Spezielle Verteilungen, Das Coupon-Collector-Problem, vl19.ps vl19.pdf
Vorlesung 21.12.2006,  Thema: Beispiele:Ein Random Walk und eine Randomisierte Strategie vl20.ps vl20.pdf
Vorlesung 09.01.2007,  Thema: Das Lösen linearer Rekursionsgleichungen vl21.ps vl21.pdf
Vorlesung 11.01.2007,  Thema: Graphentheorie, Einführung vl22.ps vl22.pdf
Vorlesung 16.01.2007,  Thema: Graphentheoretische Grundbegriffe; Bipartite Graphen vl23.ps vl23.pdf
Vorlesung 18.01.2007,  Thema:  Bäume und ihre Charakterisierung; Breitensuche vl24.ps  vl24.pdf
Vorlesung 23.01.2007,  Thema: Tiefensuche und Topologisches Sortieren vl25.ps  vl25.pdf
Vorlesung 25.01.2007,  Thema: Anwendungen DFS/BFS, das Minimum-Spanning-Tree-Problem vl26.ps  vl26.pdf
Vorlesung 30.01.2006,  Thema: Euler-Formel für planare Graphen; Maximales Matching vl27.ps  vl27.pdf
Vorlesung 02.02.2007,  Thema: Resolutionskalkül I , handschriftliches Skript (WS05/06): vl28.pdf
Vorlesung 06.02.2007,  Thema: Resolutionskalkül II, Hornklauseln,2-SAT; handschriftliches Skript (WS05/06): vl29.pdf
Vorlesung 08.02.2007,  Thema: Einführung Prädikatenlogik, Syntax: Induktiver Term- und Formelaufbau
Vorlesung 13.02.2007,  Thema: Semantik der Prädikatenlogik: Interpretation einer Formel in passender Struktur
Vorlesung 15.02.2007,  Thema: Erfüllbarkeit und -säquivalenz, Pränex- und Skolemform einer Formel, Ausblick Resolution


  

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

 Es wird  eine 90-Minuten-Klausur am Ende des Semesters (19.02., 10-12 Uhr) und eine Ersatzklausur am 16.04. nachmittags geben.

Für den Scheinerhalt muss

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

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

 Vorlesungen: Dienstag  8.30 Uhr bis 10.00 Uhr &
                            Donnerstag, 10.15 Uhr bis 11.45 Uhr  im Hörsaal Institut für Informatik

Tutoren: Regina Richter, Hanne Hardering, Thilo Notz, Georgy Sklyarenko

Tutorien (vorläufig, Stand 17.10.):

Gruppe D       Montag       8-10   Seminarraum 051     Hanne
Gruppe C       Montag    12-14   Seminarraum 051     Thilo
Gruppe A       Montag    14-16   Arnimallee 6, 007/8    Georgy
Gruppe B       Montag    14-16  Seminarraum 051      Regina
Wiederholer  Montag    14-16  Villa , SR 20                  Thilo
Gruppe F       Dienstag  10-12  Seminarraum 049      Regina
Gruppe E+G  Dienstag  12-14  Seminarraum 051      Hanne
Wiederholer  Dienstag  12-14  Seminarraum 049      Georgy

Sprechzeit des Dozenten: Mittwochs 14 - 16 , Zi. 115 bzw. nach Vereinbarung

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


Die Übungszettel werden jede Woche hier verlinkt. Sie werden ausschließlich online erscheinen. Die normale "Bearbeitungsdauer"  beträgt
Freitag (ca. 16 Uhr) bis zum Mittwoch (13 Uhr) der übernächsten Woche, also 12 Tage.

  1. Übungszettel: Ausgabe 20.10.2006, Abgabe 01.11.2006  uebung01.ps  uebung01.pdf 
  2. Übungszettel: Ausgabe 27.10.2006, Abgabe 08.11.2006  uebung02.ps  uebung02.pdf 
  3. Übungszettel: Ausgabe 03.11.2006, Abgabe 15.11.2006  uebung03.ps  uebung03.pdf 
  4. Übungszettel: Ausgabe 10.11.2006, Abgabe 22.11.2006  uebung04.ps  uebung04.pdf 
  5. Übungszettel: Ausgabe 17.11.2006, Abgabe 29.11.2006  uebung05.ps  uebung05.pdf 
  6. Übungszettel: Ausgabe 24.11.2006, Abgabe 06.12.2006  uebung06.ps  uebung06.pdf 
  7. Übungszettel: Ausgabe 01.12.2006, Abgabe 13.12.2006  uebung07.ps  uebung07.pdf 
  8. Übungszettel: Ausgabe 08.12.2006, Abgabe 20.12.2006  uebung08.ps  uebung08.pdf 
  9. Übungszettel: Ausgabe 15.12.2006, Abgabe 17.01.2007  uebung09.ps  uebung09.pdf 
10. Übungszettel: Ausgabe 19.12.2006, Abgabe 10.01.2007  uebung10.ps  uebung10.pdf 
11. Übungszettel: Ausgabe 12.01.2007, Abgabe 24.01.2007  uebung11.ps  uebung11.pdf 
12. Übungszettel: Ausgabe 19.01.2007, Abgabe 31.01.2007  uebung12.ps  uebung12.pdf 
13. Übungszettel: Ausgabe 26.01.2007, Abgabe 07.02.2007  uebung13.ps  uebung13.pdf 
14. Übungszettel: Ausgabe 02.02.2007, Abgabe 14.02.2007  uebung14.ps  uebung14.pdf 


 
Übungszettel, die nach 13:00 Uhr des angegebenen Termins abgegeben werden, zählen als nicht bearbeitet



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