Modellierung (Lehramt)

Die Veranstaltung startet am 13. Oktober 2014 um 11.15 Uhr im F2.211.

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 2015

VeranstaltungTagZeitRaumDozent
VorlesungMo11-13F2.211Kathrin Bröker
ÜbungMo14:00-15:30 F2.522Kathrin Bröker

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 : 24.10.2014