Mathematik für Informatiker I

(Logik & Diskrete Strukturen)


  Wintersemester 2011/2012
 Dozent: Frank Hoffmann

 Impressum

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

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                 
                   
                    
                      
                      

                     
                   
         

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


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 MengenlehreDiscrete Math for CS


Es gibt ein Online-Diskussionsforum, in dem allgemein interessierende Fragen zur Veranstaltung gestellt und
erörtert werden können.

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

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

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 
                      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


< 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
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