RG 3-01 'Multilingual Speech Recognition'

Grundbegriffe der Informatik

  • type: Vorlesung (V)
  • 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.