Preguntas etiquetadas con education

Preguntas generales sobre el aprendizaje de disciplinas informáticas y la educación en informática


7
¿Cuál es el significado de la notación polaca inversa?
Enseño computación a jóvenes de 18 años. Después de que se les explicara la notación polaca inversa, uno preguntó por qué es lo suficientemente significativo como para estar en el examen público. Le expliqué el significado histórico de las calculadoras de los años 70, pero esto no logró abordar el …

3
Camino a los métodos formales
No es raro ver a los estudiantes comenzando sus doctorados con una formación limitada en matemáticas y los aspectos formales de la informática. Obviamente, será muy difícil para tales estudiantes convertirse en científicos teóricos de la computación, pero sería bueno si pudieran aprender a usar métodos formales y leer documentos …



4
Quicksort explicado a los niños
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 …


6
Encontrar el XOR máximo de dos números en un intervalo: ¿podemos hacerlo mejor que cuadrático?
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 …


4
Autoestudio de informática
Soy un hombre de 16 años que recientemente recibió una gran enciclopedia sobre informática de un amigo mío. Por lo general, no estoy tan interesado en las computadoras y la tecnología, pero la informática ha comenzado a fascinarme. Sin embargo, tengo la intención de estudiar Física y / o Matemáticas …

1
Consejos para enseñar usando Live Coding
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 …

1
Inferir tipos de refinamiento
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 


1
Matemáticas para TCS major
Estoy buscando una especialización en Informática Teórica; específicamente, estoy interesado en la teoría de la complejidad y la teoría probabilística de autómatas. Al graduarme en un año, ¿qué cursos avanzados de matemáticas (como la teoría de Galois o el análisis armónico, por ejemplo) crees que serían útiles para tomar en …


Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.