Logica e Algebra - Appunti riassuntivi e svolgimento esercizi

Formato: Appunti in formato digitale (da foglio di Word).
Numero di pagine originarie: 4
Formattazione: indentazione, suddivisione per capitoli, utilizzo di
grassetto, corsivo, colori.
Esempi: sono presenti esempi provenienti dalle dispense del corso stesso.
Media: sono presenti immagini esplicative provenienti dalle
dispense (opportunamente ritagliate e incollate).
Argomenti Algebra: Relazioni Binarie e loro proprietà, Chiusure (riflessiva, simmetrica e transitiva), Relazione di equivalenza, Ker-f classe, Relazione d'ordine, Diagramma di Hasse, funzioni, Strutture Algebriche, Criteri per sottogruppi e sottoanelli, Omomorfismi e Primo teorema di fattorizzazione degli Omomorfismi, Congruenza del nucleo di un Morfismo.
Argomenti Logica: Soddisfacibilità, Simbologia, Operatori, Trovare una formula f(A,B,C) a partire da una tabella della verità, Ottimizzazione di una formula, Teoria L, trasformazione di una formula in Clausole, Teorema di Deduzione Semantica (con metodo risolutivo), Chiusure, Forme soddisfacibili, FNP (forna normale prenessa), Forma di Skolem, Esempi di Spass.
Corsi generici: Logica, Algebra, Logica e Algebra.
Informazioni aggiuntive: Appunti molto coincisi e super riassuntivi, contengono tutte quelle informazioni teoriche e pratiche per svolgere un esame. Ottimi per ripassare e per avere un quadro generale della materia, contiene tutte le informazioni essenziali. Ottimo per avere dei metodi schematici per risolvere gli esercizi o per ricondurli alla teoria.
Corso consigliato: Corso da 5CFU di Logica e Algebra del Politecnico di Milano (per Ing. Informatica).