Mer 21 Agosto, 09:46:40 - 2019

Autore Topic: Esami svolti  (Letto 500 volte)

0 Utenti e 1 Visitatore stanno visualizzando questo topic.

Offline V@|e

  • Studente
  • *
  • Post: 8
  • FeedBack: +0/-0
    • Mostra profilo
Esami svolti
« il: Dom 07 Settembre, 16:52:17 - 2014 »
Salve....qualcuno ha per caso dei testi d'esame svolti?
AIA...va mallllleeeeee!!!

Offline mrclick

  • Studente di Dottorato
  • ***
  • Post: 189
  • FeedBack: +15/-7
    • Mostra profilo
    • GitHub
Re:Esami svolti
« Risposta #1 il: Dom 07 Settembre, 16:58:40 - 2014 »
http://www.dis.uniroma1.it/~degiacom/didattica/metodiformali/appelli/
In alcuni esami ci sono anche le soluzioni. L'esame comunque è sempre lo stesso, quindi l'importante è che sai fare quelle 5-6 tipologie di esercizio

Offline V@|e

  • Studente
  • *
  • Post: 8
  • FeedBack: +0/-0
    • Mostra profilo
Re:Esami svolti
« Risposta #2 il: Dom 07 Settembre, 17:16:56 - 2014 »
si ho visto ma ci sono solo 2 esami svolti ne volevo qualcuno in più....tu non ne hai qualcuno?
AIA...va mallllleeeeee!!!

Offline mrclick

  • Studente di Dottorato
  • ***
  • Post: 189
  • FeedBack: +15/-7
    • Mostra profilo
    • GitHub
Re:Esami svolti
« Risposta #3 il: Dom 07 Settembre, 17:56:53 - 2014 »
No, io mi sono esercitato solo con quelli. Quei due esami svolti racchiudono tutti i possibili esercizi che possono uscire all'esame. In pratica gli esarcizi sono sempre quelli:

- Traduzione diagramma UML in FOL e DL-Lite + calcolo della Certain Answer data ABox e query in FOL
- Model check di un transition system (mu calculus e CTL)
- Traduzione query da linguaggio naturale in FOL
- Calcolo della Certain Answer data la CQ in FOL e un database incompleto
- Calcolo della Weakest Precondition

Gli esami svolti non sono poi così indispensabili. Le slide sono piu che sufficienti come support per glie esercizi d'esame

Offline V@|e

  • Studente
  • *
  • Post: 8
  • FeedBack: +0/-0
    • Mostra profilo
Re:Esami svolti
« Risposta #4 il: Dom 07 Settembre, 18:19:22 - 2014 »
ok ti ringrazio
AIA...va mallllleeeeee!!!