ANEXO II Ementas e Bibliografias CENTRO DE ... - PCI - Concursos

ANEXO II Ementas e Bibliografias CENTRO DE ... - PCI - Concursos ANEXO II Ementas e Bibliografias CENTRO DE ... - PCI - Concursos

site.pciconcursos.com.br
from site.pciconcursos.com.br More from this publisher
29.12.2014 Views

SILBERCHATZ, Avi; GALVIN, Peter. Sistemas Operacionais: conceitos. São Paulo: Pearson, 2000. SOARES, Luiz Fernando Gomes. Redes de Computadores: Das Lans, Mans e Wans as redes ATM. 2a. Ed. Campus, 1995. STALLINGS, William. Local and Metropolitan Area Networks. 6a . Ed. Prentice Hall, 2000. STALLINGS, William. Operating Systems: internals and design principles. 3a Ed. Prentice Hall, 1998. SCHILLER, J. "Mobile Comunications", Addison-Wesley, 2000 TANENBAUM, Andrew S.; STEEN, Maarten Van. Distributed Systems: Principles and Paradigms. Prentice Hall. 2001. TANENBAUM, Andrew S. Redes de Computadores.3a Ed. Rio de Janeiro: Campus, 1997. TANENBAUM, Andrew S. Sistemas Operacionais Modernos. Rio de Janeiro: Prentice Hall, 1995. TANENBAUM, Andrew S. Sistemas Operacionais Modernos. 2a Ed. Rio de Janeiro: Pearson Brasil, 2003. TANENBAUM, Andrew S.; WOODHULL, Albert S. Sistemas Operacionais: Projeto e Implementação. 2a Ed. Porto Alegre: Bookman, 2000. WILKINSON, Barry and Allen, Michael. Parallel Programming. Techniques and Applications Using Networked Workstations and Parallel Computers. Prentice Hall. 1999. ÁREA DE CONHECIMENTO: TEORIA DA COMPUTAÇÃO Ementa: Noção de complexidade de algoritmos: Estudo de complexidade via métodos de desenvolvimento de algoritmos. Algoritmos iterativos e recursivos. Solubilidade de problemas. Intratabilidade de problemas. Análise da complexidade de algoritmos clássicos na área da computação. Conceitos básicos de compiladores: Alguns compiladores importantes; Aspectos e Ferramentas para construção de compiladores; Análises léxica, sintática e semântica; Geração e otimização de código intermediário; Ambientes de tempo de execução; Gerenciamento de Memória; Otimização de código objeto.

Linguagens formais e autômatos: Alfabetos e Linguagens. Linguagens, gramáticas e expressões regulares, autômatos finitos. Linguagens e gramáticas livres de contexto e autômatos de pilha. Linguagens sensíveis ao contexto. Implementação dos conceitos para a solução de problemas básicos. Métodos formais: Estudo de técnicas formais. Classificação de modelos formais. Concepção de sistemas: especificação, verificação e validação. Apresentação e aplicação de métodos e linguagens de especificação formal. Máquina de Turing. Formalização do conceito de algoritmo. Problema da parada. A existência de problemas indecidíveis. Lambda Calculus. Teoria das funções recursivas. Relações entre os modelos de computabilidade. Tese de Church; Gödel e a incompletude Bibliografia: DE OLIVEIRA, Jayr Figueiredo; MANZANO, José Augusto N. G. Algoritmos: Lógica para Desenvolvimento de Programação de Computadores. Editora Érica, 16 a edição, 2004. ISBN 857194718X. DE SOUZA, Marco Antonio Furlan; GOMES, Marcelo Marques; SOARES, Marcio Vieira; CONCILIO, Ricardo. Algoritmos e Lógica de Programação. Editora Thomson Learning, 2004. ISBN 8522104646. MEDINA, Marco; FERTIG, Cristina. Algoritmos e Programação Teoria e Prática. Editora Novatec, 2005. ISBN 857522073X. ARAÚJO, Everton C. Algoritmos: Fundamentos e Prática. Visual Books, 2 a edição, 2005. ISBN 857502163X FARRER, Harry; BECKER, Christiano Gonçalves; FARIA, Eduardo Chaves; DE MATOS, Helton Fábio; DOS SANTOS, Marcos Augusto; MAIA, Miriam Lourenço. Algoritmos Estruturados. Rio de Janeiro: Editora Guanabara Koogan, 2 a edição, 1989. ISBN 85-226-0331-6. HOLLOWAY, James Paul. Introdução à Programação para Engenharia. Editora LTC, 2005. ISBN 8521614535. LOPES, Anita; GARCIA, Guto. Introdução à Programação: 500 Algoritmos Resolvidos. Editora Campus, 2002. ISBN 8535210199. PILGRIM, Mark. Mergulhando no Python O Guia Rápido e Prático para Dominar o Python. Alta Books, 2004. ISBN 8576080931.

SILBERCHATZ, Avi; GALVIN, Peter. Sistemas Operacionais: conceitos. São Paulo:<br />

Pearson, 2000.<br />

SOARES, Luiz Fernando Gomes. Redes de Computadores: Das Lans, Mans e Wans as<br />

redes ATM. 2a. Ed. Campus, 1995.<br />

STALLINGS, William. Local and Metropolitan Area Networks. 6a . Ed. Prentice Hall,<br />

2000.<br />

STALLINGS, William. Operating Systems: internals and design principles. 3a Ed.<br />

Prentice Hall, 1998.<br />

SCHILLER, J. "Mobile Comunications", Addison-Wesley, 2000<br />

TANENBAUM, Andrew S.; STEEN, Maarten Van. Distributed Systems: Principles<br />

and Paradigms. Prentice Hall. 2001.<br />

TANENBAUM, Andrew S. Redes de Computadores.3a Ed. Rio de Janeiro: Campus,<br />

1997.<br />

TANENBAUM, Andrew S. Sistemas Operacionais Modernos. Rio de Janeiro: Prentice<br />

Hall, 1995.<br />

TANENBAUM, Andrew S. Sistemas Operacionais Modernos. 2a Ed. Rio de Janeiro:<br />

Pearson Brasil, 2003.<br />

TANENBAUM, Andrew S.; WOODHULL, Albert S. Sistemas Operacionais: Projeto<br />

e Implementação. 2a Ed. Porto Alegre: Bookman, 2000.<br />

WILKINSON, Barry and Allen, Michael. Parallel Programming. Techniques and<br />

Applications Using Networked Workstations and Parallel Computers. Prentice Hall.<br />

1999.<br />

ÁREA <strong>DE</strong> CONHECIMENTO: TEORIA DA COMPUTAÇÃO<br />

Ementa:<br />

Noção de complexidade de algoritmos: Estudo de complexidade via métodos de<br />

desenvolvimento de algoritmos. Algoritmos iterativos e recursivos. Solubilidade de<br />

problemas. Intratabilidade de problemas. Análise da complexidade de algoritmos<br />

clássicos na área da computação.<br />

Conceitos básicos de compiladores: Alguns compiladores importantes; Aspectos e<br />

Ferramentas para construção de compiladores; Análises léxica, sintática e semântica;<br />

Geração e otimização de código intermediário; Ambientes de tempo de execução;<br />

Gerenciamento de Memória; Otimização de código objeto.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!