I materiali pubblicati sul sito costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazione all’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso.
…continua
Ultimi appunti inseriti
Appunti più scaricati
Appunti per nome

Filtra per

Tutte le tipologie

Ordina

Filtra

Appunti degli studenti per corsi ed esami del Prof. Cherubini Alessandra

icona-appunti
icona-appunti

Logica e Algebra - Appunti riassuntivi e svolgimento esercizi Premium

Esame Logica e algebra

Facoltà Ingegneria dell'informazione

Dal corso del Prof. A. Cherubini

Università Politecnico di Milano

Appunto
5 / 5
Scarica
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).
...continua