Mathematik für Informatiker I
(Logik & Diskrete
Strukturen)
Wintersemester 2011/2012
Dozent: Frank
Hoffmann
|
Impressum
Stand 12.09. : Wie
jedes Jahr gibt es diverse Probleme mit den Anmeldungen. Anfang Oktober
werden entsprechend
der
tatsächlichen
Anfängerzahl
weitere
Plätze
freigeschaltet,
bei
denen
die
regulären
Tutorien
für
die
Seminargruppen
mit
anderen
Teilnehmern,
die
sich
bisher
nur
beim
Sonntagstermin
eintragen konnten, "aufgefüllt" werden auf
vorraussichtlich max. 32 Teilnehmer pro Tutorium.
Studienanfänger
melden
sich
zunächst
in
den
Seminargruppen
an!!!
und
zwar
nur
dort.
Die Studienanfänger, die
bisher beim Sonntagstermin
stehen, sollten sich also dort abmelden.
Der
Sonntagstermin
ist
eigentlich
gedacht
für
diejenigen
Wiederholer,
die
nur
die
Klausur
nachschreiben
wollen.
Stand 05.10.: Wegen der sehr zögerlichen Anmeldung der Studienanfänger
verschiebt sich die Freischaltung der
restlichen
Tutorienplätze
und
ggf.
die
Einrichtung
weiterer
Tutorien
auf
voraussichtlich
den
12.10.
Stand 12.10.: Es wurden Anmeldungen freigeschaltet für Mo 12-14, Mi
16-18 und Do 12-14. Es folgen noch weitere
Plätze
zum
Auffüllen
der
Seminargruppen
B,
F
und
G.
Dies
voraussichtlich
am
14.10.
Nochmal:
Wer
bei
den
Seminargruppen
schon
angemeldet
ist
braucht
nichts
tun.
Der
Termin
für
Seminargruppe
C
wurde
von
Mo
14-16
auf
Mo
12-14
verlegt.
Klausurtermin:
22.02.2012,
10-12
Stand 14.10.: In den Seminargruppen B,F,G wurden jeweils 6 Plätze für
andere Teilnehmer freigeschaltet,
Anmeldung
über
MafI-I-KVV-Seite.
Stand 17.10.: Aus verschiedenen Gründen ist der Tutoriumstermin Mo
12-14 mit bisher 43 Teilnehmern
hoffnungslos
überfüllt.
Der
Raum
fasst
nur
32
Teilnehmer!
Also
bitte
nach
Möglichkeit
im
eigenen
Interesse
ummelden,
als
Notlösung
bliebe
ansonsten
nur
ein
Losverfahren.
Genaueres
in
der
1.
Vl
morgen
18.10.,
ab
8.30
Uhr!
Stand 18.10.: Bei den Seminargruppen A,D,E wurden jeweils 6 Plätze für
andere Teilnehmer freigeschaltet,
Anmeldung
über
MafI-I-KVV-Seite.
Das
online-Forum
ist
eingerichtet,
siehe
unten.
Stand 13.01.: Jenny bietet am 20.01., 14 Uhr ein Wiederholungstutorium
zum Komplex: Boolesche Aussagenlogik & Beweistechniken
an.
Bitte
vorab
möglichst
konkrete
Fragen
per
email
an
Jenny!
Ort:
Hörsaal
Informatik
Stand 17.01.: Nächste Termine für Wiederholungstutorien
27.01.:
Huy
zum
Komplex
Mengenlehre,
Relationen,
Funktionen
03.02.:
Olaf,
Adam
zum
Thema
Kombinatorik,
Abzählen,
Wahrscheinlichkeitsrechnung
10.02.:
Dennis
und
F.
Hoffmann
zu
Graphen
und
sonstiges
alle
14
Uhr
im
Hörsaal
Informatik
Stand 17.02.: Die Klausur findet am 22.02.2012 von 10-12 Uhr statt.
Es
wird
in
den
folgenden
Räumen
geschrieben:
Hörsaal
Informatik
(Nachnamen A - F)
(eventuell:
SR
006
Takustr.9)
Großer
Hörsaal
Arnimallee
22
(Nachnamen
G - Z)
Hörsaal
A
Arnimallee
22
(Reserve, falls
die anderen HS nicht ausreichen)
Bitte bis spätestens
10.10 Uhr Plätze einnehmen!!!
Mitzubringen:
Studentenausweis,
Ausweis
mit
Lichtbild,
Schreibzeug;
Taschenrechner
u.ä.
sind
nicht
erlaubt.
Papier
wird gestellt.
Optional:
Eine
handbeschriebene
DIN
A4-Seite
mit Notizen, ist mit
abzugeben.
Bitte
wegen
möglichen
BVG-Streiks
längere
Anfahrt einplanen!
Stand 24.02.: Klausurergebnisse gibt es voraussichtlich am Di. 28.02.
Klausureinsicht
01.03.,
11
Uhr,
R. 134, Lösungen hier
Stand 28.02.: Hier (nur
FU-Netz) ist die Liste der Ergebnisse jener Teilnehmer, die einer
Veröffentlichung
explizit zugestimmt haben. Es gibt 4 Klausuren ohne
Namen...
Vollständige Liste einschließlich aktiver Teilnahme hängt
neben Raum 113.
Stand 29.02.: Nachklausur 12.04., 16-18Uhr , Gr. Hörsaal +
Hörsaal A Arnimallee 22
Stand 02.04.: Wer bei der
Nachklausur von der Freiversuchsregel Gebrauch machen will
(Möglichkeit
der Notenverbesserung bei erstmaligem Besuch des Moduls und
bestandener
Hauptklausur) schickt bitte bis zum 10.04., 12 Uhr eine
email
mit
Betreff "Freiversuch MafI" an hoffmann[at]inf.fu-berlin.de
Ansonsten
alle Formalitäten wie bei der Hauptklausur.
Stand 20.04.: Dieses (nur
FU-Netz) ist die Liste der vorläufigen Ergebnisse jener Teilnehmer, die
einer
Veröffentlichung
explizit zugestimmt haben. Es gibt 1 Klausur ohne
Namen...
Vollständige Liste einschließlich aktiver Teilnahme hängt
neben Raum 113.
Einsicht 24.04.,14 Uhr, R. 134
Inhalt & Skript:
Wer sich schon genauer mit dem Inhalt der Vorlesung
auseinandersetzen will, wird auf der Proinformatik-Seite
aus dem letzten Sommersemester 2011 fündig bzw. auf den früheren MafI I
-Seiten, siehe
KVV der vergangenen Wintersemester.
Dort gibt es auch diverse Übungsaufgaben und zum Teil Musterlösungen.
Die Vorlesungsmitschriften werden im Laufe des Semesters überarbeitet
und
hier online erscheinen (nur FU-Netz).
Skript (Bearbeitungsstand 14.12.2011, nur FU-Netz) : Skript
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 , Discrete
Math
for
CS
Es gibt ein Online-Diskussionsforum,
in
dem
allgemein
interessierende
Fragen
zur
Veranstaltung
gestellt
und
erörtert werden können.
Es wird eine 90-Minuten-Klausur am Ende des
Semesters (22.02.2012, 10-12) und
eine Nachklausur zu Beginn des Sommersemesters geben.
Für den Scheinerhalt muss
- man sich aktiv am Tutorium beteiligen (Teilnahme wird
zunächst protokolliert)
- mindestens 50% der
bewerteten Übungsaufgaben auf erfolgreich
bearbeiten. Dabei werden die zu bewertenden Aufgaben nach Abgabe
ausgelost.
- man die Klausur mit mindestens 40
% der
maximal möglichen Punktzahl
bestehen
- man mindestens eine 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
jeweils
im
Hörsaal
Institut
für
Informatik
Tutoren: Jenny Elsbach,
Adam Schienle, Dennis Voß, Huy Le-Duc, Olaf Parczyk
Tutorien (Stand 17.10.): Die
Tutorien
beginnen
in
der
2.
Semesterwoche.
Gruppe D
|
Montag
|
08-10
|
SR 046
|
Huy
|
Gruppe E
|
Montag
|
08-10
|
SR 055
|
Dennis
|
Gruppe A
|
Montag
|
14-16
|
SR 046
|
Olaf
|
Gruppe B
|
Montag
|
14-16
|
SR 055
|
Jenny
|
Gruppe C
|
Montag
|
12-14
|
SR 055
|
Dennis
|
Gruppe F
|
Montag
|
16-18
|
SR 046
|
Adam
|
Gruppe G
|
Montag
|
16-18
|
SR 055
|
Jenny
|
|
Mittwoch
|
08-10
|
SR 055
|
Huy
|
|
Mittwoch
|
16-18
|
SR 046
|
Olaf
|
|
Donnerstag
|
12-14
|
SR 051
|
Adam
|
Sprechzeit
des
Dozenten: Mittwochs 14 - 15, Zi. 115 bzw. nach
Vereinbarung
Die Übungszettel werden jede Woche hier verlinkt. Sie werden ausschließlich
online
erscheinen. Die normale "Bearbeitungsdauer" beträgt
Donnerstag (ca. 10 Uhr) bis zum Freitag (12 Uhr) der nächsten Woche,
also ca. 8 Tage.
(Für die latex-Freunde verlinke ich auch die entsprechenden Quellen der
Zettel.)
01. Übungszettel vom 20.10.2011: ueb01.pdf
02. Übungszettel vom 26.10.2011: ueb02.pdf muster02.pdf
03. Übungszettel vom 02.11.2011: ueb03.pdf muster03.pdf
04. Übungszettel vom 09.11.2011: ueb04.pdf muster04.pdf
05. Übungszettel vom 16.11.2011: ueb05.pdf muster05.pdf
06. Übungszettel vom 23.11.2011: ueb06.pdf muster06.pdf
07. Übungszettel vom 30.11.2011: ueb07.pdf muster07.pdf
08. Übungszettel vom 07.12.2011: ueb08.pdf muster08.pdf
09. Übungszettel vom 14.12.2011: ueb09.pdf muster09.pdf
10. Übungszettel vom 04.01.2012: ueb10.pdf muster10.pdf
11. Übungszettel vom 11.01.2012: ueb11.pdf
muster11.pdf
12. Übungszettel vom 18.01.2012: ueb12.pdf muster12.pdf
13. Übungszettel vom 25.01.2012: ueb13.pdf muster13.pdf
14.
Übungszettel vom 01.02.2012: ueb14.pdf muster14.pdf
Übungszettel, die nach dem angegebenen Termin
abgegeben werden, zählen als nicht bearbeitet !
Probleme mit der Webseite? (ausser
Farbbeschwerden ;-) -> hoffmann[at]inf.fu-berlin.de