Course catalog

19300901

WiSe 18/19: Logics and Discrete Mathematics

Boris Klemz, 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

Fri, 2019-02-22 09:00 - 12:00

Klausur

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)
T9/Gr. Hörsaal (Takustr. 9)

Tue, 2019-04-02 09:00 - 12:00

Nachklausur

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

Wed, 2019-04-10 13:00 - 14:00

Einsicht

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

Location:
T9/049 Seminarraum (Takustr. 9)

Regular appointments

Tue, 10:00 - 12:00 16 Class schedule

Tue, 2018-10-16 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2018-10-23 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2018-10-30 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2018-11-06 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2018-11-13 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2018-11-20 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2018-11-27 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2018-12-04 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2018-12-11 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2018-12-18 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2019-01-15 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2019-01-22 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2019-01-29 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2019-02-05 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Tue, 2019-02-12 10:00 - 12:00

Lecturers:
Boris Klemz
Dr. Klaus Kriegel

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

Thu, 10:00 - 12:00 16 Class schedule

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Thu, 2018-12-06 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Thu, 2018-12-13 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

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

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Thu, 2019-01-17 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Thu, 2019-01-24 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Thu, 2019-01-31 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Thu, 2019-02-07 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Thu, 2019-02-14 10:00 - 12:00

Lecturers:
Dr. Klaus Kriegel
Boris Klemz

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

Back to list of modules

Location: Di T9/Gr. Hörsaal (Takustr. 9), Do 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: 2018-10-16

Course language: German

Contact hours: 4

Limited attendance: No

Attendance required: No

Modules where this course belongs: