09.11.2013 Aufrufe

Modulhandbuch - Geographisches Institut der Universität Bonn

Modulhandbuch - Geographisches Institut der Universität Bonn

Modulhandbuch - Geographisches Institut der Universität Bonn

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Modul<br />

NI102<br />

Deskriptive Programmierung<br />

Umfang: Workload: Dauer: Turnus:<br />

9 LP 270 h 1 Semester alle zwei Jahre<br />

Modulbeauftragte Manthey<br />

Dozenten<br />

Manthey<br />

Verwendbarkeit Studiengang Modus Studiensemester<br />

des Moduls Bachelor Mathematik Wahlpflichtbereich, Nebenfach Informatik 6<br />

Lernziele<br />

Schlüsselkompetenzen<br />

Inhalte<br />

darüber hinaus<br />

vorausgesetzte<br />

Vorkenntnisse<br />

Fähigkeit zur Abgrenzung imperativer und deskriptiver Programmierformen; Beherrschen<br />

<strong>der</strong> theoretischen Grundlagen <strong>der</strong> logischen und <strong>der</strong> funktionalen Programmierung;<br />

programmierpraktische Grundfertigkeiten in beiden Paradigmen<br />

Ideal <strong>der</strong> deskriptiven Programmierung; Logische Programmierung: Grundlagen<br />

aus <strong>der</strong> Logik (Klauselform, Inferenzsysteme), Resolution (Kalkül, Strategien),<br />

PROLOG-Grundlagen; Funktionale Programmierung: Termersetzungssysteme, Konfluenz,<br />

Reduktion, Haskell-Grundlagen, an<strong>der</strong>e funktionale Sprachen; funktionallogisches<br />

Programmieren; CLP<br />

Inhalte <strong>der</strong> Module “Algorithmische Mathematik I” und “Algorithmisches Denken<br />

und imperative Programmierung”<br />

Veranstaltungen Lehrform, Thema SWS Workload LP<br />

Vorlesung “Deskriptive Programmierung” mit Übungen 4+2 270 9<br />

Prüfungsformen<br />

benotete mündliche Prüfung<br />

Teilnahmevoraussetzungen<br />

Studienleistungen erfolgreiche Teilnahme an den Übungen<br />

als Zulassungsvoraussetzung<br />

zur<br />

Modulprüfung<br />

Sonstiges<br />

Dieses Modul ist Teil des Bachelorstudienganges Informatik und hat dort die Modulnummer<br />

“BA-INF 102”.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!