Grundbegriffe der Informatik

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    2017-02-10
    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
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.