Computer Engineering - Logica e Algebra

Full exam

Logica e Algebra - 18 Febbraio 2022 - SPASS Cognome:Nome:Codice persona: L'esercizio va svolto su questo foglio: nello spazio sotto il testo e sul retro la parte di SPASS. Eventuali fogli di brutta non devono essere consegnati e non verranno ritirati. I compiti privi di indicazione di nome e cognome NON verranno corretti. ˆSi consideri su un insiemeXuna relazione d'ordine parzialeRXX. Siaf:X!Xuna funzione che preserva la relazioneR(cioe se due elementi sono in relazione, anche le loro immagini lo sono) e siam2Xun ssato elemento minimale rispetto alla relazioneR. Un sottoinsiemeSXsi dice convesso rispetto aRse presi tre elementia; b; c2X tali che sea; b2Se (a; c);(c; b)2R, allorac2S. Vericare che la controimmaginef 1 (m) =fx2X:f(x) =mge un insieme convesso rispetto aR.