Sumários

24 Junho 2024, 19:30 • Sílvia Maria Dias Pires Lopes José

•Programação em Lógica – Parte 2

•Negação por Falha

•Closed World Assumption

•Mecanismo Iterativo (Loop)

•Exercícios de Aplicação

Realização do Mini-teste #2

24 Junho 2024, 19:30 • Sílvia Maria Dias Pires Lopes José

- Aula de Apoio ao Trabalho Prático

-- Explanação do enunciado do projeto

24 Junho 2024, 19:30 • Sílvia Maria Dias Pires Lopes José

- Lógica e Inferência

-- Axiomas

-- Regras de Inferência

-- Teoremas

- Sintaxe da Lógica de Predicados

-- Constantes e Variáveis

-- Operadores e Quantificadores

24 Junho 2024, 19:30 • Sílvia Maria Dias Pires Lopes José

•Sintaxe da Lógica de Predicados

•Revisão de conteúdos da aula passada

•Operadores e Quantificadores

•Universais

•Existenciais

•Semântica na Lógica de Predicados

•Leis de Morgan e Negações

•Formalização na Lógica de Predicados

•Exercícios de aplicação

Realização do Mini-teste #1

24 Junho 2024, 19:30 • Sílvia Maria Dias Pires Lopes José

Algoritmos Informados de Procura - Parte #1

- Greedy BFS

- Exercícios de Aplicação