Forum Informatica Unict

LAUREA MAGISTRALE => Teoria della Computabilità, 9 CFU => Topic started by: Domenico Cantone on 12-04-2011, 10:19:59



Title: Ancora sulla I prova in itinere (e correzione data!)
Post by: Domenico Cantone on 12-04-2011, 10:19:59
N.B. La data della prova è stata corretta al 27/4, secondo quanto convenuto a lezione

Ho provveduto a segnalare anch'io le disfunzioni rilevate sul portale STUDIUM.UniCT.
In attesa che tale problema sia risolto, ho attivato il form per la prenotazione alla prova in itinere del 27/4 sul vecchio portale Moodle, all'URL http://moodle.dmi.unict.it/moodle/mod/reservation/view.php?id=1439 (http://moodle.dmi.unict.it/moodle/mod/reservation/view.php?id=1439).
Sarà possibile prenotarsi fino al 22/04/11.
Per quanti non le avessero ancora, sarà necessario ottenere le credenziali di accesso seguendo le indicazioni riportate nella pagina https://moodle.dmi.unict.it/moodle/login/index.php (https://moodle.dmi.unict.it/moodle/login/index.php) .


Title: Re:Ancora sulla I prova in itinere (e correzione data!)
Post by: ɹǝǝuıƃuǝsɹǝʌǝɹ on 26-04-2011, 20:22:26
A beneficio di chi fosse mancato l'ultima volta ma che sosterrà la prova di domani di Teoria della computabilità, ricordo che il professore ci ha detto che, qualora ciò ci possa aiutare nella risoluzione di un particolare esercizio, possiamo sfruttare la decidibilità dei predicati \fs{3}\text{S}_n ed \fs{3}\text{H}_n    .

Non sono compresi nella parte su cui verremo valutati domattina, e perciò non sarà richiesto di saper dimostrare la decidibilità di tali predicati, sarà solo una "facilitazione" per la risoluzione degli esercizi :-OK.

A domani .ciaociao.