Deposito Files di Algebra E Logica

Files
Nome File	Tipo	Peso	Data	Accessi
FUNZIONI 2 - Composizione di funzioni; funzioni invertibili	zip	105760.1 KB	15 Oct 2012, 12:30	10546
NATURALI - Sistema dei numeri naturali: assiomi di Peano, ordine, operazioni	zip	106033.64 KB	29 Oct 2012, 08:04	7188
FUNZIONI RICORSIVE 3.2 - Risoluzione di equazioni ricorsive lineari omogenee a coefficienti costanti di grado 2: caso reale con due radici (distinte) complesse coniugate	zip	110913.82 KB	27 Jan 2013, 10:16	5536
FUNZIONI RICORSIVE 1 - Funzioni (=successioni) ricorsive: generalità, casi particolari, esempi; Teorema di Ricorsione (di esistenza e unicità)	zip	111565.92 KB	18 Jan 2013, 17:23	8286
CORRISPONDENZE - Corrispondenze tra insiemi, operazioni tra di esse	zip	115862.93 KB	15 Oct 2012, 12:28	11764
FUNZIONI RICORSIVE 2 - Funzioni (=successioni) ricorsive lineari omogenee come spazio vettoriale; calcolo di una base, e di una successione specifica, per il caso a coefficienti costanti di grado 1	zip	116341.02 KB	19 Jan 2013, 12:58	5370
OPERAZIONI 1 - Operazioni in un insieme; insiemi con una operazione	zip	118597.55 KB	15 Oct 2012, 12:33	8043
ALGEBRE di BOOLE 2 - Isomorfismi tra algebre di Boole; sottoalgebre di Boole; Teorema di Rappresentazione (di Stone - caso finito / caso generale)	zip	120889.48 KB	12 Jan 2013, 10:22	6766
ALGEBRE di BOOLE 1 - Definizioni; esempi, controesempi; Teorema di Equivalenza (con anelli booleani unitari)	zip	124517.22 KB	27 Dec 2012, 13:54	7658
INSIEMI - Insiemi, sottoinsiemi, insieme delle parti, operazioni tra insiemi	zip	138572.28 KB	15 Oct 2012, 12:27	18252
EQUIVALENZE 1 - Equivalenze e partizioni	zip	149460.94 KB	20 Oct 2012, 21:03	10883
ORDINI - Insiemi ordinati (generalità, esempi, elementi speciali)	zip	150329.33 KB	19 Dec 2012, 16:55	10191
FUNZIONI 1 - Funzioni; iniettività, suriettività, biiettività.	zip	151501.71 KB	15 Oct 2012, 12:29	13369
RETICOLI 1 - Generalità, esempi; complementi in un reticolo; distributività	zip	156229.26 KB	21 Dec 2012, 17:30	9097
RETICOLI 2 - v-Fattorizzazione in un reticolo (v-irriducibili, atomi; esistenza / unicità di v-fattorizzazioni)	zip	179604.7 KB	22 Dec 2012, 21:27	8501