Sab 17 Agosto, 14:38:55 - 2019

Visualizza post

Questa sezione ti permette di visualizzare tutti i post inviati da questo utente. N.B: puoi vedere solo i post relativi alle aree dove hai l'accesso.


Post - Zepone

Pagine: [1] 2 3 ... 24
1
Presentazioni / Re:Ciao
« il: Mar 09 Ottobre, 16:50:45 - 2018 »
Wellcome

2
Distributed Systems and Computer Network Security / Testi d'esame CNS
« il: Mer 18 Aprile, 16:24:48 - 2018 »
Buongiorno colleghi.

Ho notato che sul sito del corso di CNS ci sono testi d'esame fino al settembre 2016; qualcuno ha da condividere i testi d'esame più recenti/successivi a questa data?

3
Formal Methods / Esercizio 3: Mu calculus
« il: Mar 24 Ottobre, 21:56:37 - 2017 »
Buonasera ragazzi. Sto esaminando i testi degli appelli passati e ho potuto notare che c'è una certa sistematicità/ripetizione negli esercizi.

Quello che mi crea problemi è il n.3, ovvero quello sul mu-calculus e ctl formula; non riesco a capire come applicare gli algoritmi di model checking per la realizzazione degli esercizi.

Ad esempio, nel file in allegato, non capisco perché la soluzione proposta funziona.

4
Sistemi Operativi / Re:Cosa portare all'orale
« il: Mer 11 Ottobre, 07:58:18 - 2017 »
Confermo le parole di scheggia e gargamella.

5
Sospetto che dei 3 esami residui i primi risultati noti saranno quelli di Modelli; ipotizzo ciò perché tipicamente le materie di Morpheus sono tra le ultime che uno riesce a superare nella triennale, non tanto nella magistrale. Quindi credo che darà la priorità a Modelli. Ripeto, è un mio sospetto eh.

6
Vero; il che lascia supporre che non dovrebbe mancare molto per gli altri risultati.

7
Il problema, fondamentalmente, è che ad ogni appello d'Amore ha 4 esami da correggere: Algoritmi e Strutture Dati, Modelli e Complessità di Calcolo, Computer Network and Security, Web Application Security and privacy. Anche noi alla magistrale siamo in attesa, abbiamo fatto CNS la stessa mattina di modelli e il prof ci disse che ci sarebbe voluto comunque Agosto (inteso come quanto meno la prima settimana).

8
Fondamenti di Informatica II (fino A.A. 2013/14) / Re:Modelli
« il: Mer 26 Luglio, 10:36:43 - 2017 »
Partiamo da due presupposti:

  • leggo solo ora, quindi non so se risponderti può essere ancora utile per la tua personale situazione
  • ho dato gli esami di informatica teorica parecchi anni fa, quindi sono leggermente arruginito

premesso ciò, vediamo di aiutarti (e di aiutare chi leggerà in futuro avendo il tuo stesso problema).

Relativamente al punto 2, la domanda può essere vista così: è dato un certo alfabeto, in questo caso quello costituito dai caratteri a e b. Dato un alfabeto, è possibile costruire una grammatica ad esso associata; tuttavia (e se farete linguaggi per il web lo vedrete per bene), una grammatica può essere sia ambigua che NON ambigua.
Bene, si definisca allora una grammatica, per l'alfabeto dato che NON sia ambigua, ossia una grammatica che non sia definita come descritto nel seguente link:

https://it.wikipedia.org/wiki/Grammatica_ambigua

Dovendo tu stesso costruire la grammatica e quindi le regole che la compongono, l'accortezza che dovrai adoperare è far si che queste non permettano di ottenere, come dice il link qui sopra, stringhe prodotte con derivazioni sinistre diverse.

Sulla domanda della tesi, trovi una risposta chiara qui:

https://www.riflessioni.it/forum/filosofia/10782-tesi-di-church-goedel-e-intelligenza-artificiale.html

il cui passo principale riporto qui per brevità:

"Questo non è un teorema matematico, ma è una tesi, nel senso che non può essere dimostrata matematicamente. Questo perché "intuitivamente calcolabile" è un concetto del linguaggio naturale, quindi vago e non perfettamente definito (come richiederebbe una dimostrazione matematica)."

Infine, per la domanda 5, trovi una buona spiegazione in queste slides del prof Ausiello:

http://www.dis.uniroma1.it/~ausiello/InfoTeoRM/7.NP-COMP-07.pdf

a partire dalla fine della pagina 16; li troverai definizione, dimostrazione ed un esempio della riduzione richiesta.

Spero che la mia risposta possa essere di aiuto.

9
Ottimo Kuma. Graie mille!

10
Confermo, è uscito anche all'appello di giugno.

11
Discussioni Generali / Re:Test vca laurea triennale
« il: Mar 27 Giugno, 15:17:56 - 2017 »
Quando mi sono laureato io, l'anno scorso, erano esentati gli iscritti fino all'anno 2004/2005 incluso.

Quindi, coloro che dovevano sostenerlo, erano tutti gli immatricolati a partire dal settembre 2005 in poi; non so se ora sia cambiato, in questi casi la segreteria è sempre un ottimo supporto.

12
Mercatino / Re:[VENDO] Libri triennale
« il: Mar 13 Giugno, 14:32:01 - 2017 »
I libri sono tutti disponibili, l'ultimo che hai elencato è per elettrotecnica.

13
Mercatino / Re:[VENDO] Libri triennale
« il: Lun 12 Giugno, 11:05:35 - 2017 »
Yes.

14
Mercatino / Re:[VENDO] Libri triennale
« il: Mer 03 Maggio, 12:46:22 - 2017 »
Si.

Pagine: [1] 2 3 ... 24