FoC Klausurvorbereitung: Infos zur letzten Klausur

ws2011/FOC/Klausurvorbereitung/Inhalte Klausur WS10-11.rtf

@@ -0,0 +1,17 @@
+{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf320
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\paperw11900\paperh16840\margl1440\margr1440\vieww10800\viewh8400\viewkind0
+\pard\tx566\tx1133\tx1700\tx2267\tx2834\tx3401\tx3968\tx4535\tx5102\tx5669\tx6236\tx6803\pardirnatural
+
+\f0\fs24 \cf0 Stichpunkte:\
+\
+- Funktionsaufrufe (kamen ziemlich viele dran):\
+	Schreiben Sie eine Funktion, die den Gesamtpreis alles Getr\'e4nke ausrechnet\
+	price(list(\'85)), oder selbst Funktionen basteln\
+	\
+- Kalk\'fcle\
+- Threading modellieren f\'fcr Prozess c1 und c2\
+- Wissensfragen\
+- Beweis (nur ein kleiner)\
+- Graphen eine Aufgabe}

ws2011/FOC/Klausurvorbereitung/klausurzettel.rtf

@@ -0,0 +1,22 @@
+{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf320
+{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\paperw11900\paperh16840\margl1440\margr1440\vieww10800\viewh8400\viewkind0
+\pard\tx566\tx1133\tx1700\tx2267\tx2834\tx3401\tx3968\tx4535\tx5102\tx5669\tx6236\tx6803\pardirnatural
+
+\f0\fs24 \cf0 Nach \'dcbungen:\
+1: 	Aussagenlogik, Pr\'e4dikatenlogik\
+2:	Arbeitskreise der EU\
+3:	Funktionen erstellen (Pizza-Aufgabe)\
+4:	Beispiel zu NDFA, NFA,\
+5:	IMP-Regeln (Bexp, Aexp, \'85)\
+6:	Programm\'e4quivalenz zeigen, strukturelle Induktion\
+7:\
+8:\
+9:\
+10:\
+11:\
+12:\
+13:\
+\
+}