Corso di Laurea Specialistica in Tecnologie Informatiche

Università degli Studi di Cagliari          

"Logica Matematica"          

A.A. 2006/07-2009/10

AVVISI 

Il corso "Logica Matematica" non viene più tenuto dall'A.A. 2009/2010. Per informazioni e esami, contattare il docente via e-mail.

• Registro delle lezioni.

• Bibliografia.

• Foglio 1 di esercizi (Logica) : Proposizioni, Tavole di verità, Connettivi.

• Foglio 2 di esercizi (Logica) : Derivazioni nel sistema formale K della logica proposizionale.

• Foglio 3 di esercizi (Logica) : Tableaux proposizionali.

• Foglio 4 di esercizi (Logica) : Predicati, Formule valide, Soddisfacibilità.

• Foglio 5 di esercizi (Logica) : Tableaux predicativi.

• Foglio 6 di esercizi (Computabilità) : Funzioni ricorsive primitive, parziali ricorsive, ricorsive. Insiemi ricorsivamente enumerabili, ricorsivi.

• Foglio 7 di esercizi (Computabilità) : Insiemi ricorsivamente enumerabili, ricorsivi. Numerabilità. Indecidibilità. Proprietà di funzioni e rappresentazioni.

• Esempio di prova scritta d'esame.