| V I S U A L I Z Z A D I S C U S S I O N E |
| skilled |
Inserito il - 25/01/2012 : 11:43:47
qualcuno conosce le domande dell'esame di gennaio??? condividete!!! |
| 1 U L T I M E R I S P O S T E (in alto le più recenti) |
| ntò |
Inserito il - 25/01/2012 : 22:01:31
Questa è la traccia del 17-gennaio-2012
1.Completezza del sistema logico degli enunciati basato sulla risoluzione
2.Verificare se la seguente formula è derivabile: per ogni x esiste y (A(x) or B(y)) --> esiste x per ogni y (A(x) and B(y))
3.A partire dalla definizione di macchina di Turing costruire la propria macchina universale
4.Teorema di Savitch (solo 12 cfu) |
