Matematiche Elementari da un PVS

1 ottobre Fondamenti di aritmetica razionale e algebra per l’insegnamento: Assiomi dell’aritmetica di Peano e sviluppo dell’aritmetica PA. Il concetto di numero naturale secondo Frege
2 ottobre Seminario sull’uso di MathcityMap tenuto dalla dott.ssa Veronica Bovcova
8 ottobre I numeri naturali secondo Dedekind; le operazioni in N; teorema di ricorrenza; relazione d’ordine; principio del buon ordinamento; teorema di unicità di N; la divisibilità; il crivello di Eratostene;
9 ottobre Unicità della scomposizione in fattori primi (Lindemann); piccolo teorema di Fermat; teorema di Wilson; dimostrazione della prop. XX del libro IX degli Elementi di Euclide sui numeri primi; teorema fondamentale dell’aritmetica; concetto di cardinalità; la potenza del numerrabile dell’insieme dei numeri pari P, degli interi  Z
15 ottobre Lettura:
16 ottobre
22 ottobre
23 ottobre
29 ottobre
30 ottobre
5 novembre
6 novembre
12 novembre
13 novembre
19 novembre
20 novembre
26 novembre
27 novembre
3 dicembre
4 dicembre
10 dicembre
11 dicembre