Sumários
Prática 4 - Raciocínio em lógica de predicados de primeira ordem
15 Março 2021, 21:00 • Rita Sousa
Exercícios sobre raciocínio em lógica de predicados de primeira ordem. Ver enunciado no e-learning.
Prática 4 - Raciocínio em lógica de predicados de primeira ordem
15 Março 2021, 21:00 • Rita Sousa
Exercícios sobre raciocínio em lógica de predicados de primeira ordem. Ver enunciado no e-learning.
Paradigma da Programação em Lógica
15 Março 2021, 13:00 • Rita Sousa
Representação de conhecimento usando programação em lógica.
Paradigma da Programação em Lógica
15 Março 2021, 11:00 • Rita Sousa
Representação de conhecimento usando programação em lógica.
Raciocínio em lógica de predicados de primeira ordem - 2ª parte
10 Março 2021, 19:30 • Rita Sousa
Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .