Stage-oe-small.jpg

Lehre/Vorlesung Grundlagen der Informatik I: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
Zeile 5: Zeile 5:
 
|Forschungsgruppe=Web Science
 
|Forschungsgruppe=Web Science
 
|Dozent=York Sure-Vetter; Achim Rettinger;
 
|Dozent=York Sure-Vetter; Achim Rettinger;
|Übungsleiter=Tobias Weller; Anna Hensel;  
+
|Übungsleiter=Tobias Weller; Anna Hensel;
 
|Leistungspunkte=5 ECTS
 
|Leistungspunkte=5 ECTS
 +
|Erfolgskontrolle=Schriftliche Prüfung (idR.)
 
|Semester=SS
 
|Semester=SS
 
|LinkVVZ=http://ilias.studium.kit.edu
 
|LinkVVZ=http://ilias.studium.kit.edu

Version vom 28. August 2018, 11:35 Uhr

Vorlesung Grundlagen der Informatik I

Details zur Lehrveranstaltung
Dozent(en) York Sure-VetterAchim Rettinger
Übungsleiter Tobias WellerAnna Hensel
Fach (Gebiet)
Leistungspunkte 5 ECTSDer Datenwert „ECTS“ kann einem Attribut des Datentyps Zahl nicht zugeordnet werden sondern bspw. der Datenwert „5“. ECTS
Erfolgskontrolle Schriftliche Prüfung (idR.)
Semester SS


Aktuelle und ergänzende Informationen, sowie Zeiten und Räume der Lehrveranstaltung finden Sie im Vorlesungsverzeichnis der Universität.
Link zum Vorlesungsverzeichnis
Link zum Studierendenportal


Forschungsgruppe


Inhalt

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


Literatur

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