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

Entendo que o modelo de Turing tenha se tornado o "padrão" ao descrever a computação. Estou interessado em saber por que esse é o caso - ou seja, por que o modelo da MT se tornou mais amplamente utilizado do que outros modelos teoricamente equivalentes (ao meu conhecimento), por exemplo, …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Se você pudesse renomear a programação dinâmica, como chamaria?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Parece claro que vários subcampos da ciência da computação teórica foram significativamente afetados pelos resultados da física teórica. Dois exemplos disso são Computação quântica Resultados de mecânica estatística utilizados em análise de complexidade / algoritmos heurísticos. Então, minha pergunta é: faltam áreas importantes? Minha motivação é muito simples: sou um …

42 soft-question  quantum-computing  statistical-physics  physics 

Computadores reais têm memória limitada e apenas um número finito de estados. Portanto, eles são essencialmente autômatos finitos. Por que os cientistas teóricos da computação usam as máquinas de Turing (e outros modelos equivalentes) para estudar computadores? Qual é o sentido de estudar esses modelos muito mais fortes em relação …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

Eu sou um estudante de segundo ano de graduação em teoria. Eu tenho trabalhado em um problema durante o último ano (em teoria / algoritmos de grafos). Até ontem eu pensava que estava indo bem (eu estava estendendo um teorema de um artigo). Hoje percebi que cometi um erro simples. …

41 soft-question  research-practice 

Em 1937, Turing descreveu uma máquina de Turing. Desde então, muitos modelos de computação foram descritos na tentativa de encontrar um modelo que seja como um computador real, mas ainda simples o suficiente para projetar e analisar algoritmos. Como resultado, temos dezenas de algoritmos para, por exemplo, o problema SORT …

41 ds.algorithms  reference-request  soft-question  machine-models 

No MathOverflow, Timothy Gowers fez uma pergunta intitulada " Demonstrando que o rigor é importante ". A maior parte da discussão houve sobre casos mostrando a importância da prova, sobre a qual as pessoas do CSTheory provavelmente não precisam ser convencidas. Na minha experiência, as provas precisam ser mais rigorosas …

41 big-list  soft-question  proofs 

Sou aluno do quarto ano de doutorado em ciência da computação teórica. Eu gostaria de permanecer na academia, então estou pensando em qual a melhor forma de avançar na minha carreira. Obviamente, a melhor maneira de fazer isso é escrever muitos artigos bons, mas outra pergunta é se eu deveria …

40 soft-question  career 

Apesar de vários anos de aula, ainda estou perdido quando se trata de escolher um tópico de pesquisa. Estive olhando documentos de diferentes áreas e conversei com professores e estou começando a pensar que essa é a abordagem errada. Eu li que ajuda a encontrar um problema interessante (não se …

40 soft-question  research-practice  advice-request  career 

AVISO LEGAL: Esta é uma pergunta em aberto e os puritanos de troca de pilhas provavelmente sentiriam um desejo extraordinário de votá-la no esquecimento. No entanto, não consigo pensar em nenhum outro fórum mais apropriado e promissor para obter resposta a esta pergunta. Enquanto trabalhava em um problema de pesquisa …

40 soft-question  advice-request 

Eu sou um estudante de doutorado do terceiro ano em uma área de CS teórico que gostaria de aconselhamento para uma situação difícil com meu orientador. Meu orientador não está envolvido nos meus projetos de pesquisa. Em particular, eu inventei todas as minhas idéias de trabalho e os executei sozinho. …

39 soft-question  advice-request 

Muitas vezes, meu departamento me pede para dar palestras aos alunos do último ano do ensino médio sobre os elementos mais matemáticos da ciência da computação. Faço o possível para escolher tópicos do TCS que possam inspirar seu interesse (o que envolve principalmente algo relacionado ao problema da parada), mas …

38 soft-question  teaching 

Sempre existe uma maneira de aplicação em tópicos relacionados à ciência da computação teórica. Mas livros didáticos e cursos de graduação geralmente não explicam a razão pela qual a teoria dos autômatos é um tópico importante e se ainda tem aplicações na prática. Portanto, os estudantes de graduação podem ter …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Adoro fazer o TCS no meu tempo livre. Ultimamente, tenho tentado fazer algumas pesquisas como hobby. Estou procurando informações adicionais de pessoas que fazem isso em período integral: - Você acha que é possível fazer isso "apenas por diversão"? Não tenho a intenção de obter um doutorado. - Quais recursos …

37 soft-question  advice-request  research-practice 

O que você deve fazer quando vir uma pergunta levantada em público, digamos aqui na troca de pilhas, para a qual você sabe a resposta, porque está estudando como parte do projeto de pesquisa atual? Por exemplo, vejo uma pergunta do TCS.SX que eu sei a resposta, porque trabalhei no …

37 soft-question  research-practice  authorship