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
Download
