19300901 Vorlesung

WiSe 18/19: Logik und Diskrete Mathematik

Boris Klemz, Klaus Kriegel

Kommentar

  • Aussagenlogik und mathematische Beweistechniken
  • Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
  • Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
  • Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
  • Prädikatenlogik und mathematische Strukturen
  • Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
  • Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume
Schließen

Literaturhinweise

  • 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
Schließen

32 Termine

Zusätzliche Termine

Fr, 22.02.2019 09:00 - 12:00
Klausur

Räume:
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)

Di, 02.04.2019 09:00 - 12:00
Nachklausur

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

Mi, 10.04.2019 13:00 - 14:00
Einsicht

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/049 Seminarraum (Takustr. 9)

Regelmäßige Termine der Lehrveranstaltung

Di, 16.10.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 23.10.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 30.10.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 06.11.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 13.11.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 20.11.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 27.11.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 04.12.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 11.12.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 18.12.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 08.01.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 15.01.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 22.01.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 29.01.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 05.02.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Di, 12.02.2019 10:00 - 12:00

Dozenten:
Boris Klemz
Dr. Klaus Kriegel

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 18.10.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 25.10.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 01.11.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 08.11.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 15.11.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 22.11.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 29.11.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 06.12.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 13.12.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 20.12.2018 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 10.01.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 17.01.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 24.01.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 31.01.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 07.02.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Do, 14.02.2019 10:00 - 12:00

Dozenten:
Dr. Klaus Kriegel
Boris Klemz

Räume:
T9/Gr. Hörsaal (Takustr. 9)

Studienfächer A-Z