Deutsch | English
Kontakt     Übersicht     Suche Erweiterte Suche     Impressum   
{$naviAltText}

Hinweis: Diese Seiten sind nur noch bis Ende Juni 2012 online.
FAKULTÄT FÜR INFORMATIK UND AUTOMATISIERUNG
Institut für Theoretische Informatik



Logische Strukturen

Sommersemester 2008

Priv.-Doz. Dr. K.-H. Niggl



[Mitteilungen] [Inhalte] [Termine] [Scheinerhalt] [Literatur] [Materialien]



Mitteilungen

Die Klausureinsicht zur Klausur LS ( 21.07.2008) findet zu folgenden Terminen statt::

Dienstag, den 14.10.08

Mittwoch, den 15.10.08 jeweils von 15:00 - 18:00 Uhr

Im Informatikgebäude R 307




Inhalte




Termine


Vorlesung

Mittwoch

17:00-18:30

HU-Hs

Dr. K.-H. Niggl

Übungen

Dienstag

15:00-16:30

Sr HU 129

Dr. K.-H. Niggl

Freitag (G)

13:00-14:30

Sr HU 202

U. Schellbach



Literatur und Links

Literaturhinweise (aktualisiert)



Materialien und Übungsblätter

Klausurhinweise

Dokumente zur Vorlesung

Vorlesung am 02.07.2008

Vorlesung am 25.06.2008

Vorlesung am 18.06.2008

Vorlesung am 11.06.2008

Vorlesung am 04.06.2008

Vorlesung am 28.05.2008

Vorlesung am 14.05.2008

Vorlesung am 07.05.2008

Grundbegriffe

Vorlesung am 30.04.2008

Vorlesung am 23.04.2008

Vorlesung am 16.04.2008

Induktive Definitionen, Induktion und Rekursion über den Aufbau

Vorlesung am 09.04.2008

Vorlesung am 02.04.2008

Übungsblätter

Übungsblatt 7

Übungsblatt 6

Übungsblatt 5

Übungsblatt 4

Übungsblatt 3

Übungsblatt 2

Übungsblatt 1

 

 

 

 

 
 
  Zuletzt geändert:  07.10.2008
SEITE DRUCKEN