Ingegneria della Conoscenza 2007-2008

Calendario delle lezioni

  • 19 febbraio 2008 - Admin; Information R/evolution
  • 21 febbraio 2008 - Information R/evolution
  • 26 febbraio 2008 - Did you know?
  • 28 febbraio 2008 - L'Ingegneria della Conoscenza e enunciati e mondo del discorso
  • 4 marzo 2008 - Valutazione di un enunciato e problema del symbol grounding
  • 6 marzo 2008 - Formule atomiche e connettivi
  • 11 marzo 2008 - Connettivi
  • 18 marzo 2008 - Quantificatori
  • 1 aprile 2008 - Uguaglianza
  • 3 aprile 2008 - Dualità dei quantificatori e Uguaglianza
  • 8 aprile 2008 - FOL e Reificazione
  • 10 aprile 2008 - Forma Logica e Deduzione
  • 24 aprile 2008 - FOL e suo uso (preparazione I prova in Itinere)
  • 29 aprile 2008 - lezione annullata causa inagurazione anno accademico
  • 15 maggio 2008 - I prova in Itinere
  • 20 maggio 2008 - Calcolo
  • 22 maggio 2008 - Forma Concettuale e Contenuto
  • 27 maggio 2008 - Esempi di Analisi Logica
  • 29 maggio2008 - Esercizi di Analisi Logica e Q&A (preparazione II prova in Itinere)
  • 3 giugno 2008 - Il Semantic Web
  • 5 giugno 2008 - II Prova in Itinere

Materiale di supporto per il corso: