Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Formale Konzepte

englishicon
 

Informatik I (autip) - WS 2005/06

Termine - Hinweise - Informationen zu Ada - Skript - Übungsblätter


Dozent:Dr. Stefan Lewandowski
Termine:Vorlesung: Mi. 14h00-15h30, V 38.03
Übungen: Mi. 11h30-13h00,V 9.02


Hinweise

Die dritte Testklausur findet am 8.2. zu Beginn der Vorlesung statt, Raum voraussichtlich wie letztes Mal der V38.04.

Da an einer Fragestunde kein weiteres Interesse besteht, möchte ich Sie bitten, Fragen zur Übung und Vorlesung direkt im Anschluss an der Vorlesung zu stellen oder mit Ihren Kommilitonen zu klären.

Diskussionen über Vorlesungsinhalte und Übungsaufgaben (bitte keine fertigen Lösungen präsentieren!) sind möglich und erwünscht, nutzen Sie das Autip-Forum. Auch Fragen/Probleme zur Installation der Ada-Software können hier diskutiert werden.


Informationen zu Ada

Ein wesentliches Lernziel der Vorlesung ist die Beherrschung der Programmiersprache Ada 95 (lesen und(!) schreiben). Zur Einführung in Ada wird in den ersten zwei bis drei Wochen AdaLogo verwendet, danach dann auf Ada 95 umgestiegen. Ada 95 Compiler und Werkzeuge findet man unter der deutschen Ada-Homepage www.Ada-Deutschland.de. Die Ada Tour 2004 CD-ROM wird kostenlos in der Vorlesung zur Verfügung gestellt.

Die meisten Bücher über Ada 95 sind in englischer Sprache. Das einzige mir bekannte Buch in deutscher Sprache ist von Manfred Nagl: Softwaretechnik mit Ada 95, vieweg, 2. Auflage, 2003; dieses ist insbesondere für Studierende mit programmiertechnischen Vorkenntnissen gut geeignet. Daneben gibt es noch ein Skript von Prof. Grude (TFH Berlin), das auch für Anfänger geeignet ist (die technischen Details zu Zahldarstellungen können Sie überspringen). Für Studierende mit Vorkenntnissen bietet das Skript von Prof. Blieberger (TU Wien) einen straffen Überblick über Ada 95. Ebenso für Anfänger geeignet ist der Ada-Teil im Skript von Prof. Lagally (Uni Stuttgart).

Ein sehr gutes Buch für Anfänger in englischer Sprache ist von Jan Skansholm: Ada 95 - From the Beginning, Third Edition, Addison-Wesley, 1997 (die erste und zweite Auflage behandeln die Vorversion Ada 83). Dieses Buch liegt in 3 Exemplaren in der Unibibliothek vor (derzeit aber leider alle 3 verliehen, Stand 20.10.).


Skripte und Beispiel-Programme

19.10.   0.Einführung
AdaLogo: for-Schleifen, Prozeduren, Fallunterscheidungen
(pdf) (Stand: 16.11. - gegenüber 9.11. nur Rechtschreibfehler korrigiert)
26.10.AdaLogo: while-Schleifen, Rekursion
1.Programmieren im Kleinen mit Ada 95(pdf) (Stand: 07.12. - wird noch vervollständigt)
04.11.Syntaxdiagramme, EBNF, Datentyp Integer
09.11.Datentyp Float, Formatierte Ausgabe
16.11.Arithmetische und Boole'sche Ausdrücke, Bäume und Rechenbäume
23.11.Subtypen, Bereiche, Arrays, Beispiel Sortieren
30.11.Blöcke, Übergabe-Mechanismen, Lebensdauer, Sichtbarkeit
07.12.Beispiele zur Rekursion, Zeichen und Zeichenketten
14.12.2.Grammatiken und Formale Sprachen(pdf) (Stand: 21.12. - wird noch vervollständigt)
21.12.3.Berechenbarkeit
11.01.4.Aufwandsabschätzungen - O-Notation(pdf) (Stand: 12.01. - nur Kurzversion)
18.01.5.Programmierung - weiterführende Konzepte
Aufzählungstypen, Verbunde, Listen
(pdf) (Stand: 02.02. - wird noch erweitert)
25.01.Bäume, Suchbäume
01.02.Graphen, Graphdurchläufe
04.11.Beispiel-Programm Fakultät(adb)
09.11.Beispiel-Programm Stiftung(adb)
23.11.Beispiel-Programm Gib5ZahlenAus(adb)
23.11.Beispiel-Programm Sortiere9Zahlen(adb)
30.11.Beispiel-Programm glokal(adb)
Alles in einem Dokument (pdf - kommt noch).
  • Folien zur Hauptfachvorlesung Informatik 1 von Prof. Claus: WS 05/06
  • Folien zur Vorlesung Informatik 1 (autip) von Dr. Zimmer: WS 04/05
  • Folien zur Hauptfachvorlesung Informatik 1 von Prof. Lagally: WS 04/05

Übungsblätter

Die Übungen werden über das System eClaus verwaltet und bearbeitet.

Die Programme der ersten beiden Übungsstunden können Sie herunterladen. Im AdaLogo können Sie sie über File->Open laden und nochmals nachvollziehen.

  1. Übung - 19.10. - Programm (Dreiecke - for, procedure, if-then-elsif-else)
  2. Übung - 26.10. - Programm (Stiftung, Hanoi, Lindenmeyer-Systeme - for, while, Rekursion)
  1. Übungsblatt (pdf) - Abgabe und Besprechung: 04.11., 9h45, eClaus
  2. Übungsblatt (pdf) - Abgabe und Besprechung: 09.11., 9h45, eClaus
  3. Übungsblatt (pdf) - Abgabe und Besprechung: 16.11., 9h45, eClaus
  4. Übungsblatt (pdf) - Abgabe und Besprechung: 23.11., 9h45, eClaus
  5. Übungsblatt (pdf) - Abgabe und Besprechung: 30.11., 9h45, eClaus
  6. Übungsblatt (pdf) - Abgabe und Besprechung: 07.12., 9h45, eClaus, exit_considered_harmful.adb
  7. Übungsblatt (pdf) - Abgabe und Besprechung: 14.12., 9h45, eClaus
  8. Übungsblatt (pdf) - Abgabe und Besprechung: 21.12., 9h45, eClaus
  9. Übungsblatt (pdf) - Abgabe und Besprechung: 11.01., 9h45, eClaus
  10. Übungsblatt (pdf) - Abgabe und Besprechung: 18.01., 9h45, eClaus
  11. Übungsblatt (pdf) - Abgabe und Besprechung: 25.01., 9h45, eClaus
  12. Übungsblatt (pdf) - Abgabe und Besprechung: 01.02., 9h45, eClaus
  13. Übungsblatt (pdf) - Abgabe und Besprechung: 08.02., 9h45, eClaus
  14. Übungsblatt (pdf) - Abgabe und Besprechung: 15.02., 9h45, eClaus
Steffen Rothenburger und Timo Wingender haben ihre Bearbeitungen als Lösungshinweise im Autip-Forum zur Verfügung gestellt.