Perguntas com a marcação «books»

[ Linha do tempo ] Essa pergunta tem o mesmo espírito de quais papéis todos deveriam ler e quais vídeos todos deveriam assistir . Ele pede livros notáveis ​​em diferentes áreas da ciência da computação teórica. Os livros podem ser orientados para a matemática, mas você pode achar ótimo para …

229 reference-request  soft-question  big-list  books 

Após o post Que livros todos deveriam ler , notei que existem livros recentes cujos rascunhos estão disponíveis online. Por exemplo, a entrada Algoritmos de aproximação do post acima cita um livro de 2011 (ainda a ser publicado) intitulado O design de algoritmos de aproximação . Eu acho que conhecer …

99 reference-request  big-list  books 

Embora tenha passado em alguns cursos sobre teoria das probabilidades, tanto no ensino médio quanto na universidade, tenho dificuldade em ler os artigos da TCS quando se trata de probabilidade. Parece que os autores dos trabalhos do TCS estão muito familiarizados com a probabilidade. Eles trabalham magicamente com fórmulas de …

32 reference-request  big-list  pr.probability  books 

Eu tenho lido " Semantics with Applications ", de Nielson & Nielson , e gosto muito do assunto. Eu gostaria de ter mais um livro sobre semântica da linguagem de programação - mas eu realmente posso conseguir apenas um. Dei uma olhada no livro de Turbak / Gifford , mas …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Estou procurando um livro sobre estruturas de dados avançadas que vão além do que é abordado em livros-texto padrão como Cormen, Leiserson, Rivest e "Introduction to Algorithms" de Stein. Um livro que pode ser usado para ministrar um curso de pós-graduação em estruturas avançadas de dados, como Erik Demaine e …

24 soft-question  ds.data-structures  survey  books 

Há uma reputação de que, na ciência da computação, não temos livros populares de ciência. Claro que isso não é verdade! (No mesmo espírito da lista de que os livros devem Todo mundo Read? , Que documentos devem todos ler? , O que vídeos deve relógio todos? E inspirado a …

24 big-list  books 

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 

Eu sou um estudante de graduação em matemática com uma sólida formação em lógica. Eu fiz um curso de graduação de um ano em lógica, juntamente com cursos de teoria dos modelos finitos e outro sobre forçar e definir teoria. A maioria dos textos de CS parece assumir apenas um …

17 lo.logic  soft-question  big-list  books  formal-methods 

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 

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 

Eu sou um estudante de matemática interessado em TCS. Eu quero estudar os algoritmos e a complexidade deles para resolver os problemas teóricos do grupo, como encontrar ordem dos elementos, enumeração de coset, encontrar gerador, testar se um determinado subconjunto gera o grupo. Que livro devo ler?

12 ds.algorithms  reference-request  gr.group-theory  books 

Recentemente, fui lembrado sobre o problema vs. N P, conforme explicado por Stephen A. Cook no Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Isso despertou meu interesse e eu gostaria de aprender mais sobre isso. O primeiro passo seria obter uma compreensão mais profunda do problema e uma compreensão da área em geral. …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Estou procurando recursos (de preferência um manual) sobre tópicos avançados em algoritmos (tópicos além do que é abordado em manuais de algoritmos como CLRS e DPV). O tipo de material que pode ser usado para o ensino de tópicos em um curso de algoritmos, como o Erik Demaine e o …

11 ds.algorithms  reference-request  survey  books 

Recentemente, tenho lido um número decente de artigos do CoLT. Embora eu não lute com os trabalhos individuais (pelo menos não mais do que normalmente luto com outros trabalhos teóricos), não sinto que tenha uma boa compreensão ampla do campo como um todo. Existe um texto padrão, pesquisas ou notas …

10 reference-request  machine-learning  lg.learning  survey  books 

Estou bastante familiarizado com a teoria por trás do VC-Dimension, mas agora estou analisando os recentes (últimos 10 anos) avanços na teoria estatística da aprendizagem: médias (locais) de Rademacher, lema de classe finita de Massart, números de cobertura, encadeamento, Dudley's Teorema, Pseudodimensão, Dimensão Fat Shattering, Números de Embalagem, Composição de …

10 reference-request  machine-learning  lg.learning  books  vc-dimension