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
My profile is forever under construction ....I'm a passionated for declarative languages during the past 30 years with experience in programming for AI. At the beginning, I falling in love with Prolog, as my first serious programming language that I learned by myself. During this period, I taught several CS courses in many universities in...