2 869 855 libros electrónicos en 110 idiomas
¿No le conviene? No hay problema. Puedes devolver los artículos hasta 30 días
No se equivocará con un vale de regalo. El destinatario puede elegir cualquier producto de nuestra oferta.
Hasta 30 días para devoluciones
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.ż
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?