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/03/23 11:24] (current)
lutz [Termine]
Line 4: Line 4:
 === Klausur === === Klausur ===
   * Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen.    * Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen. 
-  * Zur Vorbereitung empfiehlt sich ein Blick auf die {{ws16:gloin:probeklausurWS1617.pdf|Probeklausur}}.+  * Zur Vorbereitung empfiehlt sich ein Blick auf die {{ws18:gloin:probeklausurWS1819.pdf|Probeklausur}} **(Achtung: Neue Version!)**. 
 +  * {{ws18:gloin:gloin-ws-2018-bonus.pdf|Bonuspunkte}} (Achtung: Auf eine **bestandene** Klausur wird entsprechend den gelisteten Punkten ein Bonus von maximal 15% angerechnet). 
  
 === Übungsblätter === === Übungsblätter ===
Line 17: Line 19:
   * {{: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!**).  
 +  * {{:ws18:gloin:uebung11.pdf|Übungsblatt 11}}; Abgabe: 31.01, 14:00.  
 +  * {{:ws18:gloin:uebung12.pdf|Übungsblatt 12}}  
 +  * In der letzten Woche wird in den Tutorien die {{ws18:gloin:probeklausurWS1819.pdf|Probeklausur}} besprochen.
  
  
Line 59: Line 64:
  
 === 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. 24393)}}, 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ß).