Courseview

Logics and Discrete Mathematics

LV: 19300901

a.SAP verarbeitet

4 SWS

Katharina Klost

Lecture

Akt: 30.03.2023 10:41

Thu, 16:00 - 18:00 (A3/Hs 001 Hörsaal)

Thu, 10:00 - 12:00 (T9/Gr. Hörsaal)

Tue, 10:00 - 12:00 (T9/Gr. Hörsaal)

Description

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

References

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

Additional appointments

Zentralübung

T9/SR 005 Übungsraum

Katharina Klost

10.11.2022 16:00 - 18:00

Klausur

Hs 1a Hörsaal

Hs 1b Hörsaal

Katharina Klost

24.02.2023 10:00 - 13:00

Klausureinsicht

T9/055 Seminarraum

Katharina Klost

03.03.2023 12:00 - 14:00

Klausureinsicht

T9/SR 005 Übungsraum

Katharina Klost

14.03.2023 16:00 - 18:00

Nachklausur

T9/Gr. Hörsaal

Katharina Klost

04.04.2023 14:00 - 16:30

Appointment series

A3/Hs 001 Hörsaal

Katharina Klost

wöchentlich, ab 03.11.2022, 16:00 - 18:00 (16 Termine)

T9/Gr. Hörsaal

Katharina Klost

wöchentlich, ab 20.10.2022, 10:00 - 12:00 (16 Termine)

T9/Gr. Hörsaal

Katharina Klost

wöchentlich, ab 18.10.2022, 10:00 - 12:00 (16 Termine)