22 lines
602 B
Plaintext
22 lines
602 B
Plaintext
{\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:\
|
|
\
|
|
} |