Courseview

ProInformatik I: Discrete Structures in Computer Science

LV: 19310201

a.Publiziert

4 SWS

Alexandra Wesolek

Benjamin Berendsohn

Lecture

Akt: 01.09.2023 08:39

Mon, 09:00 - 12:00 (A3/Hs 001 Hörsaal)

Mon, 09:00 - 12:00 (T9/SR 005 Übungsraum)

Mon, 09:00 - 12:00 (T9/Gr. Hörsaal)

Description

propositional logic and mathematical proof techniques
- Boolean terms and functions, DNF and CNF, satisfiability, resolution
- set theory: sets, relations, equivalence and order relations, functions
- natural numbers and induction, countability
- predicate logic and mathematical structures
combinatorics: counting, binomial coefficients and Stirling numbers, recursion, pigeonhole principle
discrete probability theory
graph theory: graphs and their representation, paths and cycles, 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 information

The registration for the course can only be done through the Proinformatik registration!

Additional appointments

Klausureinsicht

T9/055 Seminarraum

Alexandra Wesolek

Benjamin Berendsohn

04.09.2023 13:00 - 14:00

Appointment series

A3/Hs 001 Hörsaal

Alexandra Wesolek

Benjamin Berendsohn

täglich, ab 24.07.2023, 09:00 - 12:00 (25 Termine)

T9/SR 005 Übungsraum

Alexandra Wesolek

Benjamin Berendsohn

einmal, ab 21.08.2023, 09:00 - 12:00 (0 Termine)

T9/Gr. Hörsaal

Alexandra Wesolek

Benjamin Berendsohn

einmal, ab 24.07.2023, 09:00 - 12:00 (0 Termine)

Studies