Mathematik für Informatiker I (Logik & Diskrete
Strukturen)
Wintersemester 2006/07
Dozent: Frank
Hoffmann
|
Impressum
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.
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
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
- man sich aktiv am Tutorium beteiligen (Teilnahme wird
protokolliert) und mindestens 50% der
bewerteten Übungsaufgaben auf jedem von wenigstens 10 der
voraussichtlich 13
Übungsblättern erfolgreich
bearbeiten. Dabei werden die zu bewertenden Aufgaben nach Abgabe
ausgelost.
- die Klausur mit 50% (neu: geändert auf 40
%) der
Punktzahl
bestehen
- man mindestens 2 seiner (richtigen) Lösungen an der Tafel
erklären.
Die Scheine sind benotet. Die Note beruht nur auf dem
Klausurergebnis.
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
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