19300901 Lecture

WiSe 16/17: Logik und Diskrete Mathematik

Klaus Kriegel

Comments

  • propositional logic and mathematical proof techniques
  • Boolean formulae und Boolean functions, disjunctive and conjunctive normal form, satisfiability, resolution calculus
  • set theory:  sets, relations, equivalence and order relations, functions
  • natural numbers, the induction principle, cardinal numbers
  • first-order logic und mathematical structures
  • combinatorics: counting techniques, binomial coefficents and Stirling numbers, recurrences, pigeon hole principle
  • graph theory: graphs and their representations, paths and cycles in graphs, trees
close

Suggested reading

  • 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

Mon, 2017-02-20 12:00 - 15:00

Location:
T9/Gr. Hörsaal (Takustr. 9)

Mon, 2017-02-20 15:00 - 17:00

Location:
T9/SR 006 Seminarraum (Takustr. 9)

Wed, 2017-02-22 10:00 - 13:00
Klausur

Location:
HFB/A Hörsaal (Garystr. 35-37)
HFB/B Hörsaal (Garystr. 35-37)
HFB/C Hörsaal (Garystr. 35-37)
HFB/D Hörsaal (Garystr. 35-37)

Mon, 2017-04-03 12:00 - 17:00
Zusatztutorium

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-04-11 10:00 - 13:00
Nachklausur

Location:
Hs 1a Hörsaal (Habelschwerdter Allee 45)
Hs 1b Hörsaal (Habelschwerdter Allee 45)

Regular appointments

Tue, 2016-10-18 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-10-25 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-11-01 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-11-08 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-11-15 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-11-22 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-11-29 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-12-06 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2016-12-13 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-01-03 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-01-10 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-01-17 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-01-24 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-01-31 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-02-07 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2017-02-14 08:00 - 10:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-10-20 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-10-27 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-11-03 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-11-10 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-11-17 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-11-24 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-12-01 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-12-08 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2016-12-15 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-01-05 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-01-12 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-01-19 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-01-26 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-02-02 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-02-09 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Thu, 2017-02-16 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel

Location:
T9/Gr. Hörsaal (Takustr. 9)

Subjects A - Z