Este curso apresenta uma linguagem de programação moderna, com embasamento teórico na lógica de primeira-ordem,  dirigida a aplicações de propósito geral.

Picat se destaca pela sua natureza declarativa, permitindo escrever problemas difíceis de maneira elegante e simples.

Neste curso, a linguagem Picat é utilizada para ilustrar vários aspectos da ciência de se construir algoritmos: recursão, listas, buscas, programação dinâmica, planejamento e programação por restrições. Todas seções apresentam problemas resolvidos.

As aulas foram gravadas no modo screencast

O PDF principal do curso é disponível em material de apoio na 1a. aula (2a. Seção - Introdução)

Voce pode baixar apenas o PDF principal: slides_picat.pdf (em torno de 600 páginas ou slides)

Este PDF foi gerado partir de código do fonte em LaTeX  (estes *.tex não estão disponíveis)

Contudo, todos os programas fonte  deste material encontram-se no meu Github

Quanto ao meu GitHub, digitem no Google: claudiosa + github,  teremos a pasta CCS/picat e todos os códigos fontes se encontram lá

Toda história, recursos e passos desta linguagem, basta digitar no Google: picat programming language

Assim a proposta deste curso é prover um bom atalho de uma linguagem que funciona como um canivete-suíço na arte de resolver problemas computacionais.

O suporte ao curso é de modo vitalício

O vídeo da  página promocional será modificada até julho de 2019.

Bom curso, bom proveito!