-
Schüler studieren Informatik am KIT

Grundbegriffe der Informatik

WS 2015/16

Vorlesung und Übung (Video)
Montag 15:45 - 17:15: SR -108 (Aufzeichnung GBI V/Ü vom Vor-Freitag, Beginn: 26.10.)
Mittwoch 15:45 - 17:15: SR 252 (Aufzeichnung GBI Vorlesung vom Mittwoch, Beginn: 21.10.)

Tutorium:
Montag 17:30 - 19:00: SR -120 (Tutorium GBI, Beginn: 26.10.)

KIT-Gebäude 50.34 ("Informatik-Hauptgebäude"), Am Fasanengarten 5, 76131 Karlsruhe Google-Maps: [hier]

Ein Skript zur Vorlesung WS 13/14 [download]

Abgabe der Übungsblätter

Das erste Aufgabenblatt wird es erst in der zweiten Vorlesungswoche geben, erste Abgabe also erst am Freitag, den 6. November.

folgende Prozedur ist einzuhalten (muss noch durch die Fakultät bestätigt werden)

• Lösungen handschriftlich erstellen, einscannen (Format: pdf)
  (Aufgaben werden nicht eingescannt, aber Deckblatt mit Matrikelnummer; Schülerstudenten bekommen Pseudomatrikelnummer)
• Name der pdf-Datei: <nachname>-<Blatt-Nr.> (ü durch ue erstezen etc.)
  Beispiel: mueller-3.pdf
  
• Mailen an simon.wacker[at]kit.edu und(!) uafrx[at]student.kit.edu
• Subject: GBI Blatt <Blatt-Nr.> von <V>.<Nachname> (also vom Vorname nur den ersten Buchstaben, groß)
  Beispiel: GBI Blatt 3 von T.Mueller
• Wichtig: Pro Schüler und pro Aufgabenblatt immer nur eine Datei

Zum der Web-Portal dieser Vorleung. Im Moment ist noch die Vorlesung vom WS 2013/14 verlinkt. [hier]

Inhalte der Vorlesung Algorithmen informell, Grundlagen des Nachweises ihrer Korrektheit Berechnungskomplexität, 'schwere' Probleme O-Notation, Mastertheorem Alphabete, Wörter, formale Sprachen endliche Akzeptoren, kontextfreie Grammatiken induktive/rekursive Definitionen, vollständige und strukturelle Induktion Hüllenbildung Relationen und Funktionen Graphen Syntax und Semantik für Aussagenlogik

Weiterführende Literatur Goos: Vorlesungen über Informatik, Band 1, Springer, 2005 Abeck: Kursbuch Informatik I, Universitätsverlag Karlsruhe, 2005

Kompetenzen Der/die Studierende soll grundlegende Definitionsmethoden erlernen und in die Lage versetzt werden, entsprechende Definitionen zu lesen und zu verstehen. den Unterschied zwischen Syntax und Semantik kennen. die grundlegenden Begriffe aus diskreter Mathematik und Informatik kennen und die Fähigkeit haben, sie im Zusammenhang mit  der Beschreibung von Problemen und Beweisen anzuwenden.