Coq está en nuestro grupo de Lenguajes de Programación, una larga lista de recursos para aprender lenguajes de programación concretos. Solo conocemos el título, la descripción breve y el nivel de cada elemento.
2 / 6
¿Es para mí?
Es para quien está listo para aprender un lenguaje. La mayoría de los elementos son de nivel Intermedio, así que ayuda algo de experiencia programando. Los elementos para principiantes son el mejor comienzo, y va bien para unos teen+ años en adelante.
Adultos: Adultos: puede que tengan que ayudar a instalar software. Revisen primero el sitio.
3 / 6
Cómo empezar
Elige un lenguaje del que hayas oído hablar o que te dé curiosidad.
Abre el sitio original con un adulto y lee la primera página.
Escribe un ejemplo diminuto y mira qué hace.
4 / 6
¿Cuánto tiempo?
Calcula unos 80 minutos cada vez, durante unas 9 sesiones. (estimación)
80 min por sesión9 sesionesestimado
5 / 6
Un plan que puedes seguir
Día 130 minLee la primera página y ejecuta un ejemplo diminuto.
Semana 145 minAvanza por las primeras lecciones.
Semana 260 minEscribe un programa muy corto propio.
Semana 360 minCorrige un error y muéstraselo a alguien.
Los tiempos son estimados. Ve a tu propio ritmo.
6 / 6
Ir al sitio de aprendizaje
Estás a punto de salir de nuestro sitio para visitar Coq en otro sitio web. No controlamos ese sitio. Pregunta a un adulto antes de ir. Revisa el original para ver los detalles. Puede que ese sitio no esté en tu idioma. Tu navegador puede traducir la página: busca el botón de traducir cerca de la barra de direcciones, o pide ayuda a un adulto.
Vas a salir de nuestro sitio
Adultos: Adultos: este enlace lleva a un sitio que no controlamos y que no hemos revisado más allá de su ficha. Por favor, échenle un vistazo primero.
En otro sitio.
De la lista: sindresorhus/awesome · Licencia: CC0-1.0 · Lenguajes de programación
· Las traducciones son generadas por IA; revisa siempre el original.