Deposito Files di Algebra E Logica

Files
Nome File	Tipo	Peso	Data	Accessi
INDUZIONE - Metodo di dimostrazione per induzione (semplice / forte / minimo)	zip	86888.81 KB	29 Oct 2012, 08:07	8764
INSIEMI - Insiemi, sottoinsiemi, insieme delle parti, operazioni tra insiemi	zip	138572.28 KB	15 Oct 2012, 12:27	18346
NATURALI - Sistema dei numeri naturali: assiomi di Peano, ordine, operazioni	zip	106033.64 KB	29 Oct 2012, 08:04	7219
NUMERAZIONE - Numerazione in base arbitraria / Scrittura posizionale	zip	43808.07 KB	29 Oct 2012, 08:12	6634
OPERAZIONI 1 - Operazioni in un insieme; insiemi con una operazione	zip	118597.55 KB	15 Oct 2012, 12:33	8101
OPERAZIONI 2 - Insiemi con più operazioni	zip	65548.01 KB	15 Oct 2012, 12:35	6024
ORDINI - Insiemi ordinati (generalità, esempi, elementi speciali)	zip	150329.33 KB	19 Dec 2012, 16:55	10232
RELAZIONI - Relazioni in un insieme; generalità, esempi	zip	82482.14 KB	18 Oct 2012, 14:37	8860
RETICOLI 1 - Generalità, esempi; complementi in un reticolo; distributività	zip	156229.26 KB	21 Dec 2012, 17:30	9126
RETICOLI 2 - v-Fattorizzazione in un reticolo (v-irriducibili, atomi; esistenza / unicità di v-fattorizzazioni)	zip	179604.7 KB	22 Dec 2012, 21:27	8541
RETICOLI 3 - Sottoreticoli; isomorfismi di reticoli, reticoli isomorfi	zip	66108.79 KB	26 Dec 2012, 17:39	6501