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