Deutschland » Bayern » Unibw München » Informatik » Dr. Schmitz » Einführung in die Informatik I » Beschreibung
Einführung in die Informatik I
Typ: Vorlesung + Übung/Tutorium
SWS: 7
Credit Points: 9
Hilfe
Du möchtest diesen Kurs bewerten?
Klicke dazu auf »Kurs bewerten« im Menu.
Es werden keine Bewertungen angezeigt?
Die Bewertungen des Kurses befinden sich im Tab »Bewertungen«. Dieser wird nur angezeigt, wenn Du dich als Nutzer registriert hast und eingeloggt bist.
Die Bewertungen der einzelnen Kriterien fehlen?
Du kannst zwischen dem Kurskommentar und den Bewertungen der einzelnen Kriterien wechseln, indem Du auf »Einzelbewertungen einblenden« klickst.
Was bedeutet Kurs belegen?
Du wirst über alle neuen Bewertungen oder Foreneinträge des Kurses per E-Mail informiert.
Du möchtest mit anderen über den Kurs diskutieren?
Klicke dazu auf das Tab »Forum« und schreib einen Beitrag.
Noch Fragen?
Dann wirf einen Blick in unsere FAQ oder schicke uns eine Nachricht über unser Kontaktformular.
Kursbeschreibung / -kommentar
Vorlesungsthemen:
- Übersicht und Einordnung, Modellieren
- Textersetzung, Markov-Algorithmen, Grammatiken
- Funktionale Programmierung mit Haskell
(Listen, Bäume, Rekursive Algorithmen & Typen,
Funktionen als Parameter, Funktionale, Module,
Listenkomprehension, lazy evaluation)
- Lambda-Kalkül als Fundierung
- Induktionsbeweise
- Imperative Programmierung
(while-Sprache mit operationaler und
axiomatischer Semantik)
- Programmbeweise im Hoare-Kalkül
