




























































































Studia grazie alle numerose risorse presenti su Docsity
Guadagna punti aiutando altri studenti oppure acquistali con un piano Premium
Prepara i tuoi esami
Studia grazie alle numerose risorse presenti su Docsity
Prepara i tuoi esami con i documenti condivisi da studenti come te su Docsity
Trova i documenti specifici per gli esami della tua università
Preparati con lezioni e prove svolte basate sui programmi universitari!
Rispondi a reali domande d’esame e scopri la tua preparazione
Riassumi i tuoi documenti, fagli domande, convertili in quiz e mappe concettuali
Studia con prove svolte, tesine e consigli utili
Togliti ogni dubbio leggendo le risposte alle domande fatte da altri studenti come te
Esplora i documenti più scaricati per gli argomenti di studio più popolari
Ottieni i punti per scaricare
Guadagna punti aiutando altri studenti oppure acquistali con un piano Premium
Slide, appunti e schemi del corso di Algebra e Logica tenuto dal professor A. H. Loic Grenie. Argomenti: relazioni, classi di equivalenza, congruenza modulo n, mcd e mcm, teorema di Bèzout, equazioni diofantee, lci, semigruppi, monoidi, gruppi, anelli, campi, sottogruppi, ideali, applicazione alla crittografia, logica proposizionale, deduzione naturale, logica del primo ordine, equivalenze semantiche, forma normale prenessa e di Skolem, risoluzione a clausole, teoremi di Church e di Godel.
Tipologia: Slide
1 / 128
Questa pagina non è visibile nell’anteprima
Non perderti parti importanti!





























































































G I U S E P P E D A I D O N E
R E L A Z I O N I , P R O P R I E T À , C L A S S I D I E Q U I V A L E N Z A ,
I N S I E M E Q U O Z I E N T E , E S T R E M A N T I , R E T I C O L I
2
3
, 𝑎𝜌𝑏 e 𝑏𝜌𝑐 ⟹ 𝑎𝜌𝑐.
2
𝑎𝜌𝑏 e 𝑏𝜌𝑎 ⟹ 𝑎 = 𝑏.
simmetrica e transitiva.
e transitiva.
t.c. 𝑎~𝑏 e si denota 𝑎
~
~
~
~
si ha 𝑎~𝑏, quindi per simmetria
𝑏~𝑎 ovvero 𝑎 ∈ 𝑏
~
~
~
~
~
~
~
∎
∎
a) ∅ ∉ 𝐹 (cioè ogni elemento di 𝐹 contiene almeno un elemento)
b) ∪ 𝑋 = 𝐴 (cioè ∀𝑎 ∈ 𝐴, ∃𝑋 ∈ 𝐹 t.c. 𝑎 ∈ 𝑋)
c) ∀𝑋, 𝑌 ∈ 𝐹, 𝑋 ∩ 𝑌 ≠ ∅ ⇒ 𝑋 = 𝑌 (due elementi distinti di 𝐹 non hanno
nessun elemento in comune)
𝐴 ~ è una partizione di 𝐴.
In caso contrario si dicono non paragonabili o non confrontabili.
𝐴 essi sono sempre confrontabili. Se così non è allora la relazione di ordine 𝜌 è
detta parziale.
e ∀ 𝑎; 𝑏 ∈ 𝐴
2
, inf 𝑎, 𝑏 e sup 𝑎, 𝑏 esistono.
di 𝑎 sse:
allora il reticolo 𝐴, 𝜌 si dice complementato o con complemento
C O N G R U E N Z A M O D U L O N , C L A S S I D I R E S T O ,
R A P P R E S E N T A N T I , I D E A L I , M C D E M C M , D I V I S I O N E
E U C L I D E A , T E O R E M A D I B É Z O U T , E Q U A Z I O N I D I O F A N T E E ,
T E O R E M A D E L R E S T O , A R I T M E T I C A M O D U L A R E
relazione , infatti ∃𝑘 ∈ ℤ t.c. 𝑏 = 𝑎 + 𝑘𝑛 = 𝑎 + −𝑘 −𝑛.
𝑛
≡
𝑛
= … , 𝑎 − 2𝑛, 𝑎 − 𝑛, 𝑎, 𝑎 + 𝑛, 𝑎 + 2𝑛, …. Ci
sono 𝑛 classi di equivalenza per la relazione ≡
𝑛
e sono 0
𝑛
𝑛
𝑛
tale che divisi per 𝑛 danno lo stesso resto 𝑟 e si denota 𝑟
𝑛
. La divisione di un
numero intero relativo per 𝑛 può dare 𝑛 resti diversi, di conseguenza per ogni
𝑛 esistono esattamente 𝑛 classi di resto.
𝑛
= 𝑐
𝑛
e 𝑏
𝑛
= 𝑑
𝑛
allora 𝑎 + 𝑏
𝑛
= 𝑐 + 𝑑
𝑛
e 𝑎𝑏
𝑛
= 𝑐𝑑
𝑛
𝑛
𝑛
= 𝑎 + 𝑏
𝑛
𝑛
∙ 𝑏
𝑛
= 𝑎 ∙ 𝑏
𝑛
∎
∎