Cálculo Omega
14 dezembro 2007, 11:00 • Amilcar Sernadas
Cálculo de convergência de ciclos (cálculo Omega): axiomas, regras e exemplo de aplicação. Breve referência ao método de Dijkstra de síntese de pequenos programas imperativos.
14 dezembro 2007, 11:00 • Amilcar Sernadas
Cálculo de convergência de ciclos (cálculo Omega): axiomas, regras e exemplo de aplicação. Breve referência ao método de Dijkstra de síntese de pequenos programas imperativos.