Estoy en mi segundo año en una maestría que no se relaciona demasiado con TCS, aunque desearía que lo hiciera. Básicamente se trata de teoría de control, señales y sistemas, y tomé clases en sistemas avanzados (robusto, no lineal, óptimo, estocástico), procesamiento avanzado de señales y...
Soy un estudiante graduado de tercer año en una universidad "top 20" que trabaja en la complejidad fina (mucho jugando con 3-SUM, OV y las conjeturas de dureza populares habituales). He sido bastante productivo durante el último año más o menos y tengo 3 documentos aceptados y dos presentados. Todo...
Disculpas de antemano por esta una pregunta suave que no tiene una respuesta cerrada y correcta. Este es probablemente el mejor foro para hacer mi pregunta. Soy un estudiante graduado de tercer año en el grupo de teoría de una de las 15 escuelas más importantes de EE. UU. Hasta ahora, me ha ido...
No soy un informático teórico. Soy un teórico de la homotopía estable que usa -categorías. He visto aplicaciones de la teoría de categorías y la teoría de topos a la informática teórica, y me preguntaba si había alguna forma de utilizar las categorías ∞ (y preferiblemente para mí, la teoría de la...
He estado tratando de entender qué, por qué y cómo del cálculo pero no puedo entender "¿por qué funciona?"λλ\lambda "Intuitivamente" obtengo el modelo de computabilidad de Turing Machines (TM). Pero esta abstracción me deja confundido.λλ\lambda Supongamos que las TM no existen; entonces, ¿cómo...
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...
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...
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...
¿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?
En un documento de conferencia, para probar la completitud de un problema, escribí la estúpida oración "Está claro que el problema está en N P. Por lo tanto, demostraremos que es N P- duro". De hecho, no estaba claro en absoluto. Incluso parece ser un problema abierto. Para el público objetivo, no...
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...
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,...
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...
En el pasado, las revistas eran la principal forma en que los descubrimientos científicos / matemáticos se difundían y examinaban. En algunas áreas, todavía lo son. Sin embargo, en ciencias de la computación (teóricas) ese rol se realiza casi en su totalidad mediante conferencias y difusión abierta...
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,...
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...
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...
Hola a todos, actualmente estoy tratando de encontrar un tema de tesis de maestría sólido relacionado con alguna rama de la teoría de autómatas o relacionada con lenguajes formales. Estoy tratando de generar algunas buenas ideas sobre lo que sería un tema aceptable, algo ambicioso pero algo...
Soy un programador profesional autodidacta. Soy bastante bueno en eso (Ruby, Unix, Clojure, Java, Objective-C), pero ahora estoy pensando en llevarlo al siguiente nivel tal vez solicitando un programa de maestría o doctorado en CS. ¿Qué temas de matemáticas debo estudiar para prepararme para este...
He estado interesado en varios temas como Combinatory Logic, Lambda Calculus, Functional Programming por un tiempo y los he estado estudiando. Sin embargo, a diferencia de la "Teoría de la computación", que se esfuerza por responder a la pregunta de "computabilidad", es decir, cosas que pueden / no...