Appello MMI (resto 2 - prof.

ssa Rescigno)– 16 Giugno 2021

Indirizzo email a cui spedire la soluzione: mmatematici01@gmail.com
ESERCIZIO 1 (10 punti)
Si consideri il seguente predicato:
P (x) : x > 3 → x2 ≥ 25
Sia A l’insieme definiti come
A = {x ∈ Z + | P (x)}
Elencare gli interi appartenenti ad A ∩ {−1, 0, 2, 3, 4, 5, 6}. Giustificare la risposta.
ESERCIZIO 2 (15 punti)
Siano P (x), Q(x) ed R(x) predicati sullo stesso dominio D. Assumendo che siano VERE le
seguenti proposizioni:
(a) ∃x[P (x) ∧ Q(x)]
(b) ∀x[Q(x) → R(x)]
possiamo concludere che é VERA ∃xR(x)? Giustificare la risposta.
ESERCIZIO 3 (10 punti)
Si considerino i predicati, aventi come dominio l’insieme di tutte le persone
- S(x): x é uno studente
- A(x,y): x ama y
- H(x, y): x é sorella di y
Si traducano le seguenti asserzioni in espressioni logiche
(a) Nessuno studente ama Luca.
(b) Luca ha almeno una sorella.
(c) Luca ama le sorelle di tutti gli studenti.
ESERCIZIO 4 (10 punti)
Provare che la seguente affermazione é FALSA.
Per tre qualsiasi insiemi A, B, C, se (A ∪ C) ⊆ (B ∪ C) allora A ⊆ B
ESERCIZIO 5 (25 punti)
Sia A l’insieme delle stringhe sull’alfabeto {a, b} definito ricorsivamente come segue:
P.B.: b ∈ A
P.R.: Se w ∈ A allora waw ∈ A
a) Usare il principio di induzione strutturale per provare che
Per ogni w ∈ A esiste un k ∈ N tale che `(w) = 2k − 1
b) Usare il principio di induzione strutturale per provare che
Per ogni w ∈ A si ha che w inizia per b, finisce per b e non ha aa come sottostringa
ESERCIZIO 6 (20 punti)
Un albero unario é un albero radicato in cui ciascun nodo ha zero o un figlo.
a) Dare la definizione ricorsiva di albero unario.
b) Siano n(T ) ed h(T ), rispettivamente, il numero di nodi e l’altezza di un albero unario T .
Usare il principio di induzione strutturale per provare che
Per ogni albero unario T = (V, E) si ha n(T ) = h(T ) + 1.
ESERCIZIO 7 (10 punti)
Si consideri la seguente relazione di ricorrenza
T (2) = 1
T (n) = 2T (n/2) per n = 2h ed h ≥ 2.
Usare il metodo di sostituzione per determinare i valori della costante c per cui vale
T (n) ≤ cn log2 n