19300901 Lecture

WiSe 20/21: Logics and Discrete Mathematics

Wolfgang Mulzer

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

30 Class schedule

Additional appointments

Mon, 2021-03-01 10:00 - 12:00
Klausur

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Fri, 2021-04-09 10:00 - 12:00
Nachklausur

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Regular appointments

Mon, 2020-11-02 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2020-11-09 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2020-11-16 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2020-11-23 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2020-11-30 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2020-12-07 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2020-12-14 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2021-01-04 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2021-01-11 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2021-01-18 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2021-01-25 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2021-02-01 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2021-02-08 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2021-02-15 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Mon, 2021-02-22 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2020-11-04 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2020-11-11 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2020-11-18 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2020-11-25 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2020-12-02 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2020-12-09 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2020-12-16 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2021-01-06 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2021-01-13 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2021-01-20 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2021-01-27 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2021-02-03 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2021-02-10 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2021-02-17 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Wed, 2021-02-24 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Univ.-Prof. Wolfgang Mulzer

Location:
Virtueller Raum 01

Subjects A - Z