Home | deutsch  | Legals | Sitemap | KIT

Grundbegriffe der Informatik

Grundbegriffe der Informatik
type: Vorlesung (V) links:
semester: WS 16/17
time: 19.10.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)


19.10.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

19.10.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

21.10.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

21.10.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

21.10.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

26.10.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

26.10.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

26.10.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

28.10.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

28.10.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

28.10.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

02.11.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

02.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

02.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

04.11.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

04.11.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

04.11.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

09.11.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

09.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

09.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

11.11.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

11.11.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

11.11.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

16.11.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

16.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

16.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

18.11.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

18.11.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

18.11.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

23.11.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

23.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

23.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

25.11.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

25.11.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

25.11.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

30.11.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

30.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

30.11.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

02.12.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

02.12.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

02.12.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

07.12.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

07.12.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

07.12.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

09.12.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

09.12.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

09.12.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

14.12.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

14.12.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

14.12.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

16.12.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

16.12.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

16.12.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

21.12.2016
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

21.12.2016
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

21.12.2016
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

23.12.2016
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

23.12.2016
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

23.12.2016
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

11.01.2017
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

11.01.2017
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

11.01.2017
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

13.01.2017
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

13.01.2017
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

13.01.2017
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

18.01.2017
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

18.01.2017
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

18.01.2017
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

20.01.2017
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

20.01.2017
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

20.01.2017
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

25.01.2017
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

25.01.2017
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

25.01.2017
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

27.01.2017
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

27.01.2017
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

27.01.2017
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

01.02.2017
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

01.02.2017
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

01.02.2017
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

03.02.2017
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

03.02.2017
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

03.02.2017
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

08.02.2017
09:45 - 11:15 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

08.02.2017
09:45 - 11:15 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

08.02.2017
09:45 - 11:15 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

10.02.2017
09:45 - 10:30 wöchentlich
30.95 Audimax 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)

10.02.2017
09:45 - 10:30 wöchentlich
50.34 Raum -101 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

10.02.2017
09:45 - 10:30 wöchentlich
50.34 Raum -102 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


lecturer: Dr. Sebastian Stüker
sws: 3
lv-no.: 24001
BemerkungenAktuelle Informationen unter http://gbi.ira.uka.de/
Beschreibung
  • 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
LiteraturhinweiseKeine.

Weiterführende Literatur

  • Goos: Vorlesungen über Informatik, Band 1, Springer, 2005
  • Abeck: Kursbuch Informatik I, Universitätsverlag Karlsruhe, 2005
Lehrinhalt
  • 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
ArbeitsbelastungVorlesung: 22.5 h = 15 x 1.5 h
Nachbereitung: 18.75 h = 15 x 1.25 h
Uebung: 11.25 h = 15 x 0.75 h
Tutorium: 22.5 h = 15 x 1.5
Bearbeitung von Aufgaben 14 h = 14 x 1 h
Klausurvorbereitung: 29 h = 29 x 1 h
Klausur: 2 h
Summe: 120 h
ZielDer/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.