Logik 1 – WS 2006/2007


Sorry, diese Seite wurde noch nicht ins neue Design übernommen, inhaltlich aber auch nicht mehr aktualisiert!

Bei Fragen und Problemen einfach das Forum benutzen (http://www.ki.inf.tu-dresden.de/PhpBB/viewforum.php?f=2).


Meine Stunden

Mittwoch 1. DS SE1/101
Donnerstag 1. DS WIL/B122

Übungsaufgaben

Nachfolgende Tabelle zeigt, was bereits in den Übungen besprochen wurde bzw. was für die kommende(n) Übung(en) geplant ist.
Eine selbstständige Vorbereitung auf die Aufgaben wird vorausgesetzt!

Aufgabe lösbar? behandelt?
Vorbereitende Aufgaben
A Übung 1 Übung 1
B Übung 1 Übung 1, Übung 2
Aussagenlogik
Syntax (3.1)
A Übung 2 nein
B Übung 2 Übung 2
C Übung 2 Übung 2
D Übung 2 Übung 2
E Übung 3 Übung 3
F Übung 3 Übung 3
G Übung 3 Übung 3
H Übung 3 nein
I Übung 2 nein
K Übung 2 nein
L Übung 3 Übung 3
M Übung 3 Übung 4
N Übung 2 Übung 4
O Übung 3 Übung 4
P Übung 3 nein
Semantik (3.2)
A Übung 3 Übung 3
B Übung 3 Übung 3
C Übung 4 Übung 4
D Übung 4 Übung 4
E Übung 4 Übung 4
F Übung 4 nein
G Übung 4 Übung 5
H Übung 4 Übung 4
I Übung 4 Übung 4
K Übung 4 Übung 4
L Übung 4 nein
M Übung 4 Übung 5
N Übung 3 nein
O Übung 6 Übung 7
Semantische Äquivalenz (3.3.1)
A Übung 5 Übung 5
B Übung 5 Übung 5
C Übung 5 Übung 5
Negationsnormalform (3.3.2)
A Übung 6 nein
Klauselformen (3.3.3)
A Übung 6 Übung 7
B Übung 6 Übung 7
C Übung 6 nein
D Übung 8 Übung 8
E Übung 8 Übung 8
F Übung 8 Übung 8
G Übung 14 nein
Zusätzliche Aufgabe (3.3.4)
A Übung 6 Übung 7
B Übung 6 Übung 7
C Übung 6 Übung 7
Beweisverfahren (3.4)
A Übung 8 nein
B Übung 8 Übung 8
C Übung 8 Übung 9
D Übung 9 Übung 9
E Übung 9 Übung 9
F Übung 9 Übung 9
Endlichkeitssatz (3.5.1)
A Übung 10 Übung 10
B Übung 10 Übung 10
Resolution (3.5.2)
A Übung 10 nein
Testen auf Erfüllbarkeit (3.5.3)
A Übung 10 Übung 11
Prädikatenlogik
Syntax (4.1)
A Übung 11 Übung 11
B Übung 12 Übung 12
C Übung 12 Übung 12
D Übung 12 Übung 12
E Übung 11 Übung 11
Substitutionen (4.2)
A Übung 13 Übung 13
B Übung 12 Übung 13
C Übung 12 nein
D Übung 12 Übung 13
Semantik (4.3)
A Übung 14 nein
B Übung 13 Übung 13
C Übung 14 Übung 14
D Übung 13 Übung 13
E Übung 14 nein
F Übung 14 nein
G Übung 14 Übung 14
H Übung 14 Übung 14

Natürlich können auch Fragen zu anderen Aufgaben gestellt werden.

Planung für letzte Übung (14):
Abschluss Abschnitt 4.3 (mehr ist nicht notwendig)
Diskussion der Mathematiker, Philosophen, ..., Quantoren und Junktoren (Hausaufgabe Übung 13)
Beachte: neue Aufgabe 3.3.3 G (die wir aber nicht mehr behandeln)

Folien

Vollständige Induktion (von Algorithmen und Datenstrukturen, pdf, 12.10.2006)
Einführungsveranstaltung
(pdf, 12.10.2006)

Links

Übungsaufgaben
Natürliche Zahlen
Vollständige Induktion
Kapitel zu uninformierten Suchverfahren (insbesondere BFS, DFS) (Link "Leseprobe")
Persönliche Linksammlung

..:: Impressum: verantwortlich nach §5 TMG ist: Denis Stein | Siegenburger Str. 35 | 81373 München | Kontakt ::..
© 2003-2013 – letzte Änderung: 26.10.2013