Home | english  | Impressum | Sitemap | KIT

Grundbegriffe der Informatik

Grundbegriffe der Informatik
Typ: Vorlesung (V) Links:
Semester: WS 12/13
Ort:

Audimax und weitere

Zeit: 12.12.2012
11:30-13:00
50.34 Raum -101


12.12.2012
11:30-13:00
50.34 Raum -109

24.10.2012
11:30-13:00
50.34 Raum -102

24.10.2012
11:30-13:00
50.34 Raum -108

17.10.2012
11:30-13:00
50.34 Raum -102

31.10.2012
11:30-13:00
30.95 Audimax

31.10.2012
11:30-13:00
50.34 Raum -101

05.12.2012
11:30-13:00
50.34 Raum -107

09.01.2013
11:30-13:00
50.34 Raum -107

17.10.2012
11:30-13:00
50.34 Raum -107

24.10.2012
11:30-13:00
30.95 Audimax

17.10.2012
11:30-13:00
50.34 Raum -119

17.10.2012
11:30-13:00
50.34 Raum -109

28.11.2012
11:30-13:00
30.95 Audimax

14.11.2012
11:30-13:00
50.34 Raum -109

05.12.2012
11:30-13:00
50.34 Raum -109

24.10.2012
11:30-13:00
50.34 Raum -101

19.12.2012
11:30-13:00
50.34 Raum -107

16.01.2013
11:30-13:00
50.34 Raum -102

30.01.2013
11:30-13:00
50.34 Raum -108

19.12.2012
11:30-13:00
50.34 Raum -109

16.01.2013
11:30-13:00
50.34 Raum -101

19.12.2012
11:30-13:00
30.95 Audimax

12.12.2012
11:30-13:00
50.34 Raum -102

19.12.2012
11:30-13:00
50.34 Raum -119

28.11.2012
11:30-13:00
50.34 Raum -109

06.02.2013
11:30-13:00
50.34 Raum -109

30.01.2013
11:30-13:00
50.34 Raum -119

07.11.2012
11:30-13:00
50.34 Raum -102

21.11.2012
11:30-13:00
50.34 Raum -108

24.10.2012
11:30-13:00
50.34 Raum -119

23.01.2013
11:30-13:00
50.34 Raum -101

16.01.2013
11:30-13:00
50.34 Raum -120

06.02.2013
11:30-13:00
50.34 Raum -107

16.01.2013
11:30-13:00
50.34 Raum -119

09.01.2013
11:30-13:00
50.34 Raum -109

28.11.2012
11:30-13:00
50.34 Raum -108

12.12.2012
11:30-13:00
50.34 Raum -107

14.11.2012
11:30-13:00
50.34 Raum -108

24.10.2012
11:30-13:00
50.34 Raum -107

30.01.2013
11:30-13:00
50.34 Raum -101

07.11.2012
11:30-13:00
50.34 Raum -107

07.11.2012
11:30-13:00
50.34 Raum -120

21.11.2012
11:30-13:00
50.34 Raum -109

31.10.2012
11:30-13:00
50.34 Raum -109

23.01.2013
11:30-13:00
50.34 Raum -108

21.11.2012
11:30-13:00
30.95 Audimax

06.02.2013
11:30-13:00
50.34 Raum -108

16.01.2013
11:30-13:00
30.95 Audimax

06.02.2013
11:30-13:00
30.95 Audimax

06.02.2013
11:30-13:00
50.34 Raum -102

02.01.2013
11:30-13:00
30.95 Audimax

14.11.2012
11:30-13:00
50.34 Raum -101

07.11.2012
11:30-13:00
50.34 Raum -109

02.01.2013
11:30-13:00
50.34 Raum -108

19.12.2012
11:30-13:00
50.34 Raum -101

02.01.2013
11:30-13:00
50.34 Raum -109

05.12.2012
11:30-13:00
50.34 Raum -119

31.10.2012
11:30-13:00
50.34 Raum -120

02.01.2013
11:30-13:00
50.34 Raum -107

07.11.2012
11:30-13:00
30.95 Audimax

19.12.2012
11:30-13:00
50.34 Raum -108

23.01.2013
11:30-13:00
50.34 Raum -119

09.01.2013
11:30-13:00
50.34 Raum -119

28.11.2012
11:30-13:00
50.34 Raum -101

21.11.2012
11:30-13:00
50.34 Raum -120

07.11.2012
11:30-13:00
50.34 Raum -108

09.01.2013
11:30-13:00
30.95 Audimax

14.11.2012
11:30-13:00
50.34 Raum -107

09.01.2013
11:30-13:00
50.34 Raum -108

05.12.2012
11:30-13:00
50.34 Raum -108

09.01.2013
11:30-13:00
50.34 Raum -120

14.11.2012
11:30-13:00
50.34 Raum -102

12.12.2012
11:30-13:00
30.95 Audimax

12.12.2012
11:30-13:00
50.34 Raum -108

24.10.2012
11:30-13:00
50.34 Raum -120

16.01.2013
11:30-13:00
50.34 Raum -108

14.11.2012
11:30-13:00
30.95 Audimax

23.01.2013
11:30-13:00
30.95 Audimax

23.01.2013
11:30-13:00
50.34 Raum -102

28.11.2012
11:30-13:00
50.34 Raum -120

31.10.2012
11:30-13:00
50.34 Raum -102

23.01.2013
11:30-13:00
50.34 Raum -109

30.01.2013
11:30-13:00
50.34 Raum -120

17.10.2012
11:30-13:00
30.95 Audimax

24.10.2012
11:30-13:00
50.34 Raum -109

31.10.2012
11:30-13:00
50.34 Raum -108

07.11.2012
11:30-13:00
50.34 Raum -119

14.11.2012
11:30-13:00
50.34 Raum -119

21.11.2012
11:30-13:00
50.34 Raum -102

28.11.2012
11:30-13:00
50.34 Raum -119

05.12.2012
11:30-13:00
50.34 Raum -101

12.12.2012
11:30-13:00
50.34 Raum -120

19.12.2012
11:30-13:00
50.34 Raum -102

02.01.2013
11:30-13:00
50.34 Raum -119

09.01.2013
11:30-13:00
50.34 Raum -101

16.01.2013
11:30-13:00
50.34 Raum -109

23.01.2013
11:30-13:00
50.34 Raum -107

30.01.2013
11:30-13:00
50.34 Raum -102

06.02.2013
11:30-13:00
50.34 Raum -119

Dozent: Prof.Dr.Ing. Tanja Schultz
Matthias Janke
SWS: 2
LVNr.: 24001

Bemerkungen:

Aktuelle Informationen unter http://gbi.ira.uka.de/

Vortragssprache:

Deutsch

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

Literaturhinweise:

Keine.

Weiterführende Literatur

  • Goos: Vorlesungen über Informatik, Band 1, Springer, 2005
  • Abeck: Kursbuch Informatik I, Universitätsverlag Karlsruhe, 2005

Lehrinhalt:

    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.