Logica per l'Informatica - 2011/2012
Info
- Corso: Claudio Sacerdoti Coen
- Esercitazoni: Paolo Tranquilli (email)
- Orari:
- Corso: Mercoledì (15:30-18:30), Venerdì (Gruppo II → 9:30, Gruppo I → 11:30)
- Esercitazioni: Venerdì (Gruppo I → 9:30, Gruppo II → 11:30)
Esercitazioni
- 1. [02-03-2012] Formule e sostituzione (exercise-substitution.ma)
- 1bis. [09-03-2012] Formule e sostituzione (bis) (exercise-substitution_bis.ma)
- 2. [23-03-2012] Teorema di Shannon (exercise-shannon.ma)
- 3. [30-03-2012] Teorema di Dualizzazione (exercise-duality.ma)
- 4. [20-04-2012] Deduzione naturale (exercise-natural_deduction1.ma)
- 5. [27-04-2012] Deduzione naturale: reductio ad absurdum e terzo escluso (exercise-natural_deduction2.ma)
- 6. [11-05-2012] Deduzione naturale: primo ordine (exercise-natural_deduction_fst_order.ma)
- 7. [18-05-2012] Deduzione naturale: teorie (exercise-natural_deduction_theories.ma)
I primi risultati possono essere consultati qui. È possibile
che file non consegnati con le modalità espressamente previste
(salvati come '/public/logica_etc.ma' in laboratorio, compresa l'estensione '.ma', inviati
per posta quelli svolti a casa) non compaiano. Nel caso le istruzioni di consegna non
siano state seguite non è previsto recupero.