Coq está no nosso grupo de Linguagens de Programação, uma longa lista de recursos para aprender linguagens específicas. Só conhecemos o título, a descrição curta e o nível de cada item.
2 / 6
É para mim?
É para quem está pronto para aprender uma linguagem. A maioria dos itens é de nível Intermediário, então alguma experiência com programação ajuda. Os itens para iniciantes são o melhor começo, e serve para cerca de teen+ anos em diante.
Adultos: Para adultos: talvez precisem ajudar a instalar programas. Confiram o site primeiro.
3 / 6
Como começar
Escolha uma linguagem de que você já ouviu falar ou que lhe dê curiosidade.
Abra o site original com um adulto e leia a primeira página.
Digite um exemplo bem pequeno e veja o que ele faz.
4 / 6
Quanto tempo?
Planeje cerca de 80 minutos por vez, ao longo de cerca de 9 sessões. (estimativa)
80 min por sessão9 sessõesestimativa
5 / 6
Um plano que você pode seguir
Dia 130 minLeia a primeira página e execute um exemplo bem pequeno.
Semana 145 minFaça as primeiras lições.
Semana 260 minEscreva um programa muito curto seu.
Semana 360 minCorrija um erro e mostre a alguém.
Os tempos são estimativas. Vá no seu ritmo.
6 / 6
Ir ao site de aprendizado
Você está prestes a sair do nosso site para visitar Coq em outro site. Nós não controlamos esse site. Pergunte a um adulto antes de ir. Confira o original para ver os detalhes. Esse site pode não estar no seu idioma. O seu navegador pode traduzir a página: procure o botão de traduzir perto da barra de endereço ou peça ajuda a um adulto.
Você está saindo do nosso site
Adultos: Para adultos: este link leva a um site que não controlamos e que não revisamos além da sua descrição na lista. Por favor, deem uma olhada nele primeiro.
Em outro site.
Da lista: sindresorhus/awesome · Licença: CC0-1.0 · Linguagens de programação
· As traduções são geradas por IA; confira sempre o original.