Prova scritta di MATEMATICA DISCRETA - LS Ingegneria Informatica
Prova scritta di MATEMATICA DISCRETA - LS Ingegneria Informatica
Prova scritta di MATEMATICA DISCRETA - LS Ingegneria Informatica
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Prova</strong> <strong>scritta</strong> <strong>di</strong> <strong>MATEMATICA</strong> <strong>DISCRETA</strong> - <strong>LS</strong> <strong>Ingegneria</strong> <strong>Informatica</strong> - 16/03/04 1<br />
COGNOME: NOME:<br />
TEST – Scrivere il numero della risposta sopra alla corrispondente domanda.<br />
Risposte<br />
Domande 1 2 3 4 5 6 7<br />
1 Sia X un insieme ed A1, A2, . . . , An suoi sottoinsiemi finiti. Allora:<br />
[1] #(∪ n i=1 Ai) = <br />
I⊆{1,...,n},I=∅ (−1)#I #(∩j∈IAj)<br />
[2] #(∪ n i=1 Ai) = <br />
i=1,...,n #(Ai)<br />
[3] #(∪ n i=1 Ai) = <br />
I⊆{1,...,n},I=∅ (−1)#I−1 #(∩j∈IAj)<br />
[4] #(∪ n i=1 Ai) = <br />
j=1,...,n (−1)j−1 #(∩i=1,...,jAi)<br />
2 Denotiamo con ψ(n) il valore della funzione <strong>di</strong> Eulero per n ∈ Z + . La relazione<br />
a ψ(n)+1 ≡ a mod n<br />
[1] é sempre vera, per ogni a ∈ Z<br />
[2] é vera a ∈ Z solo se n é primo<br />
[3] é vera solo se MCD(a, n) = 1<br />
[4] é vera per ogni a ∈ Z tale che MCD(a, n) = 1, ed é vera per ogni a ∈ Z se n é libero da quadrati<br />
3 Sia A un insieme numerabile. La seguente affermazione é in generale falsa:<br />
[1] A × A ha la potenza del continuo<br />
[2] Ogni sottoinsieme <strong>di</strong> A é <strong>di</strong>screto<br />
[3] L’insieme delle parti <strong>di</strong> A ha la potenza del continuo<br />
[4] L’insieme delle parti <strong>di</strong> A é in corrispondenza biunivoca con le successioni a valori in {0,1}<br />
4 Sia X un alfabeto (or<strong>di</strong>nato) <strong>di</strong> 10 lettere. Quante sono le parole (non vuote) nell’alfabeto X aventi lunghezza ≤ 4 e<br />
tali che ogni lettera sia - nell’or<strong>di</strong>ne alfabetico fissato - minore o uguale alla successiva?<br />
[1] 210<br />
[2] nessuna delle precedenti<br />
[3] 1000<br />
[4] 10000<br />
5 Sia A l’insieme dei grafi connessi con insieme dei vertici V = {v1, v2, v3, v4}. Sia ∼ la relazione <strong>di</strong> equivalenza su A<br />
definita da<br />
G ∼ G ′ se e solo se #(E) + #(E ′ ) ∈ P<br />
Allora, il quoziente A<br />
∼<br />
[1] é costituito da due elementi, ovvero [G1] e [G2], con score(G1)=(2,2,2,2) e score(G2)=(3,3,3,3).<br />
[2] é costituito da due elementi, ovvero [G1] e [G2], con score(G1)=(2,2,2,2) e score(G2)=(1,1,2,2).<br />
[3] é costituito da due elementi, ovvero [G1] e [G2], con score(G1)=(1,1,1,1) e score(G2)=(2,2,2,2).<br />
[4] é costituito da un solo elemento.<br />
6 Le soluzioni della congruenza 14x ≡ 21 mod 77 sono:<br />
[1] [7], [18], [29], [40], [51], [62] e [73] in Z77<br />
[2] [7], [29], [51] e [73] in Z77<br />
[3] [7] in Z11<br />
[4] [7] e [-4] in Z11<br />
7 In un mazzo da 52 carte, quante mani realizzano un tris <strong>di</strong> donne?<br />
[1] 1584<br />
[2] 8448<br />
[3] 4224<br />
[4] nessuna delle precedenti<br />
ESERCIZI – Scrivere in modo sintetico lo svolgimento dei seguenti esercizi.<br />
10
Esercizio n. 1 – Si determinino, se esistono, tutte le soluzioni ¯x del seguente sistema <strong>di</strong> congruenze, con 100 ≤ ¯x ≤ 300:<br />
⎧<br />
⎪⎨ 2x + 2 ≡ −x + 4 mod 7<br />
2x + 1 ≡ x mod 6<br />
⎪⎩<br />
3x ≡ 1 mod 5<br />
Esercizio n. 2 – Dire se esistono, e in caso affermativo determinare, le soluzioni intere delle seguenti equazioni: (a)<br />
148x + 212y = 12 (b) 148x + 212y = 2<br />
Esercizio n. 3 – Si risolva la seguente equazione ricorsiva:<br />
<br />
an = an−1 + 2(n − 1), n ≥ 2<br />
a1 = 2<br />
Esercizio n. 4 – Si risolva la seguente equazione ricorsiva:<br />
⎧<br />
⎪⎨ an = 7an−1 − 12an−2, n ≥ 2<br />
a0 = 1<br />
⎪⎩<br />
a1 = 2<br />
11
Stringa risposte corrette domande test:<br />
N.C. D1 D2 D3 D4 D5 D6 D7<br />
1 3 4 1 3 2 1 3<br />
Risposte corrette esercizi:<br />
Es. 1: Sol. generale: ¯x = 17 + 210h, h ∈ Z. Unica sol. nell’intervallo richiesto: ¯x = 227.<br />
Es. 2: (a) ammette soluzioni e (b) no, perch MCD(148, 212) = 4.<br />
Soluzioni <strong>di</strong> (a): {(−30 + 212/4h, 21 − 148/4h) = (−30 + 53h, 21 − 37h), / h ∈ Z}.<br />
Es. 3: an = n 2 − n + 2<br />
Es. 4: an = −1 · 4 n + 2 · 3 n<br />
12