Sumários

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

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é

Algoritmos Informados de Procura - Parte #1

- Greedy BFS

- Exercícios de Aplicação

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