19503 Lecture

WiSe 13/14: MafI I: Logik und Diskrete Mathematik

Frank Hoffmann

Comments

Inhalt:
  • Aussagenlogik und mathematische Beweistechniken
  • Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
  • Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
  • Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
  • Prädikatenlogik und mathematische Strukturen
  • Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
  • Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume

Literatur:
  • Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
  • Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5. Auflage 2000
  • Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
  • M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004
close

32 Class schedule

Additional appointments

Wed, 2014-02-19 10:00 - 12:00
Klausur

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-04-08 10:00 - 12:00
Nachklausur: Mafi I-Bioinformatiker

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Wed, 2014-04-09 13:00 - 16:00
Nachklausur: Mafi I

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Regular appointments

Tue, 2013-10-15 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2013-10-22 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2013-10-29 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2013-11-05 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2013-11-12 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2013-11-19 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2013-11-26 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2013-12-03 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2013-12-10 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2013-12-17 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-01-07 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-01-14 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-01-21 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-01-28 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-02-04 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Tue, 2014-02-11 08:00 - 10:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-10-17 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-10-24 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-10-31 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-11-07 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-11-14 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-11-21 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-11-28 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-12-05 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-12-12 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2013-12-19 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-01-09 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-01-16 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-01-23 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-01-30 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-02-06 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Thu, 2014-02-13 10:00 - 12:00
MafI I: Logik und Diskrete Mathematik

Lecturers:
Dr. Frank Hoffmann

Location:
Gr. Hörsaal\Taku 9 (Takustr. 9)

Subjects A - Z