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 eher selten in Anspruch genommen; in der Regel finden nur 2h Vorlesung pro Woche, meist donnerstags, statt. Der Freitagstermin dient als Ausweichtermin.). Leistungspunkte: 6 benotete Punkte Beginn (Vorlesung): 20.10.2011 Zeit (Vorlesung): donnerstags 12.00-14.00 Uhr freitags 18.00-20.00 Uhr (nur in Ausnahmefällen) Ort (Vorlesung): donnerstags: 3.6.H03 (freitags: 3.6.H03) Beginn (Übung): 43. Woche Zeit und Ort (Übung): G4: montags 8.00-10.00 Uhr, 3.6.S18 geändert! G1: montags 10.00-12.00 Uhr, 3.6.S15 G2: montags 10.00-12.00 Uhr, 3.4.1.02 G3: montags 16.00-18.00 Uhr, 3.6.S15 G4: dienstags 10.00-12.00 Uhr, 3.6.H01 G5: dienstags 12.00-14.00 Uhr, 3.6.H10 G6: donnerstags 8.00-10.00 Uhr, 3.4.1.02 neu! G7: donnerstags 18.00-20.00 Uhr, 3.4.1.02 neu! Modulbeschreibung: hier Aktuelles: Große Teile der Veranstaltung werden über das Online-Learningsystem Moodle abgewickelt. Zugang hier. 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 Genauere Informationen zu den vermittelten Kompetenzen enthält die Modulbeschreibung. Leistungserfassungsprozeß Am Schluß der Vorlesung wird eine Klausur angeboten. Sie erhalten eine Note gem. §10 der Prüfungsordnung. Eine Nachklausur wird ebenfalls angeboten. Diese zählt als 2. Prüfung für Studierende nach neuer Ordnung ab 2008; Studierende nach alter Ordnung dürfen teilnehmen, wenn sie bei der 1. Klausur erkrankt waren oder teilgenommen haben, diese aber nicht bestanden haben.  Die Bearbeitung der wöchentlichen Übungsaufgaben ist freiwillig, wird aber dringend empfohlen. In den Übungen werden weitere Aufgaben zur unmittelbaren gemeinsamen Bearbeitung behandelt. Zur intensiven Besprechung der Übungsaufgaben außerhalb der wöchentlichen Übungen stehen alle Lehrenden zur Verfügung. Belegung Die Belegung erfolgt elektronisch entsprechend der Bestimmungen des Instituts für Informatik. Literaturhinweise Claus, V.: Schwill, A.: Duden - Informatik, Bibliographisches Institut 2006 Goos, G.: Vorlesungen über Informatik, Bd. 1: Grundlagen und funktionales Programmieren, Springer 1995 Harper, R.: Programming in Standard ML, E-Book 2011 Lippe, W.M.: Funktionale und Applikative Programmierung, Springer 2009 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, Vortragsfolien, Video- und Audio-Mitschnitte einer vergangenen Veranstaltung. Die Veranstaltung ist daher für das Fernstudium geeignet. 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).

   Modulbeschreibung - 2011

   Begleitmaterialien

   Folien

   Skriptum Algorithmen, Daten und Programme I - A. Schwill - 1997

   Übungsblätter

   Zu Moodle - Online Learning-Plattform

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