Vicente's journal

Desde luego que ya era necesario una herramienta de programacion rapida y de calculo matematico para android tan potente como octave. Pues bien un tal Corbin Champion, sugerente nombre, por fin ha portado dicha preciada herramienta al SO del robot. Despues de unas pruebas con mi movil (motorola FlipOut) puedo decir que es una buena herramienta, pero tiene algunas fallas, entre las que le encontre: La lentura, en hacer 10 iteraciones puede tardar 1s, y las dificultades a la hora de hacer funciones recursivas, debido a los errores de ejecucion. Por otra parte es interesante ver que han desarrollado un plot , que acompaña a ADDI para la representacion de funciones. Pagina del market. Pagina de desarrollo, por si quereis ayudar.

La mezcla "y/o" no es mas que una manera de escribir "o", y asi lo demostrare: ( p \/ q ) \/ ( p /\ q ) p \/ ( q \/ ( p /\ q )) Asociativad de la conjuncion p \/ ( ( q \/ p ) /\ ( q \/ q ) ) Distributividad de la conjuncion ( p \/ q \/ p )  /\ ( p \/ q \/ q ) Distributividad de la conjuncion ( p \/ q )  /\ ( p \/ q ) Idempotencias p \/ ( q /\ q)  Distributividad de la conjuncion p \/ q dominacion Por lo tanto ya teneis una razon para no escribir "y/o" :p