| 751 | |
| 752 | === 14 Novembre 2007 === |
| 753 | __1000-1040__ __1103-1443__[[BR]] |
| 754 | * Stesura sezione "Modello" (57%); |
| 755 | * qualche chiacchiera con gnappo; |
| 756 | * aggiornamento del diario e del deposito subversion [30]. |
| 757 | |
| 758 | __1612-1720__[[BR]] |
| 759 | * Stesura sezione "Modello" (71%); |
| 760 | * aggiornamento del diario e del deposito subversion [31]. |
| 761 | |
| 762 | === 16 Novembre 2007 === |
| 763 | __0810-0839__ __0920-1320__ __1400-1800__[[BR]] |
| 764 | Qualche chiacchiera con gnappo sull'algoritmo di inserimento della stazione associanda. |
| 765 | Lavoro per la stesura della sezione "Modello" (87%): |
| 766 | * chiarimento sull'equità dell'AP; |
| 767 | * precisazioni nella ripartizione delle assunzioni all'interno del documento; |
| 768 | * completamento delle definizioni di saturazione; |
| 769 | * precisazioni e miglioramento della qualità della definizione di epoca; |
| 770 | * definiti e formalizzati tre teoremi; |
| 771 | * abbozzate due dimostrazioni dei tre teoremi. |
| 772 | |
| 773 | __1800-1809__[[BR]] |
| 774 | Aggiornamento del deposito subversion [32] e del diario. |