Forum by laureateci.it - appello 25 settembre 2009

Nome Utente:	Password:
Salva Password
Password Dimenticata?

Tutti i Forum

Magistrale - Primo Anno

Metodi formali dell'Informatica

appello 25 settembre 2009

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Autore

Discussione

nala
Utente giovane

Regione: Puglia
Prov.: Bari
Città: bari

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

Modificato da - nala in Data 25/09/2009 12:36:12

vampire
Utente medio

Città: Bari

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.

Ivan86
Utente Capoeirista

Regione: Puglia
Prov.: Bari
Città: Bitritto

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

Modificato da - Ivan86 in data 25/09/2009 15:52:00

pepsianomala
Utente giovane

Regione: Puglia
Prov.: Taranto
Città: Taranto

Inserito il - 26/09/2009 : 14:25:07

per chi è interessato sono usciti i risultati dell'appello sulla pagina di pani!

rappresentante corso di laurea in informatica MAGISTRALE
lista UDU

Gabri
Moderatrice - Un'amica affezionata

Regione: Puglia
Prov.: Ba
Città: Trani

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?

rappresentante corso di laurea in informatica MAGISTRALE
rappresentante per la FACOLTA' di SCIENZE MM.FF.NN.
lista LINK

informatica.magistrale.udu_AT_gmail.com

Mauro84
Utente medio

Regione: Puglia
Prov.: Bari

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 ;)

arcanum
Utente giovane

Inserito il - 28/09/2009 : 12:48:37

Non è proprio la sezione adatta però qualcuno sa qual'è stata la traccia di laboratorio?

Ivan86
Utente Capoeirista

Regione: Puglia
Prov.: Bari
Città: Bitritto

Inserito il - 28/09/2009 : 17:52:57

dovrebbe stare nella sezione Magistrale Download.

arcanum
Utente giovane

Inserito il - 02/10/2009 : 12:31:52

C'è qualcuno che può darmi lo svolgimento della traccia di laboratorio please?

Discussione

Nuova Discussione

Rispondi

Versione Stampabile

Aggiungi Segnalibro

Vai a:

Forum by laureateci.it

Il DB ha risposto in 0,21 secondi.