Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

Lehre/Vorlesung Grundlagen der Informatik II/en

Aus Aifbportal

Wechseln zu: Navigation, Suche

Foundations of Informatics II



Details of Course
Type of course lecture
Lecturer(s) Hartmut Schmeck
Instructor(s) Lukas König, Pradyumn Kumar Shukla
Subject
Credit Points 5
Control of Success Klausur
Term winter




Research Group


Content

Die Vorlesung beschäftigt sich mit formalen Modellen für Automaten, Sprachen und Algorithmen sowie mit realen Ausprägungen dieser Modelle, d.h. mit Rechnerarchitektur und -organisation (Hardware-Entwurf, Rechnerarithmetik, Architektur-Konzepte), Programmiersprachen (verschiedene Sprachebenen von Mikroprogrammierung bis zu höheren Programmiersprachen, sowie Programmübersetzung und -ausführung), Betriebssysteme und Betriebsarten (Aufbau und Eigenschaften von Betriebssystemen, konkrete Betriebssystem-Aufgaben, Client-Server Systeme), Dateiorganisation und Datenverwaltung (Dateiorganisationsformen, Primär-/Sekundärorganisation).

Starting with formal models for automata, languages, and algorithms, the course covers realisations of these models by looking at computer architecture and organisation (hardware design, computer arithmetic, microprocessor architecture), programming languages (different levels from microprogramming to high level languages, program translation and execution), operating systems and modes of operation (structure and properties of operating systems, standard tasks, client-server systems), file handling and storage organisation (methods of storing and accessing files, primary/secondary storage organisation).


Literature
  • P. Sander, W. Stucky, R. Herschel: Automaten, Sprachen, Berechenbarkeit, 2. Auflage, W. Stucky (Hrsg): Grundkurs Angewandte Informatik IV, B.G. Teubner, Stuttgart, 1994.
  • J. E. Hopcroft, J. D. Ullmann: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, Addison Wesley, Bonn, 1994.
  • U. Schöning: Theoretische Informatik kurz gefaßt, 2. Auflage, Spektrum Akademischer Verlag, Heidelberg 1995.
  • G. Vossen, K.-U. Witt: Grundlagen der Theoretischen Informatik mit Anwendungen. 2. Auflage, Vieweg, Braunschweig/Wiesbaden, 2002.
  • D. Patterson, J. Hennessy: Computer organization and design, 3rd edition, Morgan Kaufmann Publ., 1998.
  • Richter/Sander/Stucky: Der Rechner als System, Grundkurs Angewandte Informatik III, Teubner Verlag, Stuttgart, 1997.
  • M. Morris Mano: Computer System Architecture, 3rd Edition, Prentice-Hall, 1993.


Notes

Voraussetzungen/Empfehlungen: Grundlagen der Informatik I

Die Vorlesung wird zu Beginn des Semesters 4-stündig und am Ende 2-stündig gelesen, um eine bessere Abdeckung des Inhalts in den Übungen zu gewährleisten.



-->