Carregando...

Fundamentos da programaçao logica e funcional - Unb editora

Código khcjjdc8hg Ver descrição completa Unb
Avaliar produto
Vendido e entregue por
por R$ 59,00
Mais formas de pagamento
Consultar prazo e valor do frete Alterar

Informações do produto

Fundamentos da programaçao logica e funcional - Unb editora

Um dos aspectos mais relevantes da ciência da computação é o desenvolvimento de arcabouços matemáticos robustos para a implementação de novas linguagens de computação. Ainda que as primeiras linguagens de programação tenham sido desenvolvidas com técnicas ad hoc, definidas por restrições de hardware, em meados do século XX, os pilares dessa tecnologia foram elaborados no início desse século. Matemáticos como Alonzo Church e Alan Turing , trabalhando em fundamentos da computação relacionados com a própria noção de computabilidade, elaboraram modelos computacionais como as máquinas de Turing e o cálculo lambda, modelos sob os quais importantes questões sobre os fundamentos matemáticos e da semântica da computação foram respondidas. São os fundamentos semânticos da computação o foco central desta obra, necessários tanto para a compreensão das linguagens computacionais modernas quanto para o desenvolvimento formal de novos paradigmas aplicados na elaboração de novas linguagens de programação e linguagens de especificação e verificação formal. A obra é proposta como notas de aula para um curso avançado complementar em teoria da computação, do ponto de vista dos formalismos lógicos e semânticos. Ainda que a obra restrinja-se aos fundamentos matemáticos dos paradigmas de programação lógica e funcional, fornece os elementos necessários para iniciar um aprofundamento em áreas de investigação centrais em computação, envolvidas no desenvolvimento tecnológico de novas linguagens computacionais, como são a própria teoria de reescrita, a teoria de tipos e a teoria de prova. Certamente, alunos de pós-graduação e em estágios avançados de cursos em áreas tecnológicas e exatas, como Ciência da Computação, Matemática, Informática e Engenharias de Software, Computação, Automação e Mecatrônica, poderão aproveitar bem esta obra.

Informações complementares
Editora Unb
Gênero Computação,Informática e Mídias Digitais,Programação
ISBN-10 8523011412
ISBN-13 9788523011413

Lu explica: Livros de Ciências Exatas

+ Veja outros conteúdos

Monte o seu cantinho de leitura

Saiba como montar um lugarzinho na sua casa pra você estudar e ler

+ Leia mais

Aprenda a organizar seus livros!

Eu tenho dicas bem legais pra deixar sua biblioteca particular sempre arrumada!

+ Leia mais

Avaliação dos clientes

Este produto ainda não foi avaliado. Seja o primeiro a avaliar, clique no botão ao lado.

Formas de pagamento
Cartão de crédito
  • visa
  • mastercard
  • diners
  • american express
  • elo
  • hipercard
  • aura
  • R$ 59,00 à vista

  • 2x R$ 30,17 com juros

  • 3x R$ 20,34 com juros

  • 4x R$ 15,38 com juros

  • 5x R$ 12,41 com juros

  • 6x R$ 10,43 com juros

  • 7x R$ 9,01 com juros

  • 8x R$ 7,95 com juros

  • 9x R$ 7,13 com juros

  • 10x R$ 6,47 com juros

  • 11x R$ 5,92 com juros

  • 12x R$ 5,48 com juros

  • Cartões Luiza
  • Cartão Luiza
  • Cartão Luiza Ouro
  • R$ 59,00 à vista

  • 2x R$ 29,94 com juros

  • 3x R$ 20,06 com juros

  • 4x R$ 15,12 com juros

  • 5x R$ 12,15 com juros

  • 6x R$ 10,18 com juros

  • 7x R$ 8,77 com juros

  • 8x R$ 7,71 com juros

  • 9x R$ 6,88 com juros

  • 10x R$ 6,23 com juros

  • 11x R$ 5,69 com juros

  • 12x R$ 5,24 com juros

Boleto bancário

R$ 59,00 à vista

Paypal

R$ 59,00

Magazine você

Você só tem a ganhar criando uma loja no Magazine Você.

Receba até 10% de comissão em dinheiro, diretamente em sua conta bancária, por cada produto vendido.

Veja como é fácil:
  • Crie sua loja em poucos minutos
  • Divulgue para toda a sua rede de contatos
  • Venda os produtos e ganhe comissões

Já tem sua loja? Faça login