|
|
|
Secciones
Este hilo ha sido archivado.
No pueden publicarse nuevos comentarios.
"Sobre la crueldad de enseñar computación", en castellano
|
Log in/Crear cuenta
| Top
| 61 comentarios
| Buscar hilo
Y recuerda: Los comentarios que siguen pertenecen a las personas que los han enviado. No somos responsables de los mismos.
Obrar mucho, y hablar poco; que lo demás es de loco.
Barrapunto © 1999-2007. Contenido disponible bajo licencia Creative Commons Reconocimiento 2.5
Aviso legal
Barrapunto © 1999-2007. Contenido disponible bajo licencia Creative Commons Reconocimiento 2.5
Aviso legal
como en la ingeniería?
(Puntos:2)( http://barrapunto.com/ )
"Queísmo"
(Puntos:2)( http://www.canalada.org/ | Última bitácora: Martes, 08 Enero de 2008, 21:15h )
Por favor, que nadie intente evitar los "de que" a no ser que esté seguro de que es dequeísta. Ejemplos de "de que" correctos y que los queístas evitan:
Ultracorrección
(Puntos:5, Informativo)( http://barrapunto.com/~Yonderboy/bitacora | Última bitácora: Martes, 03 Junio de 2008, 20:02h )
La regla para no equivocarse es sencilla. Basta con pensar si el verbo en cuestión rige preposición. Por ejemplo: "estar seguro de algo", "darse cuenta de algo", en cambio, no diríamos "*estar seguro algo" o "*darse cuenta algo". Por tanto, la forma correcta será: "estoy seguro de que..." y "me doy cuenta de que..."
"Porque las opiniones cambian, el relativista cree que cambian las verdades." --Gómez Dávila
Excelente articulo!
(Puntos:1)Imagino que es interesante, pero yo no lo entiendo
(Puntos:2)( http://guslibu.awardspace.com/ | Última bitácora: Viernes, 18 Marzo de 2011, 08:29h )
Un tipo duro
(Puntos:2)( http://barrapunto.com/ )
Edsger Dijkstra es a la informática lo que el doctor House a la medicina.
Re:Me quedo con esto...
(Puntos:1)( Última bitácora: Martes, 21 Noviembre de 2006, 18:53h )
Re:Me quedo con esto...
(Puntos:1)( http://barrapunto.com/ | Última bitácora: Viernes, 02 Mayo de 2008, 01:52h )
I love the smell of burnt karma in the morning
Re:Resumen
(Puntos:2)( http://www.smaldone.com.ar/ )
En realidad, más que "verificación formal" (que significa comprobar formalmente que un programa es correcto), lo que propone es la "construcción formal", esto es, construir el programa (derivar una formula), a partir de su especificación (otra fórmula).
Y claro que esto es costoso: tanto para enseñarlo como para aplicarlo. Y la realidad es que en la actualidad, los métodos formales no están desarrollados lo suficiente como para el tipo de sistemas que requerimos. Pero que, por el estado actual de la ciencia, hoy no pueda hacerse (o porque sea muy costoso) no significa que la cosa no sea así (eso es lo que molesta a más de uno, y por lo que tantos se niegan a ver).
"We are all shaped by the tools we use" -- Edsger W. Dijkstra
Re:¿Son noticias o clases de gramática?
(Puntos:1, Inspirado)En efecto: y cuanto más ruido haya en el mensaje (y las faltas de ortografía, sintaxis, etc. son ruido) tanto más ineficaz es en su labor de comunicación, por lo que este tipo de crítica está completamente justificada.
Por otra parte, para que desaparezcan completamente todos esos mensajes sobre las faltas cometidas que tanto te incomodan sólo hace falta una cosa muy sencilla: escribir con corrección.
Re:Sobre la crueldad de enseñar algebra y calculo
(Puntos:2)( http://www.smaldone.com.ar/ )
Pelandritus, te lo cambio por:
Ojalá los matemáticos supieran que la computación es matemática. Pero bueno, se les disculpa, la mayoría de los informáticos tampoco lo saben...
"We are all shaped by the tools we use" -- Edsger W. Dijkstra
Re:Sobre la crueldad de enseñar algebra y calculo
(Puntos:2)( http://barrapunto.com/ )