Preguntas etiquetadas con soft-question

Tengo dificultades para enseñar el concepto de funciones computables. Traté de desarrollar la idea de por qué investigadores como Hilbert / Ackermann / Godel / Turing / Church / ... inventaron la noción de 'computabilidad'. Los estudiantes inmediatamente preguntaron: "¿Qué significa la computabilidad?" y no puedo responder a menos que …

22 soft-question  computability  turing-machines  teaching 

Estoy escribiendo artículos en informática teórica, a veces siendo un autor único no anónimo. Anteriormente, utilicé la primera persona del plural en dichos documentos, por ejemplo: Mostraremos que las clases de complejidad X e Y coinciden. No soy hablante nativo de inglés ni extremadamente bueno en inglés. Recientemente, recibí un …

21 soft-question  paper-review  writing 

Enseñaré una clase de pregrado estándar sobre idiomas y autómatas el próximo semestre, y preferiría usar un texto legítimo gratuito o de bajo costo. ¿Alguna sugerencia? Me encanta el texto Sipser, pero la última edición cuesta $ 196, lo cual es difícil de decir con una cara seria en la …

21 soft-question  teaching  books 

Soy estudiante universitario y recientemente he aceptado el hecho de que es posible que no tenga el intelecto para hacer investigación en informática teórica, o que no pueda ser admitido y completar un programa de doctorado. Sin embargo, todavía me gustaría participar en la informática teórica ya que me parece …

21 soft-question  career 

Al reunir resultados, a menudo es deseable tener algunos diagramas de aspecto profesional, en lugar de diagramas juntos en MS Paint. ¿Cuál es el estándar para dibujar estructuras de datos?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

Tengo dos preguntas históricas: ¿Quién describió por primera vez el cálculo no determinista? Sé que Cook describió problemas NP-completos, y que Edmonds propuso que los algoritmos P son algoritmos "eficientes" o "buenos". Busqué en este artículo de Wikipedia y hojeé "Sobre la complejidad computacional de los algoritmos", pero no pude …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

La mayoría de los documentos ahora se escriben en colaboración, y los colaboradores a menudo se encuentran en diferentes lugares. Siempre he usado sistemas de control de versiones para mis documentos y código, y también he encontrado que el control de versiones es crítico para proyectos de software colaborativos, pero …

20 soft-question  research-practice  software  writing 

Esta pregunta es similar a una pregunta más general sobre cuál es el modelo teórico correcto de una computadora para diseñar algoritmos y estructuras de datos. Aquí, pregunto específicamente sobre las computadoras actuales de alto rendimiento (como las que figuran como las 500 principales ) o incluso sobre próximas supercomputadoras. …

20 reference-request  soft-question  machine-models 

Tengo una educación matemática de pregrado razonable, pero nunca me he sentido 100% cómodo con el álgebra abstracta (las matemáticas de grupos, anillos, campos, etc.). Creo que esto se debió en parte a que necesitaba ver aplicaciones y cualquiera que pudiera encontrar estaba en física, no en CS. Como mi …

19 soft-question  algebra  teaching 

¿Cuáles son los mejores recursos para encontrar ofertas de trabajo para profesores en teoría de CS? ¿Hay algún sitio web o lista de correo en particular que sea bastante completo? Actualmente tengo la impresión de que uno tiene que usar una variedad de recursos para obtener una lista completa y …

19 soft-question  career 

Esta reciente pregunta de teoría de juegos me hizo pensar (esto es una tangente, por supuesto): ¿es posible optimizar eficientemente una estrategia personal para elegir preguntas de investigación para trabajar en el uso de la teoría de juegos? Para avanzar hacia una formalización de la pregunta, haré los siguientes supuestos …

19 soft-question  gt.game-theory 

Actualmente estoy estudiando matemáticas. Sin embargo, no creo que quiera convertirme en un matemático profesional en el futuro. Estoy pensando en aplicar mi conocimiento de las matemáticas para hacer investigación en inteligencia artificial. Sin embargo, no estoy seguro de cuántos cursos de matemáticas debo seguir. (Y qué cursos de teoría …

19 soft-question  machine-learning  ai.artificial-intel 

Me doy cuenta de que esta podría ser una pregunta polémica, pero este parecía ser el lugar correcto para preguntar. Por favor, redirígeme si no. El trasfondo es que soy un "practicante" (estudiante de doctorado, no estudio teoría CS) pero tengo una base razonable en algoritmos de pregrado y matemáticas. …

18 soft-question  advice-request 

Me gustaría saber si ha habido conjeturas que durante mucho tiempo no han sido probadas en TCS, que luego fueron probadas por una implicación de otro teorema, que pueden haber sido más fáciles de probar.

18 reference-request  soft-question  big-list 

La noción de reducciones de tiempo polinomiales (reducciones de Cook) es una abstracción de un concepto muy intuitivo: resolver eficientemente un problema utilizando un algoritmo para un problema diferente. Sin embargo, en la teoría de la completitud de , la noción de dureza de N P se captura mediante reducciones …

18 cc.complexity-theory  np-hardness  soft-question