Formale Grundlagen und Methoden

Parent directory: https://www.cosy.sbg.ac.at/~eder/lehre/Formale_Grundlagen_BacLehramt/

---

• Zeit: VO Mo 09:15-12:00, PS Mo 13:15-15h
• Ort: https://edumeet.geant.org/elmar-eder
• Duchgenommene Themen:
  • Ein paar notizen
  • Weitere notizen.pdf
  • beamer.pdf: Logik, Mengenlehre, Zahlen bis "Sätze über Primzahlen", Kombinatorik bis "Kombinationen und monoton steigende Zahlenfolgen"
  • Sprachen_regulaere-Ausdruecke_endliche-Automaten_Folien.pdf: Sprachen, Reguläre Ausdrücke und reguläre Sprachen, Deterministische und nichtdeterministische endliche Automaten.
• Aufgaben: aufgaben.pdf, aufg20201221.pdf
• Abgabe Ihrer Lösungen per Email an eder@cs.sbg.ac.at
• Bis 18.Jan: Aufgaben 40,46-50,55-60,62
• Sollen dann im Proseminar besprochen werden.
• LV-Termine: 5.,12.,19.Okt, 9.,16.,23.,30.Nov, 14.,21.Dez, 11.,18.,25.Jan