Course catalog

WiSe 21/22  
 Einführungs- un...  
 Schwerpunktstud...  
 19300901  
19300901 Lecture

WiSe 21/22: Logics and Discrete Mathematics

Katharina Klost, Gerhard Wunder

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, 2022-02-22 10:00 - 12:00
Klausur: Logik und Diskrete Mathematik

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

Location:
Hs A (Raum B.006, 200 Pl.) (Arnimallee 22)
Hs B (Raum B.004, 100 Pl.) (Arnimallee 22)
Gr. Hörsaal (Raum B.001) (Arnimallee 22)

Thu, 2022-03-17 15:00 - 18:00
Klausureinsicht

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

Location:
T9/046 Seminarraum (Takustr. 9)

Thu, 2022-04-07 12:00 - 14:30
Logik und Diskrete Mathematik (Nachklausur)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

Location:
T9/SR 005 Übungsraum (Takustr. 9)

Thu, 2022-04-07 12:00 - 14:30
Logik und Diskrete Mathematik (Nachklausur)

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

Tue, 2022-04-26 16:00 - 17:00
Nachklausureinsicht Logik und diskrete Mathematik

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

Location:
T9/049 Seminarraum (Takustr. 9)

Regular appointments

Tue, 10:00 - 12:00 Logik und Diskrete Mathematik (Serientermin 1) 16 Class schedule
Tue, 2021-10-19 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2021-10-26 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2021-11-02 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2021-11-09 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2021-11-16 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2021-11-23 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2021-11-30 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2021-12-07 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2021-12-14 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2022-01-04 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2022-01-11 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2022-01-18 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2022-01-25 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2022-02-01 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

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

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Tue, 2022-02-15 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 10:00 - 12:00 Logik und Diskrete Mathematik (Serientermin 2) 16 Class schedule
Thu, 2021-10-21 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2021-10-28 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2021-11-04 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2021-11-11 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2021-11-18 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2021-11-25 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2021-12-02 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2021-12-09 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2021-12-16 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2022-01-06 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2022-01-13 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2022-01-20 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2022-01-27 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2022-02-03 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2022-02-10 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Thu, 2022-02-17 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Lecturers:
Katharina Klost
Prof. Dr.-Ing. Gerhard Wunder

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

Back to list of modules

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

Schedule: Di 10:00-12:00, Do 10:00-12:00, zusätzliche Termine siehe LV-Details

Class starts on: 2021-10-19

Course language: German

Contact hours: 4

Limited attendance: No

Attendance required: No

Relevant semester: 1

Modules where this course belongs:
0086bA4.1
0086cA5.1
0087cA1.2
0087dA1.3
0088cA1.2
0521aA6.4
E24nA1.1

Subjects A - Z