Clausole di Horn e computabilita`
Section outline
-
18 maggio 2016, aula 5C edificio H2bis h 16-19
-
(Per una versione piu` compatta---pertanto piu` facile da stampare---di questi lucidi, vedere nella cartella Dopbox condivisa. Il nome del PDF compattato reca il suffisso FLAT)
Una dispensa che sviluppa la dimostrazione di completezza di Turing del linguaggio delle clausole di Horn e` anch'essa reperibile in Dropbox.
-