Lecture: Vorkurs Formale Methoden der Informatik

Veranstaltung

  • Dozent(en):
  • Beginn: 06.09.2021, Online
  • Zeiten: 10:15 - 11:45 Uhr
  • Studiengang: Bachelor

Beschreibung

In diesem Vorkurs werden Grundlagen der Aussagenlogik, Mengenlehre, Beweistechniken, Relationen und Funktionen und weitere grundlegende Themen der Formalen Methoden und theoretischen Grundlagen der Informatik behandelt.

Ziele dieses Vorkurs ist dabei explizit NICHT, dass sie alle diese Themen am Ende perfekt beherrschen. Stattdessen geht es darum einen Einstieg in die mathematische Denkweise zu finden, die Sie für das Verständnis dieser Themen benötigen und eine Eindruck vom Anspruch des Studiums bekommen. Alle angesprochenen Themen werden im Verlaufe des Studiums nochmal ausführlicher behandelt und erklärt und durch diesen Vorkurs kommt Ihnen dann vielleicht einiges schon bekannt vor, sodass Sie einfacher folgen können. Außerdem lernen Sie durch diesen Vorkurs sowohl Lernmethoden und Ressourcen kennen, die Ihnen auch im Studium weiterhelfen. Nicht zuletzt werden Sie einige Ihrer Kommilitonen kennenlernen und vielleicht die ersten Freundschaften knüpfen oder zumindest die Grundlage für zukünftige Lerngruppen legen.

 

Termine
Von Montag, 06.09.2021 bis Freitag, 17.09.2021

Vorlesung:


Online-Tutorienräume:

  • Uhrzeit: 13:00 - 15:00 Uhr

 

 

Slides

Assignment Sheets

Exercise 1: Aussagenlogik
Assignment sheet  (PDF document, 102 KB)
Exercise 2: Praedikatenlogik-Mengen
Assignment sheet  (PDF document, 76 KB)
Exercise 3: Operationen auf Mengen
Assignment sheet  (PDF document, 98 KB)
Exercise 4: Beweistechniken
Assignment sheet  (PDF document, 87 KB)
Exercise 5: Vollstaendige Induktion
Assignment sheet  (PDF document, 120 KB)
Exercise 6: Zahlensysteme
Assignment sheet  (PDF document, 77 KB)
Exercise 7: Relationen
Assignment sheet  (PDF document, 77 KB)
Exercise 8: Eigenschaften von Relationen--Gruppen
Assignment sheet  (PDF document, 78 KB)
Exercise 9: Gruppen-Ringe-Koerper
Assignment sheet  (PDF document, 135 KB)
Exercise 10: Potenzen-Wurzel-Polynome
Assignment sheet  (PDF document, 118 KB)

Documents

  • Test  (PDF document, 101 KB)