Test page for UBV presentation

¿por que programar?

nuevo mundo de pensamiento

programas útiles

nuevo mundo de pensamiento

Sussman en SICM:
When we started we expected that using this approach to formulate mechanics would be easy. We quickly learned that many things we thought we understood we did not in fact understand. Our requirement that our mathematical notations be explicit and precise enough that they can be interpreted automatically, as by a computer, is very effective in uncovering puns and flaws in reasoning. The resulting struggle to make the mathematics precise, yet clear and computationally effective, lasted far longer than we anticipated. We learned a great deal about both mechanics and computation by this process.

Sussman en SICM:
Cuando iniciemos*, expectemos* que usar este approach* para formular mecanicos* será* fácil. Rapidamente aprendemos que muchas cosas que creímos* que comprendimos*, en realidad, no comprendimos*. Nuestra requisito* que nuestras notaciones matematicas seren* tan explicitos y precisos que se pueden interpretados automaticamente, como por un computadora, es muy efectivo* para descubrir* puns* y fallas* en razonamiento. La lucha que resulta, para hacer las matematicas* precisas, pero claros y computacionalmente efectivos, duré* mucho más largo tiempo que anticipemos*. Aprendimos* mucho de los dos, mecanicos* y computación*, a través de este proceso.

programas útiles

(todavia nada aquí)

la historia de mis empleos

(porque las personas preguntan)

con idiomas

(porque las personas preguntan)

1996-1997