KIT - Interactive Systems Labs (ISL)Institute - Lectures @ KIT

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)
weitere...

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

links

weitere Informationen

Notes	Aktuelle 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
Bibliography	Keine. 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
Workload	Vorlesung: 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
Aim	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.