Nella lezione ho trattato i seguenti temi:
- La dimostrazione di |- A,B : qualcosa che permette di passare da una refutazione di una delle due proposizioni a una dimostrazione dell'altra proposizione.
- La nozione di grafo e la nozione di albero, ed esempi di grafi e di albero.
- Esempi di assiomi: assiomi della fisica, assiomi di Spinoza, assiomi di Peano per l'aritmetica dei numeri naturali
- Ripasso: su modus ponens, modus tollens, transitivi, e in generale sulla comunicazione tra dimostrazioni e sulla comunicazione tra processi.
- Risposta a domande degli studenti.
- La dimostrazione di |- A,B : qualcosa che permette di passare da una refutazione di una delle due proposizioni a una dimostrazione dell'altra proposizione.
- La nozione di grafo e la nozione di albero, ed esempi di grafi e di albero.
- Esempi di assiomi: assiomi della fisica, assiomi di Spinoza, assiomi di Peano per l'aritmetica dei numeri naturali
- Ripasso: su modus ponens, modus tollens, transitivi, e in generale sulla comunicazione tra dimostrazioni e sulla comunicazione tra processi.
- Risposta a domande degli studenti.
prof potrebbe riassumere in breve la nozione di grafo e la nozione di albero?
RispondiEliminaun grafo è una classe ordinata, in cui gli elementi sono chiamati nodi e l'ordine può essere anche parziale.
RispondiEliminaUn albero è un garfo in cui c'è un punto (la radice) che è maggiore di tutti i punti e ci possono essere punti (le foglie) che non hanno immediati successori.
veda il volume per ulteriori precisazioni....