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

Esta é uma pergunta não técnica, mas certamente relevante para a comunidade do TCS. Se considerado inadequado, fique à vontade para fechar. A página do Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) certamente foi de grande serviço para a comunidade TCS ao longo dos anos. Aparentemente, está em queda há um bom tempo. Fiquei …

36 cc.complexity-theory  reference-request  soft-question 

Antecedentes: A motivação para esta pergunta é dupla. Primeiro, gostaria de obter alguns fatos concretos para entender melhor o debate em andamento sobre as conferências versus os periódicos . Segundo, se essa informação estivesse disponível em algum lugar, eu poderia tomar uma decisão mais informada ao enviar documentos para revisão; …

36 soft-question  research-practice  paper-review  journals 

Esta pergunta é direcionada a pessoas que atribuem problemas: professores, assistentes de alunos, tutores etc. Isso já aconteceu comigo algumas vezes em meus 12 anos de carreira como professor: designei rapidamente algum problema no texto, pensando "isso parece bom". Então, mais tarde, percebi que não poderia resolvê-lo. Poucas coisas são …

36 soft-question  teaching 

Suponha que co-autores de duas ou mais instituições diferentes estejam escrevendo um documento em látex e queiram fazer melhor do que enviar repetidamente os rascunhos por e-mail. Eles percebem que podem abrir gratuitamente uma conta da caixa de depósito, compartilhar a senha e sincronizar a versão do documento em seu …

36 soft-question  research-practice  software  writing 

Esse problema é inspirado nessa pergunta do MO , que achei muito interessante. Qual é o problema aberto mais antigo do TCS? Claramente, esta pergunta precisa de alguns esclarecimentos. Primeiro, o que é TCS? Eu acho que a existência de números ímpares perfeitos não é TCS. Eu diria que o …

36 soft-question  open-problem  ho.history-overview 

Atualmente, estou começando na universidade [ciência da computação] e temos muitas oportunidades para começar a pesquisar. Antes de encontrar este site, eu não tinha intenção de seguir esse caminho [eu queria trabalhar com a IA, provavelmente desenvolvedor de jogos], mas agora eu posso [ou preciso] fazer uma escolha. Você pode …

36 soft-question  career 

Em essência, a questão é: Qual é a unidade menos publicável para o ArXiv? De particular interesse são os campos que usam o ArXiv extensivamente, como a computação quântica. Mas comentários sobre outros campos e serviços de pré-impressão (como ECCC e ePrint) também são bem-vindos. Pergunta detalhada Isso se baseia …

35 soft-question  advice-request  research-practice  paper-review 

Eu sou um calouro estudando ciência da computação e já sei que quero entrar na academia com foco em ciência teórica. Eu já li alguns dos documentos mencionados nesta questão e essa questão me convenceu ainda mais. O que devo fazer agora , como estudante de graduação, para me envolver …

35 soft-question  advice-request  career 

Quando seguimos os livros-padrão, ou a tradição, a maioria de nós ensina a seguinte definição de notação Oh grande nas primeiras palestras de uma classe de algoritmos: Talvez até demos a lista inteira com todos os seus quantificadores:f= O ( g) iff ( ∃ c > 0 ) ( ∃ …

35 ds.algorithms  soft-question  teaching 

Uma das perguntas mais discutidas no site foi O que significaria refutar a tese de Church-Turing . Isso ocorre em parte porque Dershowitz e Gurevich publicaram uma prova da tese de Church-Turing é o Boletim da Lógica Simbólica em 2008. (Não discutirei isso aqui, mas para obter um link e …

35 soft-question  lo.logic  church-turing-thesis 

Alan Turing , um dos pioneiros da ciência da computação (teórica), fez muitas contribuições científicas seminais para o nosso campo, incluindo a definição de máquinas de Turing, a tese de Church-Turing, a indecidibilidade e o teste de Turing. No entanto, suas importantes descobertas não se limitam às que eu listei. …

34 soft-question  ho.history-overview 

Acho que é improvável que seja uma pergunta comum, mas me pergunto se alguém viu material que foi claramente feito para abordar esse público de maneira significativa.

34 soft-question  teaching 

Na minha carreira acadêmica, li vários artigos acadêmicos sobre vários tópicos de ciência da computação. Muitos dos quais envolvem uma implementação e alguma avaliação dessa implementação, mas descobri que muito poucos deles publicam realmente o código que usaram. Para mim, os benefícios de incluir a implementação real seriam significativos, a …

34 soft-question  research-practice  paper-review 

Eu tenho uma base muito forte em álgebra, a saber álgebra comutativa, álgebra homológica, teoria de campo, teoria da categoria, e atualmente estou aprendendo geometria algébrica. Sou formado em matemática, com tendência a mudar para a ciência da computação teórica. Tendo em mente os campos acima mencionados, qual seria o …

33 soft-question  algebra  advice-request  ct.category-theory 

Isenção de responsabilidade: só posso garantir meus campos de pesquisa, como métodos formais, semântica e teoria da linguagem de programação. A situação é possivelmente diferente em outras partes da disciplina. Parece que o TCS se tornou bastante orientado para conferências. Pesquisadores pretendem publicar na próxima conferência. Às vezes, uma versão …

32 soft-question  conferences