Compartir
Introducao ao Calculo Lambda (Cadernos de Logica e Computacao) (en Portugués)
Chris Hankin (Autor)
·
College Publications
· Tapa Blanda
Introducao ao Calculo Lambda (Cadernos de Logica e Computacao) (en Portugués) - Chris Hankin
$ 33.190
$ 66.380
Ahorras: $ 33.190
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: España
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Viernes 17 de Mayo y el
Viernes 24 de Mayo.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Introducao ao Calculo Lambda (Cadernos de Logica e Computacao) (en Portugués)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Respuesta:
Todos los libros de nuestro catálogo son Originales.
Respuesta:
El libro está escrito en Portugués.
Respuesta:
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.