Elementi di algebra e logica - ingegneria informatica
Ciao a tutti,
volevo chiedervi se avete qualche testo da consigliarmi per il corso di elementi di algebra e logica (ingegneria informatica) che non sia però Lipschutz - Schaum's Outlines - Discrete Mathematics 3e (McGraw, 2007).
Aiutatemi per favore!!
Grazie mille!
volevo chiedervi se avete qualche testo da consigliarmi per il corso di elementi di algebra e logica (ingegneria informatica) che non sia però Lipschutz - Schaum's Outlines - Discrete Mathematics 3e (McGraw, 2007).
Aiutatemi per favore!!
Grazie mille!
Risposte
Dovresti prima dire quali sono gli argomenti del corso per farci comprendere cosa nella tua università viene chiamato "elementi di algebra e logica".
Comunque generalmente i libri del gruppo Schaum's Outlines sono piuttosto semplici e con molti esercizi. Esattamente perché questo libro non va bene? E' una questione di lingua o vuoi un libro più formale?
Comunque generalmente i libri del gruppo Schaum's Outlines sono piuttosto semplici e con molti esercizi. Esattamente perché questo libro non va bene? E' una questione di lingua o vuoi un libro più formale?
il programma e piu o meno questo:
Insiemi e operazioni sugli insiemi. Funzioni iniettive, suriettive, invertibili. Cardinalita'.
Induzione matematica. Funzioni ricorsive. Relazioni. Relazioni di equivalenza su un insieme, classi di equivalenza, insieme
quoziente. Relazioni di ordine parziale, elementi massimali e minimali, massimo e minimo, insiemi totalmente
ordinati, insiemi bene ordinati, diagramma di Hasse di un insieme finito parzialmente ordinato. Grafo associato
ad una relazione, matrice associata ad una relazione, chiusure di relazioni. Aritmetica sui numeri interi: divisione con resto, divisibilita', massimo comun divisore,
numeri primi, Teorema fondamentale dell'aritmetica, algoritmo euclideo e applicazioni. La relazione di
congruenza modulo n. Congruenze e sistemi di congruenze. Teorema cinese del resto. Gruppi, anelli, campi. Il teorema di Lagrange, il Piccolo teorema di Fermat. Il criptosistema RSA. Test di primalita'. Reticoli: assiomi di definizione, ordinamento
parziale su un reticolo, isomorfismi di reticoli. Reticoli limitati. Reticoli distributivi, reticoli complementati, reticoli booleani. Algebre di Boole. Calcolo
proposizionale. L'algebra di Boole della logica proposizionale. Espressioni Booleane: forma normale
disgiuntiva, forma normale disgiuntiva completa, implicanti primi e forme minimali. Metodo del consenso per
la determinazione di tutti gli implicanti primi. Predicati e quantificatori.
Insiemi e operazioni sugli insiemi. Funzioni iniettive, suriettive, invertibili. Cardinalita'.
Induzione matematica. Funzioni ricorsive. Relazioni. Relazioni di equivalenza su un insieme, classi di equivalenza, insieme
quoziente. Relazioni di ordine parziale, elementi massimali e minimali, massimo e minimo, insiemi totalmente
ordinati, insiemi bene ordinati, diagramma di Hasse di un insieme finito parzialmente ordinato. Grafo associato
ad una relazione, matrice associata ad una relazione, chiusure di relazioni. Aritmetica sui numeri interi: divisione con resto, divisibilita', massimo comun divisore,
numeri primi, Teorema fondamentale dell'aritmetica, algoritmo euclideo e applicazioni. La relazione di
congruenza modulo n. Congruenze e sistemi di congruenze. Teorema cinese del resto. Gruppi, anelli, campi. Il teorema di Lagrange, il Piccolo teorema di Fermat. Il criptosistema RSA. Test di primalita'. Reticoli: assiomi di definizione, ordinamento
parziale su un reticolo, isomorfismi di reticoli. Reticoli limitati. Reticoli distributivi, reticoli complementati, reticoli booleani. Algebre di Boole. Calcolo
proposizionale. L'algebra di Boole della logica proposizionale. Espressioni Booleane: forma normale
disgiuntiva, forma normale disgiuntiva completa, implicanti primi e forme minimali. Metodo del consenso per
la determinazione di tutti gli implicanti primi. Predicati e quantificatori.
Nessuno mi puo aiutare? E importante please!
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo