Sumários

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

Discussões Orais - Sessão #1

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

Discussões Orais - Sessão #2

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

- Apresentação do Docente

- Apresentação da Unidade Curricular

-- Conteúdos programáticos

-- Metodologia de Avaliação

-- Planeamento

-- Objetivos da UC

- Introdução à Inteligência Artificial

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

Algoritmos Não Informados de Procura

- Introdução à Teoria de Grafos

- Profundidade Primeiro

- Largura Primeiro

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