Section: Introduzione alla logica predicativa | 204SM - LOGICA 2015 | Moodle@Units

Home Courses Support

Section outline

5&6 aprile 2016, aula 5C edificio H2bis h 16-18
- Select activity Lucidi sui linguaggi predicativi del primo ordine, con cenni sulla semantica
  
  Lucidi sui linguaggi predicativi del primo ordine, con cenni sulla semantica File PDF
  
  (Per una versione piu` compatta---pertanto piu` facile da stampare---di questi lucidi, vedere nella cartella Dopbox condivisa. Il nome del PDF compattato reca il suffisso FLAT)
- Select activity Dispensa sugli assiomi della geometria elementare (esempio motivante)
  
  Dispensa sugli assiomi della geometria elementare (esempio motivante) File PDF