Course catalog

19310201 Lecture

ProInformatik I: Discrete Structures in Computer Science

Linus Ververs

Additional information / Pre-requisites

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

Comments

Contents:

  • 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
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

50 Class schedule

Regular appointments

Thu, 14:00 - 16:00 ProInformatik I: Diskrete Strukturen in der Informatik 25 Class schedule
Thu, 2025-07-24 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-07-25 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-07-28 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-07-29 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-07-30 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Thu, 2025-07-31 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-08-01 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-08-04 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-08-05 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-08-06 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Thu, 2025-08-07 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-08-08 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-08-11 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-08-12 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-08-13 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Thu, 2025-08-14 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-08-15 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-08-18 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-08-19 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-08-20 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Thu, 2025-08-21 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-08-22 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-08-25 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-08-26 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-08-27 14:00 - 16:00
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Thu, 09:00 - 10:30 ProInformatik I: Diskrete Strukturen in der Informatik 25 Class schedule
Thu, 2025-07-24 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-07-25 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-07-28 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-07-29 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-07-30 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Thu, 2025-07-31 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-08-01 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-08-04 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-08-05 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-08-06 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Thu, 2025-08-07 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-08-08 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-08-11 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-08-12 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-08-13 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Thu, 2025-08-14 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-08-15 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-08-18 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-08-19 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-08-20 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Thu, 2025-08-21 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Fri, 2025-08-22 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Mon, 2025-08-25 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Tue, 2025-08-26 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

Wed, 2025-08-27 09:00 - 10:30
ProInformatik I: Diskrete Strukturen in der Informatik

Lecturers:
Linus Ververs

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

More search results for 'Aktuelle Themen der ...'

Search now
The search term has to be at least three characters long!

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

Schedule: Termine siehe LV-Details

Class starts on: 2025-07-24

Course language: German

Contact hours: 4

Number of participants: 60

Limited attendance: Yes

Attendance required: No

Modules where this course belongs

Information for pregnant and nursing students

Subjects A - Z