Aspectos Teóricos da Computação
by: Cláudio L. Lucchesi, Imre Simon, Istvan Simon, Janos Simon, Tomasz Kowaltowski.

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

external links:	tip: use 7zip to decompress/decrypt all linked archives
no password required	ifile.it		[ report dead link ]
> archive password: ebooksclub.org	megaupload.com		[ report dead link ]
> archive password: ebooksclub.org	fileserve.com		[ report dead link ]
> archive password: ebooksclub.org	mediafire.com		[ report dead link ]

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