| V I S U A L I Z Z A D I S C U S S I O N E |
| nala |
Inserito il - 25/09/2009 : 12:35:21
La traccia di oggi era questa:
1. dimostrare che la ricorsione primitiva è urm calcolabile.
2. dimostrare che la parte intera della radice quadrata è ricorsiva primitiva.
3. teorema di Rice e fare un esempio di un insieme che non è decidibile usando il teorema.
era difficile!! almeno per me era difficile... infatti mi sono ritirata... |
| 8 U L T I M E R I S P O S T E (in alto le più recenti) |
| arcanum |
Inserito il - 02/10/2009 : 12:31:52
C'è qualcuno che può darmi lo svolgimento della traccia di laboratorio please? |
| Ivan86 |
Inserito il - 28/09/2009 : 17:52:57
dovrebbe stare nella sezione Magistrale Download. |
| arcanum |
Inserito il - 28/09/2009 : 12:48:37
Non è proprio la sezione adatta però qualcuno sa qual'è stata la traccia di laboratorio? |
| Mauro84 |
Inserito il - 26/09/2009 : 20:42:32
Dimostrare che la parte intera della radice quadrata è ricorsiva primitiva:
radq(x)=uy(0<=y<=x)(x<=(y+1)^2)
importante mettere la minimalizzazione limitata altrimenti
la funzione radq non è r.p. (infatti la procedura potrebbe non convergere)
Si nota nelle parentesi che tutti i simboli introdotti sono r.p.
compresa la minimalizzazione limitata ;) |
| Gabri |
Inserito il - 26/09/2009 : 18:58:59
Citazione:
Messaggio inserito da pepsianomala
per chi è interessato sono usciti i risultati dell'appello sulla pagina di pani!
non è che mettete la dimostrazione della funz ricorsiva, così chi non la sapeva fare vede come si faceva? |
| pepsianomala |
Inserito il - 26/09/2009 : 14:25:07
per chi è interessato sono usciti i risultati dell'appello sulla pagina di pani! |
| Ivan86 |
Inserito il - 25/09/2009 : 15:50:33
si infatti.. Era inutile che lo facessi Rice e poi essere bocciato..
Sarà una mia impressione, ma mi sembra che man mano che le date di appello si allontanano, la traccia diventa sempre più complicata.
Nelle altre date con la preparazione che avevo, avrei risposto alla maggior parte delle domande |
| vampire |
Inserito il - 25/09/2009 : 15:38:12
Citazione:
Messaggio inserito da nala
La traccia di oggi era questa:
1. dimostrare che la ricorsione primitiva è urm calcolabile.
2. dimostrare che la parte intera della radice quadrata è ricorsiva primitiva.
3. teorema di Rice e fare un esempio di un insieme che non è decidibile usando il teorema.
era difficile!! almeno per me era difficile... infatti mi sono ritirata...
purtroppo io a fine corso avevo capito che le URM non sarebbero state presenti in sede di esame (e anche qualche altro aveva capito così)..per questo..pur essendo obiettivamente una stupidaggine le URM non ho saputo rispondere a quella domanda...xkè le avevo proprio tralasciate dal mio studio...avevo dato solo una lettura per cultura personale..ma nn imparate bene..!!la seconda domanda invece nn sapevo proprio farla...mentre Rice era fattibile..è uno dei teoremi più semplici.peccato..sarà per novembre. |
