Modellierung (Lehramt)

Die Veranstaltung startet am Mo, 19. Okt. 2015 um 11:15 Uhr im F522.

Diese Veranstaltung ersetzt die fachwissenschaftliche Veranstaltung Modellierung für die Lehramtsstudierenden im Studiengang Bachelor Informatik HRGe. Neben den fachwissenschaftlichen Inhalten wird es immer wieder kleine Bezüge zur Anwendung im Informatikunterricht geben.

Inhalte:

  • Mathematische Grundlagen/ Modellierung mit Werftenbereichen (Mengen, Potenzmengen, Kartesisches Produkt, Tupel, Folgen, Relationen, Funktionen, Beweistechniken wie Induktion)
  • Logik (Auslagenlogik, Prädikatenlogik
  • Graphen
  • Grammatiken
  • Reguläre Ausdrücke
  • Automaten
  • Petrinetze
Die Übungen finden wöchentlich statt und starten voraussichtlich in der 2. Vorlesungswoche.

Neben der Präsenzübung wird es Heimübungszettel geben. Materialien in Koala.

Termine


Nächster Wiederholungstermin: voraussichtlich im WiSe 2016

VeranstaltungTagZeitRaumDozent
VorlesungMo11-13F2.522Kathrin Müller
ÜbungMo9-11 F2.522Kathrin Müller

Modulinformationen


VeranstaltungsnummerL.079.09005
Vorausgesetze Kenntnissekeine
ScheinerwerbKlausur
PrüfungsgebietGrundkonzepte der Informatik
PrüfungsordnungFür weiterführende Informationen siehe auch die Einträge in der Studien- bzw. Prüfungsordnung

Impressum | Webmaster | Letzte Änderungen am : 19.10.2015