Introdução à Abstração de Dados - Vol. 21
  • Introdução à Abstração de Dados - Vol. 21
Baixar amostra grátis

Informações Técnicas

Formato: 23,0x16,0
Páginas: 394
ISBN: 9788540700789
Ano: 2013
Solicitar livro para avaliação

Introdução à Abstração de Dados - Vol. 21

Edição: 1

Autor(es): Daltro J. Nunes , Série Livros Didáticos Informática UFRGS

Bookman

  • Livro impresso R$ 88,00
    Por R$ 88,00 até 4x de R$ 22,00 no cartão (sem juros) Ou 4x de R$ 22,00
    Adicionando ao carrinho.
    Clique aqui caso você não seja redirecionado.

Resumo

Trata-se de um livro que ensina a especificar, ou modelar, soluções de problemas computacionais em alto nível de abstração e a desenvolver o raciocínio algorítmico.Para especificar soluções de problemas, o livro utiliza uma linguagem de programação funcional denominada MAuDE. Assim, a atividade de especificação ou modelagem da solução de problemas torna-se prazerosa e gratificante, pois as especificações são interpretáveis (executáveis) em qualquer computador, permitindo testá-las quanto a sua corretude.

Sumário

Confira o sumário detalhado (clique aqui).
 
Capítulo 1. Especificação de tipos primitivos tipo TRUTH-VALUES
Capítulo 2. Reescrita de termos
Capítulo 3. Extensão de tipos primitivos
Capítulo 4. Especificação de tipos primitivos: tipo NATURALS
Capítulo 5. Espécies
Capítulo 6. Tipos parametrizados: sortes como parâmetros
Capítulo 7. Tipos parametrizados: termos como parâmetros
Capítulo 8. Tipos parametrizados: operadores como parâmetros
Capítulo 9. Implementação abstrata de tipos abstratos de dados
Capítulo 10. Especificação algébrica e linguagens de programação
Capítulo 11. Álgebras
Capítulo 12. Prova de teoremas

0 avaliações

Avalie e comente
Faça sua avaliação
Seja o primeiro a avaliar este produto