Forum Informatica Unict

LAUREA MAGISTRALE => Teoria della Computabilità, 9 CFU => Topic started by: ɹǝǝuıƃuǝsɹǝʌǝɹ on 22-04-2011, 22:02:17



Title: (alcuni) Esercizi (forse) risolti da esami passati
Post by: ɹǝǝuıƃuǝsɹǝʌǝɹ on 22-04-2011, 22:02:17
Come qualcuno di voi mi aveva chiesto, qualora ne avessi avuto possibilità e tempo, ho provato a risolvere gli esercizi compatibili con la parte di argomenti richiesti per la prima prova in itinere di quest'a.a. e che sono presenti fra gli esami dell'a.a. 2008/2009 (penultima riga di questa pagina (http://www.dmi.unict.it/~cantone/HomeComputabilita-09/itComputabilita.html)).

Ho dei dubbi sulla correttezza dei seguenti:
Esame del 10/02/2009 – Esercizio 2 – punto (c) (pagina 2 del PDF allegato)
Esame del 03/03/2009 – Esercizio 2 – punto (b) (pagina 3 del PDF allegato), in particolare con la seguente frase
    "Dire che una funzione non è quasi-costante significa che tale funzione ha codominio infinito."
    che non so dimostrare formalmente (forse perché non è vera  .huh?)
Per gli altri sono abbastanza sicuro di averli fatti giusti, tuttavia un commento del prof. generale sarebbe molto gradito .arrossisco.

PDF Allegato (159 KB) (http://goo.gl/20QXo)

Dopo aver cliccato qui sopra, cliccate su "Click here to start download from MediaFire.."
P.S. il server studenti galileo (http://galileo.dmi.unict.it) sembra down al momento, perciò mi sto affidando a servizi di webhosting gratuito.
Non appena funzionerà di nuovo, cambierò questo messaggio con un link al PDF diretto su galileo.


Title: Re:(alcuni) Esercizi (forse) risolti da esami passati
Post by: ɹǝǝuıƃuǝsɹǝʌǝɹ on 24-04-2011, 02:33:05
Se doveste avere problemi con il PDF allegato, provate con questo condiviso pubblicamente su Google Docs (https://docs.google.com/viewer?a=v&pid=explorer&chrome=true&srcid=0B7id-L59o5RxZTZkZjdlMjYtYTVmMy00YTdlLWIxMzItMzIzMjk1NzFiMTJj&hl=it&authkey=CPX-wEA).

Buona Pasqua! .ciaociao


Title: Re:(alcuni) Esercizi (forse) risolti da esami passati
Post by: andreacannella on 24-04-2011, 17:11:02
Se doveste avere problemi con il PDF allegato

Effettivamente "Preview" non riusciva ad aprirlo, ma Adobe Reader sì  :-OK


Title: Re:(alcuni) Esercizi (forse) risolti da esami passati
Post by: Domenico Cantone on 25-04-2011, 19:24:55
Come qualcuno di voi mi aveva chiesto, qualora ne avessi avuto possibilità e tempo, ho provato a risolvere gli esercizi compatibili con la parte di argomenti richiesti per la prima prova in itinere di quest'a.a. e che sono presenti fra gli esami dell'a.a. 2008/2009 (penultima riga di questa pagina (http://www.dmi.unict.it/~cantone/HomeComputabilita-09/itComputabilita.html)).

Ho dei dubbi sulla correttezza dei seguenti:
Esame del 10/02/2009 – Esercizio 2 – punto (c) (pagina 2 del PDF allegato)
Esame del 03/03/2009 – Esercizio 2 – punto (b) (pagina 3 del PDF allegato), in particolare con la seguente frase
    "Dire che una funzione non è quasi-costante significa che tale funzione ha codominio infinito."
    che non so dimostrare formalmente (forse perché non è vera  .huh?)
Per gli altri sono abbastanza sicuro di averli fatti giusti, tuttavia un commento del prof. generale sarebbe molto gradito .arrossisco.

PDF Allegato (159 KB) (http://goo.gl/20QXo)

Dopo aver cliccato qui sopra, cliccate su "Click here to start download from MediaFire.."
P.S. il server studenti galileo (http://galileo.dmi.unict.it) sembra down al momento, perciò mi sto affidando a servizi di webhosting gratuito.
Non appena funzionerà di nuovo, cambierò questo messaggio con un link al PDF diretto su galileo.


Le mie osservazioni si trovano all'interno del file al seguente link (http://www.dmi.unict.it/~cantone/FORUM-documenti/(possibili)%20soluzioni%20a%20esercizi%20di%20computabilità.pdf).
Comunque, a meno di qualche imprecisione, le soluzioni sono corrette.

il prof.

PS. Ho dovuto togliere l'accento dal nome originario del file, in quanto non sono riuscito a codificare la 'a' accentata: il codice %E0 pur corrispondendo ad "à" non funziona. Per curiosità, come avrei dovuto scrivere?


Title: Re:(alcuni) Esercizi (forse) risolti da esami passati
Post by: ɹǝǝuıƃuǝsɹǝʌǝɹ on 27-04-2011, 20:51:38
PS. Ho dovuto togliere l'accento dal nome originario del file, in quanto non sono riuscito a codificare la 'a' accentata: il codice %E0 pur corrispondendo ad "à" non funziona. Per curiosità, come avrei dovuto scrivere?
Ho provato ad aprire la URL relativa alla "cartella" (http://www.dmi.unict.it/~cantone/FORUM-documenti/) che contiene il file con le sue osservazioni.

In questo caso, proverei a fare copia-incolla della URL che viene mostrata in tale pagina dopo aver fatto l'upload (in questo modo il server mostrerà una URL corretta, qualunque cosa contenga il nome del file caricato) e diffonderei tale URL.

Buona sera .ciaociao.