Section outline

  • 22 marzo 2016, aula 5C edificio H2bis, h 16:00-18:00

    • Lucidi sulle nozioni di: logica, logica booleana, logica booleana minimale File PDF

      Si tratta di lucidi collegati alla dispensa del 29 febbraio, che comprendono il teorema di Lindenbaum e il teorema di Post. Si concludono con un'anticipazione delle problematiche: correttezza ('soundness' in inglese) e completezza di un sistema deduttivo formale.