Forum by laureateci.it
[ Home | REGOLE FORUM | Tutti i blog | Profilo | Registrati | CHAT | Discussioni Attive | Discussioni Recenti | Segnalibro | Msg privati | Sondaggi Attivi | Utenti | Download Informatica | Download ICD | Download TPS | Download Magistrale | Download Specialistica | Giochi | Cerca nel web | cerca | faq | RSS ]
Nome Utente:
Password:
Salva Password
Password Dimenticata?

 Tutti i Forum
 Magistrale - Primo Anno
 Metodi formali dell'Informatica
 Teorema di Rice, esercizio

Nota: Devi essere registrato per poter inserire un messaggio.
Per registrarti, clicca qui. La Registrazione è semplice e gratuita!

Larghezza finestra:
Nome Utente:
Password:
Modo:
Formato: GrassettoCorsivoSottolineatoBarrato Aggiungi Spoiler Allinea a  SinistraCentraAllinea a Destra Riga Orizzontale Inserisci linkInserisci EmailInserisci FlashInserisci Immagine Inserisci CodiceInserisci CitazioneInserisci Lista Inserisci Faccine
   
Icona Messaggio:              
             
Messaggio:

  * Il codice HTML è OFF
* Il Codice Forum è ON

Smilies
Approvazione [^] Arrabbiato [:(!] Bacio [:X] Bevuta [:273]
Caldo [8D] Compiaciuto [8)]    
compleanno [:269]
Davvero Felice [:D] Diavoletto [}:)] Disapprovazione [V] Domanda [?]
Felice [:)] Fumata [:29] Goloso [:P] Imbarazzato [:I]
Infelice [:(] Morte improvvisa da [:62]
Morto [xx(] Occhio Nero [B)] Occhiolino [;)] Palla 8 [8]
pc [:205]    
Riproduzione [:76]
Scioccato [:O]      

   Allega file
  Clicca qui per inserire la tua firma nel messaggio.
Clicca qui per sottoscrivere questa Discussione.
    

V I S U A L I Z Z A    D I S C U S S I O N E
Salsero Inserito il - 22/01/2010 : 18:49:33
Ho trovato una traccia nel cui chiedere di dimostrare il teorema di rice e applicazione all'insieme {x: fi(x) 5 = 6}
qualcuno ha svolto la seconda richiesta...!?
4   U L T I M E    R I S P O S T E    (in alto le più recenti)
priscill@84 Inserito il - 23/01/2010 : 17:59:47
Citazione:
Messaggio inserito da Salsero

Capì... anche se non sò fino a che punto ste cose saranno utili a fini lavorativi... và bè, però fammi stare zitto se no qui ogni volta accade che mi danno tt addosso xkè la penso in un certo modo



abbiamo capito tutti che non ami particolarmente questo esame ( si evince dai tuoi ennesimi post in cui inserisci varie "frecciatine"). Cmq se pensi che queste cose non ti saranno utili a niente, considerala almeno sul piano della tua cultura generale da INFORMATICO... anche perchè un informatico che non sappia cosa sia una macchina di Turing o una funzione ricorsiva o le nozioni base di logica, lascia un po' perplessi...
La ricorsività e la logica ti aiuteranno ad affrontare il PROLOG per l'esame di intelligenza artificiale.
Inoltre l'informatica teorica è alla base dell'informatica moderna.Per cui, anche se forse non ci entusiasma più di tanto, è importante che un informatico la conosca.
Io personalmente la sto portando alle lunghe per preparare questo esame, colpa magari del mio non entusiasmo per queste cose ( perchè è lecito che ad alcuni piacciono di piu' e ad altri di meno )...però non mi metto a lanciare frecciate o a dire che anni di studi di Turing, Rice, ecc...non servono a nulla o non mi servono nel 2010 ai fini lavorativi.
Perciò armati di buona volontà e in bocca al lupo per l'esame :D
leptica Inserito il - 23/01/2010 : 17:20:51
se ti si chiede di provare che dato un qualsiasi programma questo programma calcola solo e soltanto la funzione f e non riesci a farlo non è perchè non sei furbo ma perchè il teorema di rice ti dice che non si può fare, la luna non il dito.
Salsero Inserito il - 23/01/2010 : 11:28:28
Capì... anche se non sò fino a che punto ste cose saranno utili a fini lavorativi... và bè, però fammi stare zitto se no qui ogni volta accade che mi danno tt addosso xkè la penso in un certo modo
Ivan86 Inserito il - 22/01/2010 : 22:59:31
il proff mi disse che se fai la dimostrazione di Rice, automaticamente dimostri l'applicazione..

Forum by laureateci.it © 2002 - 2012 Laureateci Communications Torna all'inizio della Pagina
Il DB ha risposto in 0,05 secondi.

TargatoNA.it | SuperDeejay.Net | Antidoto.org | Brutto.it | Equiweb.it | Snitz Forum 2000