Informatik A
2003-04-01

Lehrpersonen


Dozent(in)
Übungsleiter(innen)

Termine



Beschreibung


  • Schaltfunktionen (Zahldarstellung, Boolesche Algebra, Schaltfunktionen)
  • Schaltnetze und ihre Optimierung
  • Schaltwerke
  • Programmierbare Logische Arrays (PLA)
  • Bemerkungen zum Entwurf von VLSI Schaltungen
  • Grundlegende Additions- und Multiplikationsalgorithmen und Schaltungen
  • Organisationsplan eines von-Neumann-Rechners
  • Eine kleine Programmiersprache (Syntaktische Beschreibungsmittel, Syntax Semantik, Parsing)
  • Logiksprachen und Prolog
  • Funktionale Programmierung

Bemerkungen


Klausur

Vorläufige Klausurergebnisse Nachklausur (15.3.2004):

Punkteliste

Bemerkungen zu den Übungen

Zu den Übungen werden in der Vorlesung am Mittwoch Übungsblätter ausgegeben. Bitte benutzen Sie für jede Aufgabe ein getrenntes Blatt und geben Sie die bearbeiteten Aufgaben bis spätestens am Dienstag vor Beginn der Vorlesung, also bis 12:15 Uhr, ab. Dazu benutzen Sie bitte die entsprechend beschrifteten Briefkästen neben dem Raum LF 230 . Die Aufgaben werden korrigiert in der Übung der darauffolgenden Woche zurückgegeben, daher vermerken Sie bitte auf den Aufgaben, welche Gruppe Sie besuchen möchten, Ihren Namen und Ihre Matrikelnummer. . Diese Angaben bitte auf jedes abgegebene Blatt schreiben.

Zum Ende der Vorlesungszeit findet eine schriftliche Leistungskontrolle (Klausur) statt. Durch Übungspunkte können Bonuspunkte für diese Klausur erzielt werden, die Höhe der Gutschrift richtet sich nach der erzielten Prozentzahl der Übungspunkte.

Begleitmaterial


Vorlesung/Übung


Nachfragen und Übungsabgaben bitte an die Veranstalter schicken (siehe oben).

Aufgaben

Skriptum

Mitschrift

Folien

Pascal Beispiele

Tutorium:

Literaturhinweise


Informatik

  • Gert Böhme: Einstieg in die Mathematische Logik. Hanser, München 1981

  • Volker Claus und Andreas Schwill: Schülerduden Informatik. Dudenverlag, Mannheim 1997

  • Herbert Klaeren: Vom Problem zum Programm. Teubner, Stuttgart 1991

  • Uwe Schöning: Logik für Informatiker. 4. Auflage. Spektrum-Verlag, Mannheim 2000

  • Ramin Yasdi: Logik und Programmieren in Logik. Prentice Hall, München 1995

Rechneraufbau

  • Wolfgang Coy: Aufbau und Arbeitsweise von Rechenanlagen. Vieweg, Braunschweig 1992

  • Walter Oberschelp und Gottfried Vossen: Rechneraufbau und Rechnerstrukturen. 8. Auflage. Oldenbourg Verlag, München 2000

Programmiersprache

  • G. Bohlender, E. Kaucher, R. Klatte, Ch. Ullrich: Einstieg in die Informatik mit Pascal. BI-Wissenschaftsverlag, Mannheim 1993

  • Kathleen Jensen, Niklaus Wirth: PASCAL user manual and report : revised for the ISO Pascal standard. 3. Auflage. Springer, New York [u.a.] 1985

  • Herbert Klaeren: Vom Problem zum Programm. Teubner, Stuttgart 1991

Logische Programmierung

  • Hans Kleine Büning und Stefan Schmitgen: PROLOG. Teubner, Stuttgart 1988

  • Uwe Schöning: Logik für Informatiker. 4. Auflage. Spektrum-Verlag, Mannheim 1996

  • Ramin Yasdi: Logik und Programmieren in Logik. Prentice Hall, München 1995

Funktionale Programmierung