Tutorium WS 2006/07 - Informatik A
Willkommen auf der Seite zu meinem Tutorium in Informatik A (WS 2006/07). Hier findet ihr Informationen und Materialien zum Kurs. Bei Fragen, einfach eine Email schreiben.
Aktuelles und Materialien
Frequently Made Mistakes (FMM):
- Für DNF Minterme auslesen (mit Funktionswert 1), dann steht 0 für negatives Literal, 1 für positives Literal
- Für KNF Maxterme auslesen (mit Funktionswert 0), dann steht 0 für positives Literal, 1 für negatives Literal
- Beim Resolutionskalkül, darf pro Resolutionsschritt stets nur eine Variable gestrichen werden
So sollten Wertetabellen aussehen:
|
|
| x |
x1 |
x0 |
| 0 |
0 |
0 |
| 1 |
0 |
1 |
| 2 |
1 |
0 |
| 3 |
1 |
1 |
|
| x |
x2 |
x1 |
x0 |
| 0 |
0 |
0 |
0 |
| 1 |
0 |
0 |
1 |
| 2 |
0 |
1 |
0 |
| 3 |
0 |
1 |
1 |
| 4 |
1 |
0 |
0 |
| 5 |
1 |
0 |
1 |
| 6 |
1 |
1 |
0 |
| 7 |
1 |
1 |
1 |
|
| x |
x3 |
x2 |
x1 |
x0 |
| 0 |
0 |
0 |
0 |
0 |
| 1 |
0 |
0 |
0 |
1 |
| 2 |
0 |
0 |
1 |
0 |
| 3 |
0 |
0 |
1 |
1 |
| 4 |
0 |
1 |
0 |
0 |
| 5 |
0 |
1 |
0 |
1 |
| 6 |
0 |
1 |
1 |
0 |
| 7 |
0 |
1 |
1 |
1 |
| 8 |
1 |
0 |
0 |
0 |
| 9 |
1 |
0 |
0 |
1 |
| 10 |
1 |
0 |
1 |
0 |
| 11 |
1 |
0 |
1 |
1 |
| 12 |
1 |
1 |
0 |
0 |
| 13 |
1 |
1 |
0 |
1 |
| 14 |
1 |
1 |
1 |
0 |
| 15 |
1 |
1 |
1 |
1 |
|
Die 16 zweistelligen booleschen Funktionen:
| a |
b |
f0 |
f1 |
f2 |
f3 |
f4 |
f5 |
f6 |
f7 |
f8 |
f9 |
f10 |
f11 |
f12 |
f13 |
f14 |
f15 |
| 0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
| 0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
| 1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
| 1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
f0 = Kontradiktion / Nullfunktion (0)
f1 = Konjunktion (∧, AND)
f2 = Inhibition von a (NOT(a=>b))
f3 = Identität von a (ID(a))
f4 = Inhibition von b (NOT(b=>a))
f5 = Identität von b (ID(b)) (AND)
f6 = Antivalenz (XOR)
f7 = Disjunktion (∨, OR)
f8 = Peirce-Funktion (NOR)
f9 = Äquivalenz (XNOR)
f10 = Negation von b (NOT(b))
f11 = Replikation (b=>a)
f12 = Negation von a (NOT(a))
f13 = Implikation (a=>b)
f14 = Sheffer-Funktion (NAND)
f15 = Tautologie / Einsfunktion (1)
Dateien
Links
Generelles
Haskell
Evtl. hilfreiche Links für Haskell unter Mac OS (keine Garantie)
Last Update: 05.04.2011 02:46:53
