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 heurística: es …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

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: Ford-Fulkerson, Edmonds-Karp y Dinic, con …

92 algorithms  data-structures  education  didactics 

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 programador novato …

33 reference-request  programming-languages  education  didactics 

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 aprender. Sin embargo, al enseñar …

25 complexity-theory  np-complete  reductions  education  didactics 

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 enfoque …

23 asymptotics  didactics 

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 …

19 logic  discrete-mathematics  didactics 

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 mejores y …

16 algorithms  education  algorithm-analysis  didactics  sorting 

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 binaria básica. También funcionan bien porque la …

15 computer-architecture  didactics 

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 parece muy útil a menos que esté …

15 education  linear-algebra  didactics  mathematical-foundations 

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 (l..r).each do |i| (i..r).each …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

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 proceso. Esto fue bastante …

11 education  didactics