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.
Finalmente, há um cupom promocional de 30 reais se voce acessar esta compra a partir do meu blog pessoal: https: / / claudiocesar . wordpress . com / picat (veja abaixo da página)
Remova os espaços em branco do link acima
Bom curso, bom proveito!