19300901 Lecture

WiSe 17/18: Logics and Discrete Mathematics

Frank Hoffmann

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

31 Class schedule

Additional appointments

Wed, 2018-02-21 08:00 - 12:00
Klausur

Location:
HFB/A Hörsaal (Garystr. 35-37)
Hs 1b Hörsaal (Habelschwerdter Allee 45)
Hs 2 Hörsaal (Habelschwerdter Allee 45)

Mon, 2018-04-09 09:00 - 12:00
Nachklausur

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

Regular appointments

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2017-11-21 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2017-11-28 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2017-12-05 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2017-12-19 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2018-01-09 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2018-01-16 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2018-01-23 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2018-01-30 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2018-02-06 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2018-02-13 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2017-11-23 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2017-11-30 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2018-01-11 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2018-01-18 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2018-01-25 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2018-02-01 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2018-02-08 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2018-02-15 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Subjects A - Z