Sumários
Problemas de decisão
24 Outubro 2019, 18:30 • Graça Gaspar
problemas de decisão em lógica proposicional e lógica de predicados usando Prolog
XML e RDF
24 Outubro 2019, 16:30 • Graça Gaspar
Motivação do uso do XML e sua comparação com HTML. Visão sumária de várias linguagens de markup baseadas no XML. Início do estudo da linguagem RDF (Resource Description Framework).
Prolog
17 Outubro 2019, 18:30 • Graça Gaspar
Guião de introdução ao Prolog.
Exemplos de programas em Prolog.
Prolog e lógica de predicados de 1ª ordem
17 Outubro 2019, 16:30 • Graça Gaspar
Introdução à Programação em lógica, estudando alguns exemplos de programação em Prolog.
Introdução à Lógica de predicados de 1ª ordem, sua sintaxe e semântica. Noções de interpretação e de modelo.