Preguntas etiquetadas con didactics

Para intentar probar si un algoritmo para algún problema es correcto, el punto de partida habitual es intentar ejecutar el algoritmo a mano en una serie de casos de prueba simples; pruébelo en algunos ejemplos de problemas, incluidos algunos "casos de esquina" simples ". Esta es una gran...

Me he estado preguntando acerca de esta pregunta desde que era estudiante de pregrado. Es una pregunta general, pero elaboraré con ejemplos a continuación. He visto muchos algoritmos, por ejemplo, para problemas de flujo máximo, conozco alrededor de 3 algoritmos que pueden resolver el problema:...

Dijkstra, en su ensayo Sobre la crueldad de enseñar realmente ciencias de la computación , hace la siguiente propuesta para un curso introductorio de programación: Por un lado, enseñamos lo que parece el cálculo predicado, pero lo hacemos de manera muy diferente a los filósofos. Para entrenar al...

Me interesa la cuestión de cómo enseñar mejor la completitud de NP a los estudiantes de informática. En particular, ¿deberíamos enseñarlo usando reducciones de Karp o reducciones de Turing? Siento que los conceptos de NP-completitud y reducciones son algo que todo experto en informática debería...

Por aquí , Dave Clarke propuso que para comparar el crecimiento asintótico, debe trazar las funciones disponibles. Como científico de la computación teóricamente inclinado, llamo (ed) a este vudú ya que una trama nunca es una prueba. Pensándolo bien, tengo que estar de acuerdo en que este es un...

La Ley de De Morgan a menudo se introduce en un curso introductorio de matemáticas para ciencias de la computación, y a menudo lo veo como una forma de convertir las declaraciones de AND a OR negando los términos. ¿Existe una explicación más intuitiva de por qué esto funciona en lugar de solo...

El año pasado, estaba leyendo un fantástico artículo sobre "Mecánica cuántica para jardines de infancia" . No fue papel fácil. Ahora, me pregunto cómo explicar quicksort en las palabras más simples posibles. ¿Cómo puedo probar (o al menos handwave) que la complejidad promedio es y cuáles son los...

Las puertas lógicas son un dispositivo abstracto que se puede implementar con relés electromagnéticos, tubos de vacío o transistores. Estas implementaciones han tenido éxito en la computación en parte debido a varias propiedades de encadenabilidad, durabilidad y tamaño más allá de su estabilidad...

He estado leyendo Álgebra lineal y sus aplicaciones para ayudar a comprender el material informático (principalmente el aprendizaje automático), pero me preocupa que mucha de la información no sea útil para CS. Por ejemplo, saber cómo resolver eficientemente sistemas de ecuaciones lineales no...

Supongamos que se nos dan dos números y y que queremos encontrar para l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r El algoritmo ingenuo simplemente verifica todos los pares posibles; por ejemplo en ruby ​​tendríamos: def max_xor(l, r) max = 0...

Estoy involucrado en un curso de programación y algoritmos de primer año. En una conferencia reciente, decidí presentar el material usando codificación en vivo , lo que esencialmente significaba que me sentaba detrás del teclado y escribía código y lo evaluaba, usando emacs para facilitar el...