LOGICA E FONDAMENTI DI INFORMATICA

6 DICEMBRE 2021
ANTONELLA SANTONE

Esercizio 1 (punti 5) Fornire una prova diretta ed una prova per contrapposizione per:

“se x +8 è dispari, allora x è dispari”

Esercizio 2 (punti 5) Dimostrare per induzione:

n

∑ (i+1 ) 2i=n∗2n+1
i=1

Esercizio 3 (punti 6) Definire ricorsivamente la funzione f(n) che restituisce 1 se n è

multiplo di 3, 0 altrimenti, n ≥ 0 (n naturale).

Esercizio 4 (punti 5) Scrivere una grammatica che genera il linguaggio: {a nb2n | n  0}.

Esercizio 5 (punti 4) Trovare il linguaggio riconosciuto dal seguente automa a stati-finiti

deterministico.

Esercizio 6 (punti 2) Si descriva la classificazione di Noam Chomsky delle grammatiche.

Esercizio 7 (punti 2) Si illustri brevemente la dimostrazione diretta.

Esercizio 8 (punti 1) Si definisca il problema del riconoscimento di un linguaggio L.

 SOLUZIONE

Esercizio 1
Sia p(x): “x +8 è dispari” e q(x): “x è dispari”
Teorema: x (p(x)  q(x))
Prova diretta:
Supponiamo p(x), cioè che x +8 sia dispari. Per definizione di numero dispari:
x+8 = 2k + 1, per qualche k
x = 2k – 8 +1
x = 2(k-4) + 1 per definizione di numero dispari, x è dispari (q(x))
Prova per contrapposizione:
Supponiamo q(x), cioè che x sia pari. Per definizione di numero pari:
x = 2k , per qualche k
x+8 = 2k +8
x +8 = 2(k + 4)
x +8, per definizione di numero pari, è pari (p(x) )

Esercizio 2
Passo base:
se n=1, ½ = ½ , quindi l'affermazione è vera.
Supponiamo che la proprietà valga per n=k
k
1 k
∑ i(i+1 =
) k+1
i=1
Passo Induttivo: dobbiamo dimostrare che vale
k +1
1 k+1
∑ i(i+1 =
) k+2
i=1
Vale:
k +1 k
1 1 1
∑ i(i+1 =∑ +
) i=1 i(i+1) (k +1 )( k+2)
i=1
Per ipotesi induttiva:
k 1 k (k +2 )+1 k 2 +2 k +1 ( k +1)2 (k +1 )
+ = = = =
(k +1 ) (k +1 )(k +2 ) ( k +1)(k +2) (k +1 )(k +2) ( k+1)(k +2 ) (k +2 )

C.V.D.

Esercizio 3 Definire ricorsivamente la funzione f(n) che restituisce 1 se n è multiplo di 3,

0 altrimenti, n ≥ 0 (n naturale).

f(0) = 1

f(n) = 0, se 1<= n <=2

f(n) = f(n-3) n 3

Esercizio 4 Scrivere una grammatica che genera il linguaggio: {a nb2n | n  0}.

G = ({S, a, b}, {a, b}, S, P)

con
 SOLUZIONE
P = { S → aSbb, S →  }

Esercizio 5

L= {0,10,11}{0,1}∗