LV-Nummer: 506.002
Stunden: 3 Vo(Vorlesung)
Semester: 1. Sem.
Institut: 506/B (``IST'' )
ECTS-Punkte: 5.5 credits
Vortragender:
Univ.-Ass. Dipl.-Ing. Dr.techn. Bernhard Aichernig ()
Lehrinhalt:
Ein kurzer Überblick über die Teilgebiete der Informatik und eine grundlegende Einführung in die Informatik: Induktion, Reduktion, Iteration, induktive Definition von Datentypen, rekursive und iterative Funktionsdefinitionen, Induktionsbeweise; Konzepte funktionaler Sprachen, einfache Problemklassen und Algorithmen in den Bereichen natürlicher und ganzer Zahlen sowie Listen; Definition abstrakter Datentypen, Kapselung: Mengen, Bäume usw. Konzepte imperativer Sprachen; Objektorientierung. Einführung in den Softwareentwicklungsprozeß: V-Modell, Requirementsanalyse, Entwurf und Implementierung, Spezifikation und Verifikation imperativer Programme. Definition von Programmiersprachen: BNF, reguläre Ausdruecke, Parsing und lexikalische Analyse, abstrakte Maschinen; Begriff der Komplexität; von-Neumann-Architektur und maschinennahe Programmierung.
Lehrziel:
Überblick und Einführung in die Informatik, deren Grundlagen und Denkweisen, sowie Einführung in die Entwicklung von Algorithmen und abstrakten Datentypen, Programmieren auf einer hohen Abstraktionsebene.
Lehrmethode:
Vorlesung mit audiovisueller Unterstützung
Studienbehelfe:
Skriptum erscheint in Teilen während des Semesters. Empfehlung von Lehrbüchern in der ersten Vorlesungsstunde.
Prüfungsmodus:
Schriftlich