Análise de Algoritmos e Estruturas de Dados

Total de créditos: 6 créditos
[Obrigatória do Mestado e do Doutorado]
 

Ementa:Estruturas de dados elementares: vetores; matrizes; listas estáticas e dinâmicas (pilhas, filas e listas). Árvores: terminologia, representação; algoritmos de manipulação e percursos em árvores; árvores balanceadas. Ordenação, pesquisa e hashing. Complexidade de algoritmos. Aplicações.

Bibliografia:
(a) Cormen, T. H.; Leiserson, C. E.; Rivest, R. L. (2009). Introduction to Algorithms: Third Edition, MIT Press & McGraw-Hill.
(b) Tenenbaum, A. M.; Langsam, Y.; Augenstein, M. J. (1995). Estruturas de Dados usando C, Pearson Education do Brasil.
(c) Ziviani, N. (2004). Projeto de Algoritmos com implementações em Pascal e C.Thomson, 2a. Edição.
(d) Knuth, D. E. (1997-2005). The art of computer programming, Addison-Wesly Publishing Company, vols. 1, 2, 3 e 4.
(e) Mehta, D. P.; Sahni, S. (2005). Handbook of Data Structures and Applications,Chapman & Hall/ CRC.

Teoria da Computação

Total de créditos: 6 créditos
[Obrigatória do Doutorado]
 
Ementa: Linguagens formais. Autômatos Finitos e à Pilha. Gramáticas Regulares e

Livres de Contexto. Expressões Regulares. Máquinas de Turing. Indecidibilidade.
Classes de problemas.

Bibliografia:
(a) HOPCROFT, J.E.; ULLMAN, J.D. Introduction to Automata Theory, Langua-
ges and Computation. Readings, MA: Addison Wesley, 1979. 417p.
(b) SIMON, I. Linguagens Formais e Autômatos. São Paulo: IME-USP, 1981.
(c) MENEZES, P. F. B. Linguagens Formais e Autômatos. Porto Alegre: Instituto
de Informática da UFRGS: Sagra Luzzatto Editores, 1998. 165p. (Série livros
didáticos, número 3).
(d) HOGGER, C.F. Essential of Logic Programming. Clarenton Press. Oxford,
1990.
(e) SKVARCIUS; ROBINSON. DiscreteMathematics with Computer Science Ap-
plications. Benjamin/Cummings, 1986.

Seminários I, II e III

Total de créditos: 2 créditos cada uma
[Seminários I - Obrigatória do Mestrado e Doutorado
Seminários II e III - Obrigatórias do Doutorado]
 

 Ementa: A ser definida conforme temas de pesquisa atuais na área de Ciência da
Computação, e de acordo com avanços recentes, teóricos e experimentais. A cada
semana o seminário tratará de um tópico relacionado com uma das linhas de pes-
quisa do programa. Cada seminarista deverá discorrer sobre assuntos relacionados
às suas pesquisas, dando oportunidade aos alunos de aperfeiçoar sua formação atra-
vés do conhecimento de novas abordagens a problemas da área. O responsável pelo
seminário deverá fomentar o debate entre conferencista e alunos, desenvolvendo o
espírito crítico científico.
24 Bibliografia: Artigos científicos em periódicos e anais de conferências da área.

Estudos Dirigidos I e II

Total de créditos: 3 créditos cada uma
[Obrigatórias do Mestrado e Doutorado]

Ementa:O conteúdo preciso do estudo deve ser definido a partir de uma proposta de trabalho que vise amadurecer o aluno, envolvendo técnicas, ferramentas e teorias que serão utilizados durante o desenvolvimento da pesquisa. No caso da disciplina de Estudos Dirigidos I, o principal produto a ser gerado é a monografia para qualificação do tema de mestrado do aluno.


Bibliografia:Artigos selecionados de periódicos, anais de conferências e capítulos de livros.