Praktische Informatik 1
TITEL: Praktische Informatik I
PROFESSOR/DOZENT: Professorinnen und Professoren der Informatik und Technischen Informatik im Wechsel
ART/UMFANG: Vorlesung 4 SWS + Übung 2 SWS
URL: siehe Seiten der Professorin/des Professors, der die Vorlesung aktuell hält
INHALT: Dies ist das standardisierte Curriculum, wie von den Dozenten des Instituts für Informatik beschlossen. Die wichtigsten Lernziele sind der systematische Entwurf von Algorithmen und die Programmierung in einer höheren Programmiersprache.
  1. Geschichte der Informatik (optional)
    Geschichte der Hardware, Geschichte der Software, Geschichte der Ideen

  2. Grundbegriffe
    Elementare Logik, Aussagenlogik, Formeln der Prädikatenlogik; Bäume; Endliche Automaten; Arithmetische Operationen

  3. Algorithmenentwurf
    Algorithmenbegriff; Berechnungsprobleme; abstrakte Berechnungsmodelle; Kosten, Komplexität von Algorithmen, Komplexität von Problemen; Korrektheit und Verifikation von Algorithmen; Beispiele für elementare Algorithmen, z. B. Arithmetik mit Binärzahlen, Rechnen mit div und mod, Minimumsuche, Sortieren durch Einfügen, Sortieren durch Minimumsuche

  4. Einführung in die Sprache Java
    Einführende Beispiele, lexikalische Konventionen; Typen und Werte; Konstanten und Variable, Typumwandlungen; Ausdrücke und Operatoren, Anweisungen; Felder, Klassen, Objekte und Methoden

  5. Strukturierte Programmierung
    Systematischer Entwurf von Algorithmen, schrittweise Verfeinerung; Steuerung des Befehlsflusses; Modularität; Rekursive Prozeduren; einfache Datenstrukturen: Liste, Stack, Queue, Binärbäume; Beispiele für Algorithmen, z. B. Durchlaufstrategien für Bäume (preorder, inorder, postorder), Heapsort, Entrekursivierung; Konzepte der objektorientierten Programmierung

  6. Einführung in die nicht-prozedurale Programmierung (optional)

  7. Einführung in die Sprache C (optional)
LITERATUR: Martin Schader: Java - eine Einführung. Springer-Verlag, Heidelberg, 1999
Les Goldschlager, Andrew Lister: Informatik - Eine moderne Einführung. Hanser-Verlag, München, 1990
Uwe Schöning: Logik für Informatiker. Spektrum Akademischer Verlag, Heidelberg, 2000

Kontakt: webadmin //at// pi4.informatik.uni-mannheim.de