Perguntas com a marcação «soft-question»

Esta é uma pergunta no espírito desta, em que respondi que é importante acompanhar o que você fez alguma coisa, por que você fez e o que não está funcionando. Pessoalmente, uso notebooks para esse fim, mas há várias desvantagens: primeiro, preciso de muita superfície de armazenamento; segundo, quando viajo, …

16 soft-question  research-practice 

Minha pergunta é geral: como começo a pensar em termos de design e complexidade de algoritmos? Vou fazer um Curso de Pós-Graduação em Design de Algoritmos. Eu me matriculei mais cedo, mas desisti depois, porque não conseguia acompanhá-lo. Eu tenho que fazer este curso como um requisito. Existe um 'truque' …

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

Fico sempre intrigado com a falta de evidências numéricas da matemática experimental a favor ou contra a questão P vs NP. Embora a hipótese de Riemann possua algumas evidências de apoio da verificação numérica, não conheço evidências semelhantes para a pergunta P vs NP. Além disso, não conheço nenhuma conseqüência …

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

Encontro alguns livros sobre computadores, mas todos são sobre tecnologia. Eu quero algo mais ligado à teoria.

15 reference-request  soft-question  philosophy 

De um ponto de vista puramente abstrato do raciocínio matemático / computacional, (como) alguém poderia descobrir ou raciocinar sobre problemas como 3-SAT, Subset Sum, Traveling Salesman etc.? Será que vamos ser mesmo capaz de raciocinar sobre eles de qualquer maneira significativa com apenas o funcional ponto de vista? Seria possível? …

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

Eu sou um estudante de graduação em matemática, e a ciência da computação teórica é um domínio que eu nunca entendi do que se trata, porque não consegui encontrar uma boa leitura sobre o assunto. Quero saber sobre o que realmente é esse domínio, que tipo de tópicos ele está …

15 reference-request  soft-question  books 

AFAIK, A primeira evidência do uso de funções de ordem superior remonta ao artigo de Schönfinkel de 1924: "Sobre os blocos de construção da lógica matemática" - onde ele permitiu passar funções como argumentos para outras funções. Isso parece interessante. No entanto, tudo o que tenho lido sobre o trabalho …

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

Larry Wasserman tem um post recente, onde fala sobre a "polícia de valor p". Ele faz uma observação interessante (toda a ênfase é minha) (a premissa em itálico que acrescentei e sua resposta abaixo): A queixa mais comum é que físicos e jornalistas explicam o significado de um valor-p incorretamente. …

15 ds.algorithms  soft-question  big-list 

O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo item …

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 

Considerando os tópicos abordados em uma conferência como a STOC, existem pesquisadores de algoritmo ou complexidade usando ativamente o COQ ou Isabelle? Se sim, como eles estão usando isso em suas pesquisas? Suponho que a maioria das pessoas não usaria essas ferramentas porque as provas seriam de nível muito baixo. …

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

Sou um engenheiro de software bastante proficiente, mas não conheço muita teoria. Eu quero aprender mais teoria. Os tópicos específicos que me interessam são: complexidade computacional, linguagens formais e teoria dos tipos. Mas não sei como começar a aprender sobre esses campos. Quais recursos você recomendaria para alguém que deseja …

14 soft-question  teaching  books 

Antecedentes : Estou chegando ao final do meu mestrado em matemática e vou começar um doutorado em lógica em agosto. Quanto mais lógica eu estudo, mais teórica a ciência da computação me expõe, por exemplo, teoria da recursão, cálculo lambda, mas o CS subjacente é escovado sob o tapete. Minhas …

14 reference-request  soft-question 

Sou estudante de graduação em ciência da computação e atualmente estou planejando meu projeto de graduação. Eu preciso de algumas idéias no campo da computação quântica. qualquer ajuda?

14 quantum-computing  soft-question 

Estive lendo sobre ITU (Intuitionistic Type Theory) e faz sentido. Mas o que estou lutando para entender é "por que" foi criado em primeiro lugar? A lógica intuicionista (IL) e o -calculus (STLC) de tipo simples e a teoria dos tipos em geral são anteriores à própria existência do próprio …

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

Quais são as carreiras típicas para cientistas da computação teóricos (pessoas com pós-graduação em ciência da computação teórica)? Que tipo de indústrias e instituições buscam conhecimento teórico em ciência da computação? Que carreiras os cientistas da computação teórica costumam ler?

13 soft-question  career