Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Lehre/Vorlesung Grundlagen der Informatik I/en

Aus Aifbportal

Wechseln zu: Navigation, Suche

Grundlagen der Informatik I



Details of Course
Type of course lecture
Lecturer(s) Rudi Studer, Achim Rettinger
Instructor(s) Sebastian Bader, Patrick Philipp
Subject
Credit Points 5 ECTS
Control of Success
Term summer


You find additional information, the time schedule and room numbers in the University Course Overview.

Course Overview https://campus.studium.kit.edu/events/H8U8KcNcCkS_xsJ1w68ZnA
Student Portal https://ilias.studium.kit.edu/goto_produktiv_crs_421867.html



Research Group


Content

Die Vorlesung bietet eine Einführung in grundlegende Konzepte der Informatik und des Software Engineerings. Wesentliche theoretische Grundlagen und Lösungsansätze, die in allen Bereichen der Informatik von Bedeutung sind werden vorgestellt sowie anhand von Beispielen erläutert und eingeübt. Folgende Themenbereiche werden abgedeckt:

  • Objektorientierte Modellierung
  • Logik (Aussagenlogik, Prädikatenlogik, Boolesche Algebra)
  • Algorithmen und ihre Eigenschaften
  • Sortier- und Suchverfahren
  • Problemspezifikationen
  • Dynamische Datenstrukturen


Literature

Das erste Buch bietet einen allgemeinen Überblick über die Themen der Vorlesung, und ist insbesondere als Lehrbuch geeignet. Die anderen hingegen vertiefen einzelne Bereiche und sind auch als Referenz geeignet:

  • H. Balzert: Lehrbuch Grundlagen der Informatik, Spektrum Akademischer Verlag, November 2004, ISBN: 3827414105
  • U. Schöning: Logik für Informatiker, Spektrum Akademischer Verlag, Januar 2000, ISBN: 3827410053
  • T. H. Cormen, C. E. Leiserson: Introduction to Algorithms, MIT Press, September 2001, ISBN: 262032937