SERVIÇO PÚBLICO FEDERAL
MINISTÉRIO DA EDUCAÇÃO
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
PROGRAMA DE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
BIBLIOGRAFIA
CONHECIMENTOS ACADÊMICOS ESPECÍFICOS EM CIÊNCIA DA
COMPUTAÇÃO (ITEM 5.8.2.1. EDITAL FACOM/PPGCO 03/2015)
ANÁLISE DE ALGORITMOS
Básica
CORMEN, T. H., LEISERSON, C. E., RIVEST, R. L. & STEIN, C., Algoritmos Teoria e Prática, Ed. Campus, 2002.
TARDOS, E., KLEINBERG, J., Algorithm Design, Addison-Wesley, 2005.
ZIVIANI, N., Projeto de Algoritmos com Implementações em Java e C++, Thomson,
2006.
Complementar
CORMEN, T. H., LEISERSON, C. E., RIVEST, R. L. & STEIN, C., Introduction to
Algorithms, 2nd. edition,
MIT Press e McGraw-Hill, 2001.
KNUTH, D. E., The Art of Computer Programming, Addison-Wesley, 1974.
KNUTH, D. E., The Art of Computer Programming: Sorting and Searching, AddisonWesley, 1973.
AHO, A.V., ULLMAN, J. D., Foundations of Computer Science, Computer Science
Press, 1995.
UDI MANBER, Introduction to Algorithms: A Creative Approach, Addison-Wesley,
1989.
SKIENA, S., The Algorithm Design Manual, Telos/Springer-Verlag, 1998.
SEDGEWICK, R., Algorithms in C, 3rd. edition, vol.1, Addison Wesley Longman,
1998.
SEDGEWICK, R., FLAJOLET, P. An Introduction to the Analysis of Algorithms,
Addison-Wesley, 1996.
Universidade Federal de Uberlândia – Av. João Naves de Ávila, 2121, Bloco 1A. FACOM. Santa Mônica - 38.408-902 - Uberlândia – MG
+55 – 34 – 3239-4470
[email protected]
http://www.ufu.br
SERVIÇO PÚBLICO FEDERAL
MINISTÉRIO DA EDUCAÇÃO
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
PROGRAMA DE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
BRASSARD, G., BRATLEY, P., Algorithmics: theory and practice, Prentice-Hall,
1995.
LÓGICA PARA CIÊNCIA DA COMPUTAÇÃO
Básica
Souza, J. N., Lógica para Ciência da Computação, Editora Campus, 2002.
Mendelson, E., Introduction to Mathematical Logic, Wadsworth and Brook, 1987.
Enderton, H. B., A Mathematical Introduction to Logic, Academic Press, 1972.
Complementar
Dalen, D., Logic and Structure, Springer-Verlag, 1989.
M. Fitting, First-order Logic and Automated Theorem Proving, Springer Verlag, 1990.
Silva, F. S. C., Finger, M., Melo, A. C. V., Lógica para Computação, Thomson
Pioneira, 2006.
C. Chang, R. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press,
1973.
Manna, Z., Waldinger, R., The Logical Basis for Computer Programming, Vol. 1,
Addison Wesley, 1985.
Manna, Z., Waldinger, R., The Logical Basis for Computer Programming, Vol. 2,
Addison Wesley, 1990.
Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag, 1984.
Clocksin, W. F., Mellish, C. S., Programming in PROLOG, Springer Verlag, 1984.
Costa, N. C. A., Cerrion, A., Introdução a Lógica Elementar, Editora da Universidade
Federal do Rio Grande do Sul, 1988.
Bittencourt, G., Inteligência Artificial: Ferramentas e Teorias, Editora da UFSC, 1998.
TEORIA DA COMPUTAÇÃO
Universidade Federal de Uberlândia – Av. João Naves de Ávila, 2121, Bloco 1A. FACOM. Santa Mônica - 38.408-902 - Uberlândia – MG
+55 – 34 – 3239-4470
[email protected]
http://www.ufu.br
SERVIÇO PÚBLICO FEDERAL
MINISTÉRIO DA EDUCAÇÃO
UNIVERSIDADE FEDERAL DE UBERLÂNDIA
PROGRAMA DE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Básica
SIPSER, M. Introduction to Theory of Computation, Boston, Thomson, 2003.
COHEN, D. I., Introduction to Computer Theory, Wiley, 2 ed. , 1996
Complementar
LEWIS, H. R. Elementos de Teoria da Computação, S. Paulo, Bookman, 1998.
KOZEN, D. C., Theory of Computation, Springer Verlag, 2006.
SUDKAMP, T. A., Languages and Machines: An Introduction to the Theory of
Computer Science, Addison Wesley, 3 ed., 2005).
ALGORITMOS E ESTRUTURAS DE DADOS
Básica
AHO, A.V & ULLMAN, J.D. & HOPCROFT, J.E. Data Structures and Algorithms. 3a
edição,
Editora Addison Wesley, 1983
SEDGEWICK, R. Algorithms in C, Parts 1-4: Data Structures, Sorting, Searching. 3a
edição,
Editora Addison-Wesley, 1988
CORMEN, THOMAS H. et. al. Algoritmos: Teoria e Prática. Editora Campus, 2002.
Complementar
ZIVIANI, N. Projeto de Algoritmos. 2a edição, Editora Thomson, 2004
TENENBAUM, A.M. & LANGSAM, Y. & AUGENSTEIN, M.J. Estrutura de Dados
Usando C.
Editora Pearson (Makron Books), 2004
Universidade Federal de Uberlândia – Av. João Naves de Ávila, 2121, Bloco 1A. FACOM. Santa Mônica - 38.408-902 - Uberlândia – MG
+55 – 34 – 3239-4470
[email protected]
http://www.ufu.br