Vai alla Home Page About me Courseware Federica Living Library Federica Federica Podstudio Virtual Campus 3D La Corte in Rete
 
Il Corso Le lezioni del Corso La Cattedra
 
Materiali di approfondimento Risorse Web Il Podcast di questa lezione

Aniello Murano » 11.Equivalenza delle semantiche operazionale e denotazionale dei comandi di IMP


Semantica denotazionale


Fixpoint per C[w]


Equivalenza delle semantiche


Equivalenza per Com (1)”


Equivalenza per Com di “;” per “(“


Equivalenza per Com: while per “(“


Equivalenza per Com: while per “(” (2)


Equiv. su while per “(” (passo induttivo)


Equivalenza per Com “)”


Equivalenza per Com: while per “)”


Intuizione sulla formulazione della prova


Equivalenza per Com: while per “)” (2)


Esecizio 1


  • Contenuti protetti da Creative Commons
  • Feed RSS
  • Condividi su FriendFeed
  • Condividi su Facebook
  • Segnala su Twitter
  • Condividi su LinkedIn
Progetto "Campus Virtuale" dell'Università degli Studi di Napoli Federico II, realizzato con il cofinanziamento dell'Unione europea. Asse V - Società dell'informazione - Obiettivo Operativo 5.1 e-Government ed e-Inclusion

Fatal error: Call to undefined function federicaDebug() in /usr/local/apache/htdocs/html/footer.php on line 93