[Introduzione alla teoria della computazione] Esercizio 0.1

[FeddyLix17]

Esaminare le seguenti descrizioni formali di insiemi in modo da stabilire gli elementi che essi contengono.

Scrivere una breve descrizione informale in italiano di ogni insieme.

1. $\Large \{1,\ 3,\ 5,\ 7, \dots\}$


2. $\Large \{\dots,\ -4,\ -2,\ 0,\ 2,\ 4, \dots \}$


3. $\Large \{n | n = 2m\ \text{per qualche m in N}\}$


4. $\Large \{n | n = 2m\ \text{per qualche m in N, e}\ n = 3k\ \text{per qualche k in N}\}$


5. $\Large \{w | w\ \text{è una stringa di 0 e 1 e w è l'inversa di w}\}$


6. $\Large \{n | n\ \text{è un intero e}\ n = n + 1\}$