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	10264
NATURALI - Sistema dei numeri naturali: assiomi di Peano, ordine, operazioni	zip	106033.64 KB	29 Oct 2012, 08:04	7027
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	5381
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	7983
CORRISPONDENZE - Corrispondenze tra insiemi, operazioni tra di esse	zip	115862.93 KB	15 Oct 2012, 12:28	11398
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	5158
OPERAZIONI 1 - Operazioni in un insieme; insiemi con una operazione	zip	118597.55 KB	15 Oct 2012, 12:33	7758
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	6498
ALGEBRE di BOOLE 1 - Definizioni; esempi, controesempi; Teorema di Equivalenza (con anelli booleani unitari)	zip	124517.22 KB	27 Dec 2012, 13:54	7376
INSIEMI - Insiemi, sottoinsiemi, insieme delle parti, operazioni tra insiemi	zip	138572.28 KB	15 Oct 2012, 12:27	17645
EQUIVALENZE 1 - Equivalenze e partizioni	zip	149460.94 KB	20 Oct 2012, 21:03	10569
ORDINI - Insiemi ordinati (generalità, esempi, elementi speciali)	zip	150329.33 KB	19 Dec 2012, 16:55	9922
FUNZIONI 1 - Funzioni; iniettività, suriettività, biiettività.	zip	151501.71 KB	15 Oct 2012, 12:29	12934
RETICOLI 1 - Generalità, esempi; complementi in un reticolo; distributività	zip	156229.26 KB	21 Dec 2012, 17:30	8826
RETICOLI 2 - v-Fattorizzazione in un reticolo (v-irriducibili, atomi; esistenza / unicità di v-fattorizzazioni)	zip	179604.7 KB	22 Dec 2012, 21:27	8240