Download di Appunti per l'esame di Logica e algebra

Riassunti da me prodotti riguardo: relazioni, funzioni, logica proposizionale, logica del primo ordine e strutture algebriche. Ovvero il programma del corso di logica, basati su appunti personali del publisher presi alle lezioni della prof. Adami dell’università degli Studi del Politecnico di Milano - Polimi. Scarica il file in formato PDF!

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).