La ricerca ha trovato 2 risultati

da WilliamSimoni
24/07/2019, 15:44
Forum: [IS] Ingegneria del software
Argomento: Domande Orale Gori
Risposte: 5
Visite : 5898

Re: Domande Orale Gori

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.
da WilliamSimoni
20/06/2019, 20:58
Forum: [ECC] Elementi di calcolabili e complessità
Argomento: Domande Orale Degano
Risposte: 36
Visite : 26705

Re: Domande Orale Degano

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 ric...

Vai alla ricerca avanzata