Lecturas del año 2010
Revisión del 19:23 27 abr 2013 de Jalonso (discusión | contribuciones) (New page: == Lecturas de Noviembre de 2010 == * [http://goo.gl/Mpz03 Ejercicios de programación en Haskell] #Haskell #V * [http://goo.gl/0FwrK El valor del fracaso digno] #CM * [http://goo.gl/aWC1...)
Lecturas de Noviembre de 2010
- Ejercicios de programación en Haskell #Haskell #V
- El valor del fracaso digno #CM
- Computational science: ...Error (... why scientific programming does not compute) #Verificación
- El tipo abstracto de datos de las pilas en Haskell #Haskell #V
- The free-form linguistics revolution in mathematica.
- A preliminary survey on functional programming #PF
- Desarrollo del comando wc de Unix en Haskell #Haskell #V
Lecturas de Diciembre de 2010
- Lógica computacional en Sevilla (30 años en una hora) #V
- Problema sobre números naturales #Haskell #V
- Rompecabeza de Ullman en Haskell #Haskell #V
- Lisp bot wins Google AI challenge — Will Lisp win in the semantic web, too? #Lisp #IA
- Decálogo de la didáctica matemática #Enseñanza #V
- El decálogo del profesor (según Polya) #Enseñanza #V
- Proceedings workshop on partiality and recursion in interactive theorem provers. #Libro #AR
- Parallelizing a CLIPS-based course timetabling expert system #SE
- Certifying compilers using higher-order theorem provers as certificate checkers #Verificación #V
- Teorías y aplicaciones #V
