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

Tenho dificuldade em ensinar o conceito de funções computáveis. Tentei desenvolver a idéia de por que pesquisadores como Hilbert / Ackermann / Godel / Turing / Church / ... inventaram a noção de 'computabilidade'. Os alunos imediatamente perguntaram: "o que significa computabilidade?" e não posso responder a menos que eu …

22 soft-question  computability  turing-machines  teaching 

Estou escrevendo trabalhos em ciência da computação teórica, às vezes, sendo um autor único não anônimo. Anteriormente, usei a 1ª pessoa do plural nesses documentos, por exemplo: Mostraremos que as classes de complexidade X e Y coincidem. Não sou falante nativo de inglês nem sou muito bom em inglês. Recentemente, …

21 soft-question  paper-review  writing 

Vou dar uma aula padrão de graduação em idiomas e autômatos no próximo semestre e preferiria usar um texto legítimo, gratuito ou de baixo custo. Alguma sugestão? Adoro o texto Sipser, mas a edição mais recente custa US $ 196, o que é difícil dizer com uma cara séria na …

21 soft-question  teaching  books 

Sou estudante de graduação e recentemente entendi que talvez eu não tenha o intelecto para fazer pesquisas em ciência da computação teórica ou possa ser admitido e concluir um programa de doutorado. No entanto, eu ainda gostaria de me envolver com a ciência da computação teórica, pois acho muito interessante. …

21 soft-question  career 

Ao reunir resultados, geralmente é desejável ter alguns diagramas de aparência profissional, em vez de diagramas reunidos no MS Paint. Qual é o padrão para desenhar estruturas de dados?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

Eu tenho duas perguntas históricas: Quem primeiro descreveu a computação não determinística? Sei que Cook descreveu problemas de NP-completos e que Edmonds propôs que os algoritmos P são algoritmos "eficientes" ou "bons". Pesquisei este artigo da Wikipedia e vasculhei "Sobre a complexidade computacional dos algoritmos", mas não consegui encontrar nenhuma …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Agora, a maioria dos trabalhos é escrita de forma colaborativa, e os colaboradores geralmente estão localizados em lugares diferentes. Eu sempre usei sistemas de controle de versão para meus documentos e código, e também achei o controle de versão crítico para projetos de software colaborativo, mas parece que muitos pesquisadores …

20 soft-question  research-practice  software  writing 

Essa pergunta é semelhante a uma pergunta mais geral sobre qual é o modelo teórico correto de um computador para projetar estruturas de algoritmos e dados. Aqui, pergunto especificamente sobre os atuais computadores de alto desempenho (como os listados como os 500 principais ) ou mesmo sobre próximos supercomputadores. Dado …

20 reference-request  soft-question  machine-models 

Eu tenho uma graduação razoável em matemática, mas nunca me senti 100% à vontade com álgebra abstrata (matemática de grupos, anéis, campos etc.). Eu acho que isso foi parcialmente porque eu precisava ver aplicativos e qualquer um que eu pudesse encontrar estava na física, não no CS. Como meu interesse …

19 soft-question  algebra  teaching 

Quais são os melhores recursos para encontrar anúncios de vagas para professores na teoria de CS? Existe um site ou lista de discussão em particular que seja bastante abrangente? Atualmente, tenho a impressão de que é preciso usar uma variedade de recursos para obter uma lista abrangente e mundial de …

19 soft-question  career 

Essa recente questão da teoria dos jogos me fez pensar (isso é tangente, é claro): É possível otimizar eficientemente uma estratégia pessoal para escolher questões de pesquisa para trabalhar no uso da teoria dos jogos? Para avançar para uma formalização da pergunta, farei as seguintes suposições (declaradas informalmente): Eu "aprecio" …

19 soft-question  gt.game-theory 

Atualmente, estou estudando matemática. No entanto, acho que não quero me tornar um matemático profissional no futuro. Estou pensando em aplicar meus conhecimentos de matemática para fazer pesquisas em inteligência artificial. No entanto, não tenho certeza de quantos cursos de matemática devo seguir. (E quais cursos de teoria de CS …

19 soft-question  machine-learning  ai.artificial-intel 

Sei que essa pode ser uma pergunta controversa, mas esse parece ser o lugar certo para perguntar. Por favor, me redirecione se não estiver. O pano de fundo é que eu sou um "praticante" (estudante de doutorado, não estudo teoria da CS), mas tenho uma base razoável em algoritmos de …

18 soft-question  advice-request 

Eu gostaria de saber se houve conjecturas que há muito não foram comprovadas no TCS, que mais tarde foram provadas por uma implicação de outro teorema, que podem ter sido mais fáceis de provar.

18 reference-request  soft-question  big-list 

A noção de redução de tempo polinomial (reduções de Cook) é uma abstração de um conceito muito intuitivo: resolver um problema com eficiência usando um algoritmo para um problema diferente. No entanto, na teoria de -completeness, a noção de -hardness é capturado por meio de reduções de mapeamento (reduções Karp). …

18 cc.complexity-theory  np-hardness  soft-question