sexta-feira, 13 de maio de 2011

Aspectos Teóricos da Computação

Aspectos Teóricos da Computação


by: Cláudio L. Lucchesi, Imre Simon, Istvan Simon, Janos Simon, Tomasz Kowaltowski.

no thumbnail

md5: 6677ed064811715fef9a7224c707ffd4
size: 23.23 MB [ 24355396 bytes ]
type: .pdf
status: normal
language: pt [ portuguese ]
submitted by: anonymous


8524401117
9788524401114

metadata: ( ? )

there is no metadata available to further describe this document



shelves: ( ? )


related documents: ( ? )

there are no (known) related documents...

description: ( ? )

Aspectos Teóricos da Computação

By Cláudio L. Lucchesi, Imre Simon, Istvan Simon, Janos Simon, Tomasz Kowaltowski.


  • Publisher: IMPA
  • Number Of Pages: 292
  • Publication Date: 1979
  • ISBN-10 / ASIN: 8524401117
  • ISBN-13 / EAN: 9788524401114


Contents:


Prefácio

Parte A Programação de Computadores

Capítulo I - Programação de Computadores e Indução Matemática

1. Introdução
2. Procedimentos e algoritmos
3. Programas e linguagens de programação
4. Iteração e recursão
5. Exemplos de aplicação

Exercícios
Notas bibliográficas

Parte B Complexidade de Algoritmos

Capítulo I - Complexidade de Algoritmos: Noções Básicas

1. Introdução
2. Máquinas de Turing
3. A tese de Church
4. Medidas de complexidade de máquinas de Turing

Exercícios
Notas bibliográficas

Capítulo II - Problemas Indecidíveis

1. Introdução
2. Um problema indecidível de computação
3. Conceitos básicos
4. O resultado principal
5. Redutibilidades
6. Outros problemas indecidíveis em Matemática

Exercícios
Notas bibliográficas

Capítulo III - Produto Eficiente de Matrizes

1. Introdução
2. O algoritmo de Strassen
3. Problemas correlatos
4. Limites inferiores

Exercícios
Notas bibliográficas

Capítulo IV - É Mais Fácil Verificar a Solução do Que Encontrá-la?

1. Introdução
2. Conceitos básicos
3. Eficiência
4. Fórmulas do cálculo proposicional
5. Redutibilidade e conjuntos NP-m-completos
6. Outros problemas NP-m-completos

Exercícios
Notas bibliográficas

Parte C Teoria dos Grafos

Capítulo I - Grafos e Subgrafos

1. Grafos e grafos simples
2. Algumas representações de grafos no computador
3. Isomorfismo entre grafos
4. Cardinalidade e inclusão. Subgrafos
5. Graus
6. Passeios
7. Componentes, conexão e cortes

Exercícios
Notas bibliográficas

Capítulo II - Florestas

1. Florestas e árvores
2. Subflorestas maximais

Exercícios
Notas bibliográficas

Capítulo III - Emparelhamentos e Coberturas

1. O problema dos casamentos
2. Uma igualdade minimax

Exercícios
Notas bibliográficas

Capítulo IV - Coloração de Vértices e o Teorema de Brooks

1. Coloração de vértice

Exercícios
Notas bibliográficas

Capítulo V - O Teorema de Ramsey e Suas Aplicações

1. Introdução
2. O Teorema de Ramsey
3. O caso particular dos grafos (k=2)
4. Outras aplicações do teorema de Ramsey

Exercícios
Notas bibliográficas

Capítulo VI - Grafos Orientados

1. Introdução
2. O teorema da dicotomia
3. Grafos fortemente conexos
4. Grafos acíclicos

Exercícios
Notas bibliográficas

Parte D Teoria dos Autômatos Finitos

Capítulo I - Relações, Funções e Monóides

1. Relações e funções
2. Monóides

Exercícios
Notas bibliográficas

Capítulo II - Conjuntos Racionais e o Teorema de Kleene

1. Autômatos, conjuntos reconhecíveis e conjuntos racionais
2. Operações sobre conjuntos reconhecíveis
3. Sistemas de equações lineares
4. O Teorema de Kleene
5. Monóide de um autômato e o monóide sintático

Exercícios
Notas bibliográficas

Capítulo III - Conjuntos Inteiros e o Teorema de Schützenberger

1. Conjuntos inteiros e monóides aperiódicos
2. Algumas propriedades de monóides aperiódicos
3. Demonstração do Teorema 1
4. Um exemplo

Exercícios
Notas bibliográficas

Bibliografia

Índice de Notações

Índice Alfabético



Nenhum comentário:

Postar um comentário