Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Abteilung | Mitarbeiter | Lehre | Forschung | Publikationen | Service | Institut | Informatik | Fakultät
Institut für Formale Methoden der Informatik

Abteilung Formale Konzepte

 englishicon
 

Informatik I (autip) - WS 2006/07

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

Dozent:Dr. Stefan Lewandowski
Termine:Vorlesung: Mi. 14h00-15h30, V38.03
Übungen: Mi. 11h30-13h00,0.124

Aktuelle Hinweise

Die 3. Testklausur findet voraussichtlich am 7.2., ab 13h45(!) im V38.01 statt, erscheinen Sie bitte pünktlich. Die Übung wird an dem Tag entsprechend einige Minuten früher enden. Inhalt sind alle Themen seit der letzten Klausur bis inkl. Suchbäume, Graphen werden in der Testklausur nicht drankommen.

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 (Signatur: 3H 7588(3N98)).

Skripte und Beispiel-Programme

18.10.   0.Einführung
AdaLogo: for-Schleifen, Prozeduren,
Fallunterscheidungen		   (pdf) (Stand: 08.12. -- gegenüber 26.10.
nur 2 Rechtschreibfehler korrigiert)
25.10.AdaLogo: while-Schleifen, Rekursion
1.Programmieren im Kleinen mit Ada 95
Algorithmen und Programme		(pdf) (Stand: 20.12. - gegenüber 13.12.
weitere Programmieraufgaben angehängt)
08.11.Syntaxdiagramme, EBNF
Standarddatentypen integer
15.11.und float, strenges
Typkonzept in Ada 95,
Arithmetische Ausdrücke,
22.11.Boolesche Ausdrücke,
Bäume und Rechenbäume
29.11.Subtypen, Bereiche, Arrays,
Beispiel Sortieren durch Minimumsuche
06.12.Blöcke, Übergabe-Mechanismen,
Lebensdauer, Sichtbarkeit
13.12.Beispiele zur Rekursion,
Zeichen und Zeichenketten
20.12.2.Formale Konzepte
Grammatiken und Formale Sprachen		(pdf) (Stand: 17.01. - gegenüber 20.12. nur kleine Korrekturen)
10.01.Berechenbarkeit
17.01.Aufwandsabschätzungen - O-Notation
24.01.3.Programmierung
Weiterführende Konzepte
Aufzählungstypen, Verbunde, Listen		(pdf) (Stand: 22.01. - wird ab 3.4 noch überarbeitet)
31.01.Stack, Queue, Binärbäume
und Baumdurchläufe
07.02.Graphen und einfach Graphalgorithmen
Packages
14.02.Exception-Handling
08.11.Beispiel-Programm Fakultät(adb)
29.11.Beispiel-Programm Sortieren(adb)
06.12.Beispiel-Programm glokal(adb)

Wenn Sie sich schon einmal einen Überblick verschaffen wollen, finden Sie hier die Vorlesungsseite des letzten Jahres.

Übungsblätter

Die Übungen werden über das System eClaus verwaltet und bearbeitet. Eine kleine Einführung sowie Username und Passwort gibt es in der ersten Vorlesungsstunde.

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 - 18.10. - Programm (Dreiecke - for, procedure, if-then-elsif-else)
  2. Übung - 25.10. - Programm (Stiftung, Hanoi, Lindenmeyer-Systeme - for, while, Rekursion)
  1. Übungsblatt (pdf) - Abgabe und Besprechung: 08.11., 9h45, eClaus
  2. Übungsblatt (pdf) - Abgabe und Besprechung: 15.11., 9h45, eClaus
  3. Übungsblatt (pdf) - Abgabe und Besprechung: 22.11., 9h45, eClaus
  4. Übungsblatt (pdf) - Abgabe und Besprechung: 29.11., 9h45, eClaus
  5. Übungsblatt (pdf) - Abgabe und Besprechung: 06.12., 9h45, eClaus
  6. Übungsblatt (pdf) - Abgabe und Besprechung: 13.12., 9h45, eClaus, exit_considered_harmful.adb
  7. Übungsblatt (pdf) - Abgabe und Besprechung: 20.12., 9h45, eClaus
  8. Übungsblatt (pdf) - Abgabe und Besprechung: 10.01., 9h45, eClaus
  9. Übungsblatt (pdf) - Abgabe und Besprechung: 17.01., 9h45, eClaus
  10. Übungsblatt (pdf) - Abgabe und Besprechung: 24.01., 9h45, eClaus
  11. Übungsblatt (pdf) - Abgabe und Besprechung: 31.01., 9h45, eClaus, listenblatt11.ads, listenblatt11.adb, testblatt11.adb
  12. Übungsblatt (pdf) - Abgabe und Besprechung: 07.02., 9h45, eClaus
  13. Übungsblatt (pdf) - Abgabe und Besprechung: 14.02., 9h45, eClaus

 
Letzte Änderung 20.04.2012 ( mailto Lew ) |  © Universität Stuttgart | Impressum