Sumários

Lógica Proposicional em Python

13 Novembro 2023, 08:00 • Paulo Jorge Cunha Vaz Dias Urbano

Aula de Laboratório sobre Lógica Proposicional em Python.

Representação das expressões lógicas, verificação de modelos e resolução. Exercícios

Exercícios de Lógica Proposicional

10 Novembro 2023, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Verificação de Modelos

Conversão das fórmulas na forma normal conjuntiva
Prova por resolução

Planeamento em multi-agentes

10 Novembro 2023, 09:30 • Luís Miguel Parreira e Correia

Cooperação, competição, interação
Planeadores centralizados e distribuídos
Tipos de concorrência
Eco-modelo de planeamento
Comunicação - linguagens e protocolos
Teoria de jogos - exemplo do dilema do prisioneiro; equilíbrio de Nash

Exercícios de Lógica Proposicional

9 Novembro 2023, 12:00 • Paulo Jorge Cunha Vaz Dias Urbano

Verificação de Modelos

Conversão das fórmulas na forma normal conjuntiva
Prova por resolução

Lógica Proposicional [1/2]

8 Novembro 2023, 11:30 • Helena Aidos

Resolução de exercícios de lógica proposicional.