Interactive Systems Labs (ISL)

Grundbegriffe der Informatik

  • type: Vorlesung (V)
  • semester: WS 17/18
  • time: 2017-10-18
    09:45 - 11:15 wöchentlich
    30.95 Forum Hörsaal (Audimax) 30.95 Hörsaal-Gebäude am Forum (AUDIMAX)


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

Weiterführende Literatur

  • Goos: Vorlesungen über Informatik, Band 1, Springer, 2005
  • Abeck: Kursbuch Informatik I, Universitätsverlag Karlsruhe, 2005
Content of teaching
  • 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
WorkloadVorlesung: 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
AimDer/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.