Herramientas de usuario

Herramientas del sitio


algo1:bibliografia

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.txt · Última modificación: 2018/08/10 03:03 por 127.0.0.1