Preguntas etiquetadas con soft-question

Esta es una pregunta en el espíritu de esta, donde respondí que es importante hacer un seguimiento de lo que has hecho, por qué lo has hecho y qué no está funcionando. Personalmente uso portátiles para ese propósito, pero tiene varios inconvenientes: primero necesito mucha superficie de almacenamiento, segundo cuando …

16 soft-question  research-practice 

Encuentro algunos libros sobre computadoras, pero todos tratan sobre tecnología. Quiero algo más vinculado a la teoría.

15 reference-request  soft-question  philosophy 

Desde un punto de vista puramente abstracto de razonamiento matemático / computacional, ¿cómo podría uno incluso descubrir o razonar sobre problemas como 3-SAT, Subset Sum, Travelling Salesman, etc.? Estaríamos incluso capaz de razonar sobre ellas de una manera significativa con sólo la funcionalidad punto de vista? ¿Sería posible? He estado …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

Soy un estudiante graduado en matemáticas, y la informática teórica es un dominio del que nunca entendí de qué se trata porque no pude encontrar una buena lectura sobre el tema. Quiero saber de qué se trata este dominio, qué tipo de temas le conciernen, qué requisitos previos se necesitan …

15 reference-request  soft-question  books 

AFAIK, La primera evidencia del uso de funciones de orden superior se remonta al artículo de Schönfinkel de 1924: "Sobre los bloques de construcción de la lógica matemática", donde permitió pasar funciones como argumentos a otras funciones. Eso parece interesante Sin embargo, todo lo que he estado leyendo sobre su …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

Larry Wasserman tiene una publicación reciente donde habla sobre la "policía de valor p". Él hace un punto interesante (todo el énfasis es mío) (la premisa en cursiva que agregué y su respuesta debajo): La queja más común es que físicos y periodistas explican incorrectamente el significado de un valor …

15 ds.algorithms  soft-question  big-list 

El problema de mantenimiento de la orden (o "mantener el orden en una lista") es apoyar las operaciones: singleton: crea una lista con un elemento, le devuelve un puntero insertAfter: dado un puntero a un elemento, inserta un nuevo elemento después de él, devolviendo un puntero al nuevo elemento delete: …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Mi pregunta es general: ¿cómo empiezo a pensar en términos de diseño y complejidad de algoritmos? Voy a tomar un curso de posgrado en diseño de algoritmos. Me había inscrito en él antes, pero lo abandoné más tarde porque no podía seguir el ritmo. Tengo que tomar este curso como …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Siempre me intriga la falta de evidencia numérica de las matemáticas experimentales a favor o en contra de la pregunta P vs NP. Si bien la hipótesis de Riemann tiene alguna evidencia de respaldo de la verificación numérica, no conozco evidencia similar para la pregunta P vs NP. Además, no …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Teniendo en cuenta los temas tratados en una conferencia como STOC, ¿hay algún algoritmo o investigador de complejidad que use activamente COQ o Isabelle? Si es así, ¿cómo lo usan en su investigación? Supongo que la mayoría de la gente no usaría tales herramientas porque las pruebas serían de un …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

Soy un ingeniero de software bastante competente, pero no conozco mucha teoría. Quiero aprender más teoría. Los temas particulares que me interesan son: complejidad computacional, lenguajes formales y teoría de tipos. Pero no sé cómo comenzar a aprender sobre estos campos. ¿Qué recursos recomendarías a alguien que quiera aprender más …

14 soft-question  teaching  books 

Antecedentes : Estoy llegando al final de mi maestría en matemáticas y comenzaré un doctorado en lógica en agosto. Mientras más lógica estudio, más informática teórica estoy expuesta, por ejemplo, teoría de la recursión, cálculo lambda, pero el CS subyacente está debajo de la alfombra. Mis principales áreas de interés, …

14 reference-request  soft-question 

La complejidad computacional implica grandes cantidades de combinatoria y teoría de números, algunas ingrididades del estocástico y una cantidad emergente de álgebra. Sin embargo, al ser un analista, me pregunto si hay aplicaciones de análisis en este campo, o tal vez ideas inspiradas en el análisis. Todo lo que sé …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Soy estudiante universitario de ciencias de la computación y actualmente estoy planeando mi proyecto de graduación. Necesito algunas ideas en el campo de la computación cuántica. ¿alguna ayuda?

14 quantum-computing  soft-question 

He estado leyendo sobre la teoría del tipo intuitivo (ITT) y tiene sentido. Pero lo que me cuesta entender es "¿por qué" se creó en primer lugar? ¡La lógica intuitiva (IL) y el cálculo tipo simple (STLC) y la teoría de tipos en general son anteriores a la existencia misma …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview