• Programma del corso
• Orario
• Materiale e testi di consultazione
• Esoneri e prove scritte (new!)
• Esercitazioni
• Avvisi (new!)

Ultima modifica: 15 gennaio 2007

Programma del corso

• Insiemi: operazioni fra insiemi; chiusura; cardinalità ed equipotenza; insiemi numerabili e non; relazioni (di equivalenza e di ordine); funzioni; il principio di induzione; induzione strutturale.


• Logica predicativa: sintassi e semantica; logica proposizionale; tableau analitici; completezza e compattezza.


• Calcoli logici: deduzione naturale.


• Rappresentabilità logica: modelli e teorie; linguaggi formali.

Orario

• Lezioni ed esercitazioni: lunedì e giovedì 14.00 - 16.00; Aula V, Dip. Matematica.
• Tutoraggio: giovedì 12.30 - 14.00; Aula V, Dip. Matematica.
• Ricevimento studenti (Via Salaria, stanza 310): giovedì, ore 11.00 - 13.00.

Materiale e testi di consultazione

• Dispense del corso
  • Teoria degli insiemi
  • Numeri naturali, induzione ed algebre di Bool
  • Calcolo degli enunciati
  • Deduzione naturale
  • Calcolo dei predicati (non svolto)
• Link utili

  Nelle pagine web del corso di Logica degli altri canali potete trovare altro materiale di consultazione ed esercizi.

  • Canale A-D
  • Canale E-O

Esoneri e prove scritte

• 30 ottobre 2006 (esonero di prova) [correzione]
• 9 novembre 2006 (esonero) [correzione, risultati]
• 18 gennaio 2007 (esonero di prova)

Esercitazioni

• 5 ottobre 2006 (insiemi)
• 12 ottobre 2006 (relazioni)
• 26 ottobre 2006 (funzioni)
• 23 novembre 2006 (induzione)
• 30 novembre 2006 (algebre di Boole)
• 14 dicembre 2006 (logica proposizionale)
• 21 dicembre 2006 (deduzione naturale)
• 8 gennaio 2007 (logica proposizionale e deduzione naturale)
• 11 gennaio 2007 (induzione)
• 15 gennaio 2007 (insiemi, relazioni, funzioni, algebre di Boole)

Avvisi

• Preparazione all'esame. Il programma di esercitazioni per la preparazione all'esame si svolgerrà dal 8 al 19 gennaio 2007. Stessa aula ed orario delle lezioni.
• Esonero ed esame. La prova scritta del primo appello d'esame si terrà il giorno 8 febbraio alle ore 10:00 in Aula 5 di Matematica. Chi sceglie di avvalersi della prima prova di esonero potrà limitarsi a rispondere ai soli quesiti relativi alla seconda parte del corso. Questo vale come seconda prova di esonero. La prova orale è facoltativa, e si terrà lo stesso giorno, alle 14:30 in Aula Alfa (Via Salaria).
• 14 febbraio 2007. In questa data si ripeterà quanto sopra. Attenzione: chi consegna la prova scritta del giorno 8 non può ripresentarsi il 14!