Name: Introducao ao Calculo Lambda (Cadernos de Logica e Computacao) (en Portugués)
SKU: 52676302
Price: 34.62 USD
Availability: InStock
Author: Chris Hankin
ISBN: 9781848900844

portada Introducao ao Calculo Lambda (Cadernos de Logica e Computacao) (en Portugués)

Introducao ao Calculo Lambda (Cadernos de Logica e Computacao) (en Portugués)

Formato

Libro Físico

Editorial

College Publications

Autor

Chris Hankin

Año

2012

Idioma

Portugués

N° páginas

186

Encuadernación

Tapa Blanda

ISBN13

9781848900844

Categorías

Álgebra

Introducao ao Calculo Lambda (Cadernos de Logica e Computacao) (en Portugués)

Chris Hankin (Autor) · College Publications · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 62.95$ 34.62

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 34.62

Llega entre el 07 Sep y el 18 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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. 