Section: Esercizi sui linguaggi predicativi del 1.o ordine | 204SM - LOGICA 2015 | Moodle@Units

Home Courses Support

Section outline

Highlighted
13 aprile 2016, aula 5C edificio H2bis h 16-18
- Select activity Due esercizi sulla formalizzazione in aritmetica e sulla modellazione di assiomi aritmetici
  
  Due esercizi sulla formalizzazione in aritmetica e sulla modellazione di assiomi aritmetici 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 Esercizi (svolti) di dimostrazione in una geometria assiomatica elementare
  
  Esercizi (svolti) di dimostrazione in una geometria assiomatica elementare File PDF