Könnt ihr Semantisches Tableaux/Hilbert Kalkül/Resolution

[andras98]

Hi,

Habt ihr euch das auch angesehen? Kommt dass?

mfg

Andreas

[Jimmy]

DPLL ist ein Unterkapitel eigentlich ein Verfahren zu Resolution, Hilbertkalkuel nehm mich stark an dass es NICHT kommt... (waere wohl etwas zuviel verlangt.. :p)
Semant. Tableau koennte kommen (obwohl es noch keiner Pruefung war) aber Mehrdeutigkeit war auch noch nie gekommen und im Nov.schon..

ich denk er wird iirgendwas neues reinhauen..das macht er immer:
Juni : DPLL
Okt : Seq.kalk
Nov : Mehrdeutigkeit
Jan : ???