Main.ArgomentiDeiVariProgetti History
Hide minor edits - Show changes to markup
March 31, 2009, at 02:26 PM
by -
Changed line 22 from:
"Teorema 4 colori" - Stefano
to:
"Teorema 4 colori" - Lara
Changed line 32 from:
"Cavenaghi" - Lara
to:
"Cavenaghi" - Stefano
March 23, 2009, at 03:49 PM
by -
Changed line 32 from:
"Cavenaghi"
to:
"Cavenaghi" - Lara
March 23, 2009, at 03:47 PM
by -
Changed line 22 from:
"Teorema 4 colori" Stefano
to:
"Teorema 4 colori" - Stefano
March 23, 2009, at 03:47 PM
by -
Changed line 22 from:
"Teorema 4 colori"
to:
"Teorema 4 colori" Stefano
March 23, 2009, at 03:46 PM
by -
Changed line 6 from:
"4 coloring Project"Fatto
to:
"4 coloring Project" Fatto
March 23, 2009, at 03:46 PM
by -
Changed line 6 from:
"4 coloring Project"
to:
"4 coloring Project"Fatto
March 23, 2009, at 03:46 PM
by -
Changed line 10 from:
"Sito 4 colori"
to:
"Sito 4 colori" - Guido
March 23, 2009, at 03:44 PM
by -
Added lines 6-9:
"4 coloring Project"
- teoria del teorema dei 4 colori
- applet dimostrativa (con istruzioni)
March 23, 2009, at 03:41 PM
by -
Changed line 38 from:
to:
March 23, 2009, at 03:40 PM
by -
Changed line 1 from:
to:
March 23, 2009, at 03:40 PM
by -
Added lines 1-38:
Torna alla pagina del Progetto Citrini?
Argomenti dei vari progetti
"Sito 4 colori"
- introduzione sul problema dei 4 colori
- teorema dei 6 colori: anello di moebius
- teorema dei 6 colori: bottiglia di klein
- teorema dei 7 colori: poliedro di szilassi
- teorema dei 7 colori: toro
- galleria fotografica: anello di moebius
- galleria fotografica: bottiglia di klein
- galleria fotografica: poliedro di szilassi
- galleria fotografica: toro
- video (in .wmv)
"Teorema 4 colori"
- cenni sul problema dei 4 colori
- introduzione sul problema dei 4 colori
- risoluzione problema 4 colori
- problema dei due colori (presentazione)
- problema dei cinque colori (presentazione)
- mappe con tre colori (presentazione)
- colorazione di un grafo (applicazione)
- demo scaricabili (in java) del teorema dei 2,3,4 colori
"Cavenaghi"
- introduzione teorema dei quattro colori
- capitolo 1: il problema e le sue soluzioni
- capitolo 2: coq ed il calcolo di costruzione induttiva
- capitolo 3: le ipermappe combinatoriali
- capitolo 4: il teorema formale
- capitolo 5: il controllo della riducibilità
- capitolo 6: la verifica di inevitabilità
