Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2020 / Logik und Diskrete Strukturen


Inhaltsbereich

Logik und Diskrete Strukturen

Vorlesung, 3-std., Di 11-14 Uhr, Johannsen; Übungen 2-std., Johannsen, Barth

Aktuelles

Inhalt

Das Modul führt in grundlegende mathematische Konzepte zum Umgang mit endlichen oder abzählbaren Strukturen ein sowie in grundlegende Konzepte der Logik. Unter anderem werden behandelt: Mengen, Relationen, Ordnungen, Modulare Arithmetik, Gruppen und Körper, Aussagenlogik und Prädikatenlogik, Gentzen-Kalküle und Resolution.


Organisation

  • Umfang: 3+2 Semesterwochenstunden
  • Vorlesung: Dr. Jan Johannsen
  • Übung: Stephan Barth

Hinweise zum Übungsbetrieb

Das neue Übungsblatt wird wöchentlich per Uni2work herausgegeben. Die Abgabe zur Korrektur erfolgt ebenfalls per Uni2work. Die Bearbeitungszeit der Hausaufgaben beträgt in der Regel eine Woche.


Zeit und Ort

Veranstaltung Zeit OrtBeginn
Vorlesung Di 11-14 c.t. Geschw.-Scholl-Pl. 1 (B), B 101 21.04.2020
Übung Mo 14-16 c.t. Geschw.-Scholl-Pl. 1 (M) - M 203
Übung Mo 16-18 c.t. Geschw.-Scholl-Pl. 1 (M) - M 203
Übung Mo 18-20 c.t. Geschw.-Scholl-Pl. 1 (M) - M 001
Übung Mi 12-14 c.t. Geschw.-Scholl-Pl. 1 (M) - M 203
Übung Mi 14-16 c.t. Geschw.-Scholl-Pl. 1 (M) - M 203
Übung Mi 18-20 c.t. Geschw.-Scholl-Pl. 1 (M) - M 203
Übung Do 10-12 c.t. Geschw.-Scholl-Pl. 1 (A) - A 015
Übung Do 12-14 c.t. Geschw.-Scholl-Pl. 1 (M) - M 105

Materialien

  • Übungsblätter und Lösungen erhalten Sie per Uni2work.

Literatur

  • Angelika Steger: Diskrete Strukturen. Band 1: Kombinatorik, Graphentheorie, Algebra. (2. Auflage, Springer 2007, 978-3-540-46660-4)
    In der Universitätsbibliothek sind einige Exemplare des Buchs vorhanden. Das eBook ist kostenlos über den E-Medien-Login der Universtätsbibliothek erhältlich. 
  • Martin Hofmann: Vorlesungsskript zur Vorlesung "Logik für Informatiker"
  • Hans Jürgen Ohlbach und Norbert Eisinger: Design Patterns für mathematische Beweise — Ein Leitfaden insbesondere für Informatiker


Artikelaktionen


Funktionsleiste