EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

ws18:gloin [2019/01/14 00:58]
sergey
ws18:gloin [2019/01/17 11:53] (current)
lutz [Termine]
Line 17: Line 17:
   * {{:ws18:gloin:uebung08.pdf|Übungsblatt 8}}; Abgabe: 10.01, 14:00.    * {{:ws18:gloin:uebung08.pdf|Übungsblatt 8}}; Abgabe: 10.01, 14:00. 
   * {{:ws18:gloin:uebung09.pdf|Übungsblatt 9}}; Abgabe: 17.01, 14:00 - Coq-Beispiele (Präsenzaufgaben): {{:ws17:gloin:drinker.v|}} {{:ws17:gloin:groups.v|}}.    * {{:ws18:gloin:uebung09.pdf|Übungsblatt 9}}; Abgabe: 17.01, 14:00 - Coq-Beispiele (Präsenzaufgaben): {{:ws17:gloin:drinker.v|}} {{:ws17:gloin:groups.v|}}. 
-  * {{:ws18:gloin:uebung10.pdf|Übungsblatt 10}}; Abgabe: 24.01, 14:00. +  * {{:ws18:gloin:uebung10.pdf|Übungsblatt 10}}; Abgabe: 24.01, 14:00 (**Achtung: Korrigiert!**)
  
  
Line 59: Line 59:
  
 === Hilfsmaterial === === Hilfsmaterial ===
-  * Es gibt ein  {{:ws18:gloin:skript.pdf|Skript (Rev. 23439)}}, das wohl nicht mehr sinnvollerweise inoffiziell genannt werden kann. Dennoch ist der Inhalt des Skripts während der Vorlesungszeit stets als vorläufig anzusehen, insbesondere hinsichtlich des Umfangs des Materials; will sagen, es kann ggf. Material hinzukommen. Eine Version, die dem tatsächlichen Ablauf der Veranstaltung entspricht, wird erst nach Abschluss der Vorlesungen zur Verfügung gestellt.+  * Es gibt ein  {{:ws18:gloin:skript.pdf|Skript (Rev. 23623)}}, das wohl nicht mehr sinnvollerweise inoffiziell genannt werden kann. Dennoch ist der Inhalt des Skripts während der Vorlesungszeit stets als vorläufig anzusehen, insbesondere hinsichtlich des Umfangs des Materials; will sagen, es kann ggf. Material hinzukommen. Eine Version, die dem tatsächlichen Ablauf der Veranstaltung entspricht, wird erst nach Abschluss der Vorlesungen zur Verfügung gestellt.
   * {{:notation.pdf|notation.pdf}} --- eine Kurzzusammenfassung relevanter mathematischer Begriffe und Schreibweisen.   * {{:notation.pdf|notation.pdf}} --- eine Kurzzusammenfassung relevanter mathematischer Begriffe und Schreibweisen.
   * {{:ss13:glolop:induktion.pdf|induktion.pdf}} --- Hilfsblatt für Induktionsbeweise (von Thomas Voß).   * {{:ss13:glolop:induktion.pdf|induktion.pdf}} --- Hilfsblatt für Induktionsbeweise (von Thomas Voß).