Sumários

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 Genéticos - Introdução

•Indivíduo vs. População

•Função de Avaliação (fitness function)

•Operadores Genéticos

•Seleção

•Recombinação e Cruzamento (crossover)

•Mutação

•Critérios de Finalização

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é

Algoritmos Informados de Procura - Parte #1

- Greedy BFS

- Exercícios de Aplicação