The forum of the Computer Science students of the University of Pisa

Inizialmente l'orale si basa sugli errori fatti nel compito.
Poi ha chiesto:
- Testing in generale (limiti e tipi di test)
- Test mutazionale
- Modello di vita a piacere
Professoressa molto tranquilla.
1. Discutere le proprietà dell'insieme I = { x | ∃y . φ_x (y) = φ_x (x) }. 2. Dimostrare il teorema "I è ricorsivamente enumerabile se e solo se è vuoto oppure è l'immagine di una funzione calcolabile totale". 3. Dimostrare che CIRCUIT-SAT è NP-completo. Risposta alla 1: I è un insieme ricorsivo. In...