Libri di testo ingegneria informatica URGENTE

[Marix]

Salve a tutti,
sto frequentando il corso di elementi di algebra e logica all'università di tor vergata, ma il testo che ci è stato consigliato (Lipschutz - Schaum's Outlines - Discrete Mathematics 3e (McGraw, 2007)) non mi va tanto a genio, qualcuno mi potrebbe consigliare degli altri?

Il programma che stiamo studiando è più 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.

Spero mi possiate aiutare al più presto che tra poco è tempo di esami!!
Grazie mille a tutti