Livro - Introdução à Abstração de Dados - Volume 21

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

-Capítulo 1. Especificação de tipos primitivos tipo TRUTH-VALUES

1.1 conceito de assinatura

1.2 conceito de termo

1.3 ambiguidade

1.4 conceito de subtermo

1.5 conceitos de operador gerador e sorte

1.6 conceito de equação: definição dos operadores

1.7 operações totais e parciais

1.8 definição das operações do tipo TRUTH-VALUES

-Capítulo 2. Reescrita de termos

2.1 troca de iguais por iguais

2.2 instanciação de variáveis e substituição

2.3 unificação

2.4 casamento (matching)

2.5 reescrita de termos

2.6 relação de equivalência. fecho de instanciação, de troca de termos, simétrico, transitivo e reflexivo

2.7 estratégia de reescrita

2.8 operações ocultas ou auxiliares

-Capítulo 3. Extensão de tipos primitivos

3.1 conceitos de consistência e completeza

3.2 hierarquia de inclusão

-Capítulo 4. Especificação de tipos primitivos: tipo NATURALS

4.1 termos do sorte natural

4.2 novos termos do sorte truth-value (operadores: _<_, _>_ e _is_)

4.3 equações

4.4 interpretação das equações

4.5 declaração de variáveis locais (privadas)

4.6 equações condicionais

4.7 fecho de instanciação, de troca de termos, simétrico, transitivo e reflexivo

4.8 efeitos da estratégia de reescrita

4.9 especificações predefinidas (built-in) do Maude

-Capítulo 5. Espécies

5.1 subsortes

5.2 componente ligado

5.3 conceito de espécie (kind)

5.4 conceito de axioma de pertinência (membership)

5.5 equações e pertinências condicionais

5.6 operadores polimórficos

5.7 operadores de comparação

5.8 predicado de pertinência

5.9 OWISE (Otherwise)

-Capítulo 6. Tipos parametrizados: sortes como parâmetros

6.1 tipo ORDERED-PAIRS

6.2 instanciação

6.3 operações com mesmo símbolo

6.4 extensão de tipos parametrizados

6.5 representação gráfica dos sortes

6.6 tipo união disjuntiva

6.7 tipo LISTS

6.8 sortes estruturados

6.9 tipo ARRAYS

6.10 equações

6.11 visões parametrizadas

6.12 tipo STACKS

6.13 tipo QUEUES

-Capítulo 7. Tipos parametrizados: termos como parâmetros

7.1 tipo P-STACKS.

7.2 tipo SPARSE-ARRAYS

-Capítulo 8. Tipos parametrizados: operadores como parâmetros

8.1 tipo MAPPINGS

8.2 tipo SETS

8.3 tipo BTREES

8.4 visões (mapeamentos) entre teorias.

-Capítulo 9. Implementação abstrata de tipos abstratos de dados

9.1 tipo SYMTABS

-Capítulo 10. Especificação algébrica e linguagens de programação

-Capítulo 11. Álgebras

11.1 álgebra inicial

11.2 lixo e confusão

-Capítulo 12. Prova de teoremas

12.1 algoritmo de prova de teoremas

12.2 variáveis decorativas

12.3 prova de teoremas

12.4 complexidade de termos: relação de ordenação

12.5 relação de redução

12.6 termos críticos e prova de reescrita

12.7 relação de subsunção