11.08.2013 Views

Prova scritta di MATEMATICA DISCRETA - LS Ingegneria Informatica

Prova scritta di MATEMATICA DISCRETA - LS Ingegneria Informatica

Prova scritta di MATEMATICA DISCRETA - LS Ingegneria Informatica

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!