Suche Home Einstellungen Anmelden Hilfe  

UNI Didaktik der
Informatik
DdI

Grundvorlesung
"Grundlagen der Programmierung I"

Veranstalter: Prof. Dr. Andreas Schwill, Jan Hackel
Zielgruppe: Grundstudium
Umfang: 4 SWS Vorlesung, 2 SWS Übung (Achtung: Die 4 h Vorlesung pro Woche werden nicht ständig in Anspruch genommen; in der Regel finden nur 2h Vorlesung pro Woche, meist freitags, statt. Der Mittwochstermin dient als Ausweichtermin.).
Leistungspunkte: 6 benotete Punkte
Beginn (Vorlesung): 22.10.2008 (Mittwoch!)
Zeit (Vorlesung): (mittwochs 17.00-18.30 Uhr in Ausnahmefällen) 
freitags 15.15-16.45 Uhr 
Ort (Vorlesung): (mittwochs: 3.6.H04)
freitags: 3.6.H04
Beginn (Übung): 44. Woche
Zeit und Ort (Übung): G1: montags 11.00-12.30 Uhr, 3.4.1.02
G2: dienstags 9.15-10.45 Uhr, 3.4.0.02
G3: dienstags 9.15-10.45 Uhr, 3.4.1.02
G4: mittwochs 9.15-10.45 Uhr, 3.4.0.02
G5: mittwochs 9.15-10.45 Uhr, 3.6.S22
Aktuelles: Große Teile der Veranstaltung werden über das Online-Learningsystem Moodle abgewickelt. Zugang hier.
Raumänderung: Die Vorlesung findet im Hörsaal 4 statt.
Am Fr 24.10. fällt die Vorlesung aus. Am Mi 29.10. findet die Vorlesung statt.
Inhaltsübersicht
    • Einführung in die Informatik 
      • Begriffsdefinition, Teilgebiete, Geschichte, Einordnung in den Wissenschaftskanon
    • Vom Problem zum Algorithmus 
      • Naive Entwicklung eines Algorithmus, Merkmale von Algorithmen, Sprachmittel für die Darstellung von Algorithmen, Konstruktoren
    • Grenzen der Algorithmisierung 
      • nicht-berechenbare Funktionen, Selbstanwendungs-/Halteproblem
    • Vom Algorithmus zum Programm 
      • Zwang zur Präzisierung von Algorithmen, Präzisierung von Daten und Anweisungen, Entwicklung einer (imperativen) Programmiersprache
    • Vom Programm zum Computer 
      • Von-Neumann-Rechner, Maschinen- und Assemblersprachen, Ebenenmodell der Rechnerarchitektur, Übersetzer, Interpreter
    • Fundamentale Ideen der Informatik 
      • Teilgebietsübergreifende typische Denkweisen und Methoden der Informatik
    • Informatische Modellbildung 
      • Begriff des Modells, Informatik als Wissenschaft ausführbarer Modelle 
    • Funktionale Spezifikation 
      • Präzisierung von Problemen
    • Präzisierung von Daten 
      • elementare Datentypen, Konstruktoren, wichtige Datentypen (File, Baum)
    • Funktionale Programmierung 
      • Funktionen als Objekte, Funktionale, Currying, Rechenvorschriften, Sprachelemente für Funktionen, Substitutionsregeln, Rekursion, Polymorphie
    • Grundlagen der Programmiersprachen 
      • Syntaxdefinitionen mittels Syntaxdiagrammen, Backus-Naur-Form, Semantikdefinitionen mittels denotationaler Ansätze, Semantik rekursiver Funktionen, Fixpunkte
    Leistungserfassungsprozeß
    Am Schluß der Vorlesung wird eine Klausur angeboten. Sie erhalten eine Note gem. §10 der Prüfungsordnung. Eine Nachklausur wird für diejenigen angeboten, die bei der 1. Klausur erkrankt waren oder teilgenommen haben, diese aber nicht bestanden haben. Zum erfolgreichen Abschluß der Veranstaltung sind ferner notwendig:
    • Regelmäßige Teilnahme und aktive Mitarbeit an den Übungen 
    • Erfolgreiche Bearbeitung von mindestens 50% der Übungsaufgaben.
    Alle genannten Leistungselemente zählen als Prüfungselemente. Das erste Prüfungselement beginnt mit der Abgabe von Lösungen zum 1. Übungsblatt. Bitte melden Sie sich rechtzeitig zur Prüfung für dieses Modul an.
    Einen Überblick über die Leistungsergebnisse finden Sie zu gegebener Zeit in Moodle.
    Belegung
    Die Belegung erfolgt elektronisch entsprechend der Bestimmungen des Instituts für Informatik.

    Literaturhinweise

    • Claus, V.: Schwill, A.: Duden - Informatik, Bibliographisches Institut 2001 
    • Goos, G.: Vorlesungen über Informatik, Bd. 1: Grundlagen und funktionales Programmieren, Springer 1995 
    • Pepper, P.: Funktionale Programmierung in OPAL, ML, Haskell und Gofer, Springer 2002 
    • Rabhi/Lapalme: Algorithms - A functional programming approach, Addison-Wesley 1999  
    • Sedgewick, R.: Algorithmen in C, Pearson 2005
    • Smolka, G.: Programmierung - Eine Einführung in die Informatik mit Standard ML, Oldenbourg 2008
    • Ullman, J.: Elements of ML programming, Prentice Hall 1997 
    • Vogt, C.: Informatik - eine Einführung in Theorie und Praxis, 2004 
    • Wikström, A.: Functional programming using standard ML, Prentice-Hall 1987
    Skriptum
    Begleitend zur Vorlesung erscheinen Skript und Audio-Mitschnitte einer vergangenen Veranstaltung.
    Begleitmaterial
    Zum Einstieg in die Programmiersprache ML und zur Nutzung von UNIX sind Begleitmaterialien verfügbar.

    Note: §10 der Prüfungsordnung bestimmt die Form der Noten: Zulässig sind 1,0 bis 4,0 mit Zwischennoten sowie 5,0 (= nicht bestanden, kein Erwerb von Leistungspunkten).

Benutzer: gast • Besitzer: schwill • Zuletzt geändert am: