Preguntas etiquetadas con soft-question

Hay teoría algorítmica de grafos / teoría de números / combinatoria / teoría de la información / teoría de juegos. ¿Existe un análisis matemático algorítmico? Según wiki, el análisis matemático incluye las teorías de diferenciación, integración, medida, límites, series infinitas y funciones analíticas. Está bien centrarse en el análisis real …

11 cc.complexity-theory  reference-request  soft-question  computability 

Soy un estudiante graduado en informática teórica, y en particular, algoritmos de aproximación. Ahora encuentro que estoy más interesado en las matemáticas puras (puedo decir esto porque parece que he disfrutado más los cursos de matemáticas que los cursos de CS). Me gustaría preguntar si hay áreas en informática teórica …

11 reference-request  soft-question 

Estoy tratando de entender lo que implica la investigación teórica en informática. ¿Qué hacen los informáticos teóricos? Sé que se dedica un tiempo considerable a la enseñanza, la supervisión de estudiantes graduados, la solicitud de financiación y las tareas departamentales. Dejándolos a un lado, ¿cómo pasas tu tiempo de investigación? …

11 soft-question  research-practice 

Si bien la regla general es que en los documentos de TCS los autores están ordenados alfabéticamente, hay algunos contraejemplos notables que vienen a la mente, en los que los autores están ordenados de una manera diferente, por ejemplo, Métodos algebraicos para sistemas de prueba interactivos [Lund, Fortnow, Karloff, Nisan] …

11 soft-question 

En cs.stackexchange , pregunté sobre la biblioteca algebird scala en github, especulando sobre por qué podrían necesitar un paquete de álgebra abstracta. La página de github tiene algunas pistas: Implementaciones de monoides para algoritmos de aproximación interesantes, como el filtro Bloom, HyperLogLog y CountMinSketch. Estos le permiten pensar en estas …

11 soft-question  machine-learning  linear-algebra  db.databases 

En 1996, un problema abierto de larga data fue resuelto por una computadora; a saber, que el álgebra de Robbins y el álgebra booleana son lo mismo. La prueba fue encontrada por un probador de teoremas automatizado. Además, la prueba conocida del teorema de cuatro colores contiene componentes generados por …

11 soft-question  big-list  proofs  automated-theorem-proving 

¿Cuál es la diferencia de llamar a -calculus un álgebra en lugar de un cálculo? Planteo esta pregunta porque leí en alguna parte la línea " -calculus no es un cálculo sino un álgebra" (iirc, atribuido a Dana Scott). ¿Cual es el punto? Gracias.λλλ\lambdaλλ\lambda

11 soft-question  lambda-calculus 

Recientemente comencé mi curso de maestría. El semestre pasado tomé cursos de diferentes disciplinas como redes, ingeniería de software, arquitectura, etc. Recientemente, después de tomar un curso avanzado en algoritmos y estructuras de datos, creo que encontré un curso que me interesa más (incluyendo otros temas similares como lenguajes de …

11 soft-question  career 

Todos los museos y exposiciones relacionados con la informática que conozco parecen abarcar solo la historia de la maquinaria informática, pero nada sobre temas de informática. Usted está involucrado en la creación de un nuevo Museo de Computación, creado para educar, entretener e inspirar al público en general en una …

11 soft-question  big-list  ho.history-overview 

He estado desarrollando un algoritmo SAT durante un tiempo y he llegado a un punto en el que me gustaría compartirlo. No conozco a muchas personas en ciencias de la computación, y no estoy seguro exactamente a dónde acudir. Me pregunto qué recursos están disponibles para alguien con un algoritmo …

11 sat  soft-question  proofs 

¿Qué piensas acerca de leer regularmente periódicos fuera del propio campo, incluso aquellos que no están relacionados con su área? Mi intuición es que puede dar una perspectiva o técnica totalmente diferente que me puede ayudar en mis propios problemas. Pero al mismo tiempo soy un poco escéptico al respecto, …

10 soft-question  advice-request 

En los proyectos Polymath, un grupo grande trabaja en un problema abierto. ¿Qué tipo de problemas parecen funcionar mejor en este marco? ¿Hay buenos candidatos para un proyecto de polymath en informática teórica? ¿Hay algún obstáculo que haga que los proyectos Polymath sean menos propensos a tener éxito en informática …

10 soft-question  open-problem  research-practice 

No estoy seguro si el área correcta, pero aquí va. Comenzar un doctorado en Gestión de confianza y reputación en redes de comunicaciones (mucha teoría de gráficos, análisis probabilístico, etc.) y tener mucha lectura por delante. ¿Alguien puede aconsejar las mejores formas de gestionar la lectura académica y lo que …

10 soft-question  advice-request  research-practice 

Estoy buscando notas de conferencias disponibles en línea u otros recursos que brinden una buena introducción a la programación paralela, al igual que el análogo paralelo de las clases básicas de informática. Mi enfoque es el siguiente: si bien puedo hablar sobre divide y vencerás, algoritmos codiciosos, programación dinámica y …

10 reference-request  soft-question  dc.parallel-comp  survey 

Me enfrento a un dilema bastante difícil: - Había completado M.Tech en CS hace 2 años, completando mi disertación en el campo de las pruebas VLSI. Si bien me gustó mi trabajo, no deseo volver para seguir mi doctorado en eso: he tenido muchas ganas de seguir un curso teórico …

10 soft-question  advice-request  career