Vai alla Home Page About me Courseware Federica Living Library Federica Federica Podstudio Virtual Campus 3D Le Miniguide all'orientamento Gli eBook di Federica La Corte in Rete
 
I corsi di Scienze Matematiche Fisiche e Naturali
 
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