Calendario delle lezioni

1. 02-04 I - Introduzione
2. 16-04 I - Rappresentare la conoscenza
3. 20-04 II - Enunciati e valutazione
4. 23-04 III - Formule atomiche e connettivi
5. 04-05 III - Quantificatori e uguaglianza
6. 11-05 IV - linguaggio predicativo del primo ordine (FOL)
7. 14-05 1° prova in itinere
8. 18-05 IV - Correzione Prova in Itinere e Forma Logica
   
9. 21-05 IV - Deduzione
   
10. 25-05 IV – Calcolo, Forma Concettuale e Contenuto
11. 28-05 IV – Esercizi, domande e risposte
12. 01-06 2° prova in itinere

Materiale di supporto per il corso:

• 2 Aprile 2007: lezione 1/12
  

• Introduzione al corso [pdf]
• L'ingegneria della conoscenza [pdf]

• 16 Aprile 2007: lezione 2/12
  

• L'Ingegneria della conoscenza e il Web [pdf]
• I sistemi di rappresentazione della conoscenza [pdf]

• 20 Aprile 2007: lezione 3/12
  

• Enunciati, mondi del discorso e verità [pdf]
• La valutazione di un enunciato [pdf]
• Frege - Wikipedia [link]
• Teorema di Incompletezza - Wikipedia [link]

• 23 Aprile 2007: lezione 4/12
  

• Formule Atomiche [pdf]
• Connettivi [pdf]
• George Boole - Wikipedia [link]
• Algebra Booleana - Wikipedia [link]
• Condizionale Materiale - Wikipedia [EN] [link]
• Condizionale Indicativo - Wikipedia [EN] [link]

• 4 maggio 2007: lezione 5/12
  

• I quantificatori [pdf]
  
• Uguaglianza [pdf]

• 11 Maggio 2007: lezione 6/12
  

• FOL [pdf]
  
• Guida all'uso di FOL [pdf]

• 18 Maggio 2007: lezione 8/12
  

• Correzione della Prima Prova in Itinere
• conclusione della lezione sull'uso di FOL
  
• Forma Logica [pdf]

• 21 Maggio 2007: lezione 9/12
  

• deduzione [pdf] [NEW]
  

• 25 Maggio 2007: lezione 10/12
  

• Calcolo [pdf]
• Forma Concettuale [pdf]
• Contenuto [pdf]

• 28 Maggio 2007: lezione 11/12
  

• Esempi di analisi logica [pdf]