Vorlesungsverzeichnis

WiSe 19/20  
 Einführungs- un...  
 Wahlbereich  
 19300901  
19300901 Vorlesung

WiSe 19/20: Logik und Diskrete Mathematik

Boris Klemz

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

Do, 20.02.2020 12:00 - 15:00
Klausur

Räume:
Hs 1b Hörsaal (Habelschwerdter Allee 45)
Hs 2 Hörsaal (Habelschwerdter Allee 45)
T9/Gr. Hörsaal (Takustr. 9)

Mo, 06.04.2020 14:00 - 17:00
Nachklausur

Dozenten:
Boris Klemz

Räume:
Hs 1a Hörsaal (Habelschwerdter Allee 45)
Hs 1b Hörsaal (Habelschwerdter Allee 45)

Mi, 12.08.2020 10:00 - 13:00
Klausur

Dozenten:
Boris Klemz

Räume:
Virtueller Raum 01

Regelmäßige Termine der Lehrveranstaltung

Di, 10:00 - 12:00 Logik und Diskrete Mathematik (Serientermin 2) 16 Termine
Di, 15.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 22.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 29.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 05.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 12.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 19.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 26.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 03.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 10.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 17.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 07.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 14.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 21.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 28.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 04.02.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Di, 11.02.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 10:00 - 12:00 Logik und Diskrete Mathematik (Serientermin 1) 16 Termine
Do, 17.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 24.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 31.10.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 07.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 14.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 21.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 28.11.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 05.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 12.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 19.12.2019 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 09.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 16.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 23.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 30.01.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 06.02.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Do, 13.02.2020 10:00 - 12:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Boris Klemz
Dr. Frank Hoffmann

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

Zur Modulübersicht

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

Zeit: Di 10:00-12:00, Do 10:00-12:00, zusätzliche Termine siehe LV-Details

Erster Termin: 15.10.2019

Unterrichtssprache: Deutsch

SWS: 4

Credits: 9 (für Austausch-studierende)

Platzbeschränkung: Nein

Teilnahmepflicht: Nein

Fachsemester: 1

Module zu dieser LV:
0086bA4.1
0086cA5.1
0087cA1.2
0087dA1.3
0088cA1.2
0521aA6.4
E24nA1.1

Studienfächer A-Z