Descrição
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!
Os alunos também compraram
Sobre os instrutores
5 Calificación
6 Estudiantes
1 Cursos
Claudio Cesar de Sá
Pesquisador na área de Inteligência Artificial
Graduado em Engenharia Elétrica pela Universidade do Estado de Santa Catarina (UDESC) em 1981
Mestrado pela Universidade Federal da Paraíba (UFPB) em 1987
Doutorado pelo Instituto Tecnológico de Aeronáutica (ITA) em 1997
Pós-doutorado na Université d'Auvergne - França em 2010
Trabalhou em várias universidades e atualmente é professor da UDESC desde 1996.
Tem trabalhado na área de Inteligência Artificial e áreas correlatas focando aplicações com linguagens declarativas.
Feedback do aluno
Avaliações
Paulo Victor de Aguiar
23-06-2019
Ótimo curso introdutório da linguagem PICAT.