Álgebras Dinâmicas
03/12/2004 Sexta-feira, 03 de Dezembro de 2004, 16h, Anfiteatro
Maria do Céu Pinto
(Universidade de Coimbra, Portugal)
As Álgebras Dinâmicas são álgebras heterogéneas constituídas por uma Álgebra de Boole e por uma álgebra de acções. As acções podem ser vistas como programas de computador que actuam sobre a parte proposicional, dando um carácter dinâmico à lógica subjacente.
Iremos apresentar algumas propriedades destas álgebras.
|
