Herramientas de usuario

Herramientas del sitio


algo1:bibliografia

¡Esta es una revisión vieja del documento!


Material

Teórico/Práctico

  • Digesto de axiomas y teoremas para cálculo proposicional y expresiones cuantificadas.
  • Digesto para la programación imperativa.

Laboratorio

Haskell

Lenguaje C

Lecturas recomendadas

Media

algo1/bibliografia.1407790802.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)