Sumários

Introdução a conhecimento e Lógica

29 Setembro 2025, 14:00 • Ana Catarina dos Santos Martins

1. Introdução a Agentes Baseados em Conhecimento - Exemplos e arquiteturas dos mesmos;

2. Lógica proposicional: Símbolos proposicionais, operadores lógicos (conjunção, disjunção, disjunção exclusiva, implicação, bicondicionalidade e negação);

3. Exercício prático de lógica proposicional;

4. Modelos;

5. Introdução a algoritmos de verificação de modelos.

Introdução ao Python

29 Setembro 2025, 14:00 • João Carlos Ferreira

Introdução ao Python

Introdução a conhecimento e Lógica

29 Setembro 2025, 09:00 • Ana Catarina dos Santos Martins

1. Introdução a Agentes Baseados em Conhecimento - Exemplos e arquiteturas dos mesmos;

2. Lógica proposicional: Símbolos proposicionais, operadores lógicos (conjunção, disjunção, disjunção exclusiva, implicação, bicondicionalidade e negação);

3. Exercício prático de lógica proposicional;

4. Modelos;

5. Introdução a algoritmos de verificação de modelos.

Aula Pratica Introdução Python

25 Setembro 2025, 09:00 • João Carlos Ferreira

Aula Pratica Introdução Python

23 Setembro 2025, 14:00 • João Carlos Ferreira

Aula Pratica Introdução Python