19300901 Lecture

WiSe 15/16: Logik und Diskrete Mathematik

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

32 Class schedule

Additional appointments

Tue, 2016-02-16 11:00 - 14:00
Klausur

Lecturers:
Dr. Frank Hoffmann

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

Fri, 2016-04-15 09:00 - 12:00
Nachklausur

Lecturers:
Dr. Frank Hoffmann

Location:
SR 005/T9 Übungsraum (Takustr. 9)
SR 006/T9 Seminarraum (Takustr. 9)
Gr. Hörsaal\Taku 9 (Takustr. 9)

Regular appointments

Tue, 2015-10-13 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2015-10-20 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2015-10-27 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2015-11-03 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2015-11-17 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2015-11-24 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2015-12-01 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2015-12-15 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Tue, 2016-02-09 08:00 - 10:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2015-10-22 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2015-10-29 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2015-11-05 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2015-11-19 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2015-11-26 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2015-12-03 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2015-12-10 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2015-12-17 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Thu, 2016-02-04 10:00 - 12:00

Lecturers:
Dr. Frank Hoffmann

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

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

Lecturers:
Dr. Frank Hoffmann

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

Subjects A - Z