Apresentação do Curso
  • Apresentação ao Curso de Picat
Introdução
  • Introdução a linguagem Picat
Tipos de Dados
  • Tipos de Dados e Variáveis
Predicados e Funções Lógicas
  • Predicados e Funções
Estruturas de Decisão, Laços e Iteradores
  • Estruturas de Decisão, Laços e Iteradores
Recursão
  • Recursão e Bactracking
Listas
  • Listas
Buscas
  • Buscas
Programação Dinâmica
  • Programação Dinâmica (PD)
Planejamento
  • Planejamento
Programação por Restrições
  • Programação por Restrições (PR)
  • Programação por Restrições - Exemplo 02 - Alocação de Salas
  • Programação por Restrições - Exemplo 03 - Caixeiro Viajante (TSP)
Depuração
  • A Depuração em PICAT
Conclusões
  • Conclusões: resumo, o que faltou e porque faltou, etc