Niet blij met je aankoop? Geeft niet! Bij ons kun je binnen 30 dagen retourneren
Met een cadeaubon zit je altijd goed. De ontvanger kan de cadeaubon voor alles uit ons assortiment inwisselen.
Retourneren binnen 30 dagen
O cálculo lambda é um dos pilares da cięncia da computaçăo. Para alémżdo seu papel histórico em teoria da computabilidade, teve influęnciażsignificativa no desenho e implementaçăo de linguagens de programaçăo,żem semântica denotacional, e em teoria de domínios. O livro dá ęnfaseżŕ teoria da demonstraçăo do cálculo lambda sem tipos. Os primeirosżcapítulos concentram-se neste cálculo e abordam a teoria básica,żreduçőes, modelos, computabilidade e o relacionamento entre o cálculożlambda e a lógica combinatória. O Capítulo 7 introduz o cálculo lambdażcom tipos: primeiro o cálculo lambda simplesmente tipificado, deżseguida com o polimorfismo ŕ Milner e, por último, o cálculo lambdażpolimórfico. O Capítulo 9 apresenta versőes mais recentes do cálculożlambda sem tipos: o cálculo lambda preguiçoso e o cálculo lambdażsigma. O último capítulo contém referęncias e um guia para leiturażulterior. Os exercícios văo sendo propostos ao longo do livro. Emżcontraste com livros anteriores sobre estes tópicos, que foramżescritos por lógicos, este livro é escrito do ponto de vista dażcięncia da computaçăo e realça o significado prático de muitas dasżideias chave. O livro assume-se como livro de texto para o último anożde graduaçăo ou para o primeiro ano de pós-graduaçăo em cięncia dażcomputaçăo. Os estudantes de investigaçăo poderăo usá-lo como umażintroduçăo ŕ literatura mais especializada da área.ż
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?