ProInformatik I: Logik und Diskrete Mathematik S19
to Whiteboard Site

Description

Inhalte:

  • Grundlagen der Logik und der Beweise
  • Mengenlehre
  • Relationen und Funktionen
    • Grundlagen, Boolesche Funktionen, Was bedeutet unendlich?
  • Beweisen für Fortgeschrittene
    • Schubfachprinzip, Vollständige Induktion
  • Kombinatorik – die Welt des Abzählens
  • Diskrete Wahrscheinlichkeitstheorie
  • Graphentheorie

Literatur:

  • Sebastian Iwanowski, Rainer Lang: Diskrete Mathematik mit Grundlagen: Lehrbuch für Studierende von MINT-Fächern, Springer-Verlag; 2014
  • Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 5. Auflage 2011
  • 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
  • Martin Aigner: Diskrete Mathematk, Vieweg; 5. Auflage 2004
  • Martin Aigner, Günter M. Ziegler: Das BUCH der Beweise, Springer-Verlag; 2. Auflag 2004
  • Liz McMahon, Gary Gordon, Hannah Gordon, Rebecca Gordon: The Joy of SET, Princeton University Press; 2017

Zusätzliche Informationen

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

Basic Course Info

Course No Course Type Hours
19310201 Vorlesung 4
19310202 Übung 2

Time Span 10.07.2019 - 16.08.2019
Instructors
Benjamin Berendsohn
Kristin Knorr
Max Willert

Study Regulation


ProInformatik I: Logik und Diskrete Mathematik S19
to Whiteboard Site

Main Events

Day Time Location Details
Daily  8-12 A3/Hs 001 Hörsaal 2019-07-15 - 2019-08-16

Accompanying Events

Day Time Location Details
Sunday ? - ? Pseudotutorium zur Kapazitätsplanung - potentielle Übungsteilnehmer melden sich bitte hier an!
Daily  9-12 T9/051 Seminarraum Übung 02
Daily 13-16 A7/SR 031 Nils Goldmann
Daily 13-16 A7/SR 140 Seminarraum (Hinterhaus) Tutorium 3 (leer)
Daily 13-16 A3/SR 130 Seminarraum (Hinterhaus) Martin Günther

ProInformatik I: Logik und Diskrete Mathematik S19
to Whiteboard Site

Most Recent Announcement

:  

Currently there are no public announcements for this course.


Older announcements

ProInformatik I: Logik und Diskrete Mathematik S19
to Whiteboard Site

Currently there are no resources for this course available.
Or at least none which you're allowed to see with your current set of permissions.
Maybe you have to log in first.