Lógica modal quantificada simples (cont.)
30 Novembro 2017, 16:00 • Ricardo Santos
Resolução de exercícios de lógical modal quantificada simples. Aplicação do método das árvores. Construção e verificação de contramodelos.
30 Novembro 2017, 16:00 • Ricardo Santos
Resolução de exercícios de lógical modal quantificada simples. Aplicação do método das árvores. Construção e verificação de contramodelos.