|
所在平台: Udemy |
课程主页: https://www.udemy.com/course/picat-uma-linguagem-de-programacao-multiparadigma/
课程评论：没有评论
课程名称：PICAT：一种多范式编程语言 概述：本课程介绍了一种现代编程语言，理论基础为一阶逻辑，旨在应用于通用目的。Picat以其声明性特点而引人注目，能够优雅和简单地表达复杂问题。在本课程中，Picat语言将用于展示构建算法的各个方面，包括递归、列表、搜索、动态编程、规划和约束编程。所有部分均包含已解决的问题。课程以录屏方式进行，第一节课中提供了主要PDF教材的支持材料（第二节 - 介绍），可下载的主要PDF为slides_picat.pdf（约600页）。该PDF是通过LaTeX源代码生成的（这些*.tex文件不可用），但所有源代码均可在我的GitHub上找到。关于我的GitHub，请在谷歌中搜索“claudiosa + github”，可以找到CCS/picat文件夹，其中包含所有源代码。关于Picat语言的历史、资源和步骤，请在谷歌中搜索“picat programming language”。本课程的目的是提供一种有效的捷径，帮助学习这门能够解决计算问题的“瑞士军刀”式的语言。课程支持终身使用，宣传页面的视频将在2019年7月之前进行修改。祝您学习愉快！
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 screencastO 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 GithubQuanto 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 languageAssim 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ícioO vídeo da página promocional será modificada até julho de 2019.Bom curso, bom proveito!
