| |

Logik und Diskrete Mathematik W22/23
to Whiteboard Site

Description

Link zum Mattermost

 

Emailadressen der Tutor:innen

Adrian-Maurice Alex <adrianmaua01@zedat.fu-berlin.de>
Maximilian Glinka   <glim99@zedat.fu-berlin.de>
Niclas Hofmann      <niclah97@zedat.fu-berlin.de>
Sebastian Jentgens  <sebastiaj00@zedat.fu-berlin.de>
Jannik Langbehn     <jannil59@zedat.fu-berlin.de>
Anna Marie Yntema   <annay01@zedat.fu-berlin.de>

  • 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

 

Literatur

 

  • 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
Basic Course Info
Course No Course Type Hours
19300901 Vorlesung 4
19300902 Übung 2
Time Span 18.10.2022 - 04.04.2023
Instructors
Katharina Klost
Mahmoud Elashmawi
Study Regulation
0086c_k150 2014, BSc Informatik (Mono), 150 LPs
0086d_k135 2014, BSc Informatik (Mono), 135 LPs
0087b_k90 2009, BSc Informatik (Kombi), 90 LPs
0087d_k90 2015, BSc Informatik (Kombi), 90 LPs
0088b_m60 2006, BSc Informatik (Kombi), 60 LPs
0088d_m60 2015, MSc Informatik (Kombi), 60 LPs
0132b_m30 2006, BSc Informatik (Kombi), 30 LPs
0521a_m25 2018, Modulangebot Schwerpunktstudium Natur, 25 LPs
0525a_m10 2017, BSc Geist und Kultur (Mono), 10 LPs

Logik und Diskrete Mathematik W22/23
to Whiteboard Site

Main Events
Day Time Location Details
Tuesday 10-12 T9/Gr. Hörsaal 2022-10-18 - 2023-02-14
Thursday 10-12 T9/Gr. Hörsaal 2022-10-20 - 2023-02-16
Thursday 16-18 A3/Hs 001 Hörsaal 2022-11-03 - 2023-02-16
Accompanying Events
Day Time Location Details
Tuesday  8-10 T9/SR 005 Übungsraum Adrian-Maurice Alex
Tuesday 14-16 A6/ 025/026 Maximilian Glinka
Tuesday 14-16 T9/053 Seminarraum Niclas Hofmann
Wednesday  8-10 T9/051 Seminarraum Anna Marie Yntema
Wednesday 12-14 A7/SR 031 Niclas Hofmann
Wednesday 12-14 T9/053 Seminarraum Jade Langbehn
Thursday  8-10 T9/049 Seminarraum Sebastian Jentgens
Thursday 16-18 T9/053 Seminarraum Jade Langbehn
Friday  8-10 T9/055 Seminarraum Sebastian Jentgens
Friday 14-16 T9/049 Seminarraum Adrian-Maurice Alex
Friday 14-16 T9/046 Seminarraum Anna Marie Yntema
Friday 16-18 T9/051 Seminarraum Maximilian Glinka

Logik und Diskrete Mathematik W22/23
to Whiteboard Site

Most Recent Announcement

:  

Currently there are no public announcements for this course.


Older announcements

Logik und Diskrete Mathematik W22/23
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.