Vorlesungsverzeichnis

WiSe 20/21  
 Einführungs- un...  
 Schwerpunktstud...  
 19300901  
19300901 Vorlesung

WiSe 20/21: Logik und Diskrete Mathematik

Wolfgang Mulzer

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

30 Termine

Zusätzliche Termine

Mo, 01.03.2021 10:00 - 12:00
Klausur

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Fr, 09.04.2021 10:00 - 12:00
Nachklausur

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Regelmäßige Termine der Lehrveranstaltung

Mo, 08:00 - 10:00 Logik und Diskrete Mathematik (Serientermin 2) 15 Termine
Mo, 02.11.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 09.11.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 16.11.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 23.11.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 30.11.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 07.12.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 14.12.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 04.01.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 11.01.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 18.01.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 25.01.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 01.02.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 08.02.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 15.02.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mo, 22.02.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 2)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 08:00 - 10:00 Logik und Diskrete Mathematik (Serientermin 1) 15 Termine
Mi, 04.11.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 11.11.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 18.11.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 25.11.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 02.12.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 09.12.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 16.12.2020 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 06.01.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 13.01.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 20.01.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 27.01.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 03.02.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 10.02.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 17.02.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Mi, 24.02.2021 08:00 - 10:00
Logik und Diskrete Mathematik (Serientermin 1)

Dozenten:
Univ.-Prof. Wolfgang Mulzer

Räume:
Virtueller Raum 01

Zur Modulübersicht

Ort: Virtueller Raum 01

Zeit: Mo 08:00-10:00, Mi 08:00-10:00, zusätzliche Termine siehe LV-Details

Erster Termin: 02.11.2020

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