Schema della sezione

  • 18 maggio 2016, aula 5C edificio H2bis h 16-19

    • Lucidi ``Clausole di Horn e Computabilita`'' File PDF

      (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.