Prof. Stefano Bonzio

Argomenti del programma: Elementi di teoria degli insiemi: cardinalità di un insieme, il Teorema di Cantor-Bernstein, il paradosso di Russell e gli assiomi di Zermelo-Fraenkel, il teorema di Hartogs. La logica proposizionale: tavole di verità, calcolo a la Hilbert, teorema di deduzione, correttezza e completezza.

Argomenti del programma: Elementi di teoria degli insiemi: cardinalità di un insieme, il Teorema di Cantor-Bernstein, il paradosso di Russell e gli assiomi di Zermelo-Fraenkel, il teorema di Hartogs. Il problema della soddisfacibilità per la logica proposizionale, forme normali e clausole, il Teorema di decomposizione e le regole di Davis-Putnan, il Teorema di risoluzione, cenni sul problema P=NP.