Materiais: Leituras/Vídeos

Transcrição

1 Pontifícia Universidade Católica do Rio Grande do Sul Faculdade de Informática - Teoria da Computação profa. Beatriz R. Tavares Franciosi /II Materiais: Leituras/Vídeos Bibliografia básica 1. HOPCROFT, John E.; MOTWANI, Rajeev; ULLMAN, Jeffrey D. INTRODUÇÃO À TEORIA DE AUTÔMATOS, LINGUAGENS E COMPUTAÇÃO. Elsevier, Sitedolivro: infolab.stanford.edu/ ullman/ialc.html 2. LEWIS, Harry. R.; PAPADIMITRIOU, Christos. H. ELEMENTOS DE TEORIA DA COMPUTAÇÃO. 2. ed. Porto Alegre: Bookman, BOOLOS, George S.; JEFFREY, Richard C. COMPUTABILITY AND LOGIC. 3. ed. Cambridge University Press, Bibliografia complementar 1. CARNIELLI, Walter; EPSTEIN, Richard L. COMPUTABILIDADE, FUNÇÕES COMPUTÁVEIS, LÓGICA E OS FUNDAMENTOS DA MATEMÁTICA. São Paulo: UNESP, DIVERIO, Tiaraju. A.; MENEZES, Paulo. F. B. TEORIA DA COMPUTAÇÃO: MÁQUINAS UNI- VERSAIS E COMPUTABILIDADE. 2. ed. Porto Alegre: Sagra-Luzzatto, BRAINERD, Walter S.; LANDWEBER, Lawrence H. THEORY OF COMPUTATION. New York: John Wiley, c CORMEM, Thomas H.; LEISERSON, Charles E.; RIVEST, Ronald L. INTRODUCTION TO ALGORITHMS. Cambridge: The MIT Press, GAREY, Michael R.; JOHNSON, David S. COMPUTERS AND INTRACTABILITY: A GUIDE TO THE THEORY OF NP-COMPLETENESS. New York: W. H. Freeman, Livros 1. Aspectos Teóricos da Computação. LUCCHESI, C. Projetos Euclides. 2. Matemática concreta: fundamentos para ciência da computação. GRAHAM, R.L.; KNUTH, D.E.; PATASHNIK, O. 2a. edição, Rio de Janeiro: LTC Editora, Matemática discreta para ciência da computação. STEIN, C.; DRUSDALE, R.L.; BO- GART, K. São Paulo: Pearson Education Brasil, Matemática discreta para computação e informática. MENEZES, P.B. Porto Alegre: Editora Bookman,

2 5. Models of computation: exploring the power of computing. SAVAGE, J.E., Virginia Tech. book/ 6. Alice no país do quantum. GILMORE, R., Rio de Janeiro: Jorge Zahar Editor, An introduction to functional programming through lambda calculus. MICHAELSON, Greg., Dover Publications, Discrete mathematics and functional programming. VANDRUNEN, Thomas., Franklin, BEEDLE & Associates Inc. October, Elements of ML programming ML 97 edition. ULLMAN, Jeffrey. 2 ed. Prentice-Hall. 10. Espaço-tempo e além. TOBEN, B.; WOLF, F.A., São Paulo: Editora Pensamento-Cultrix, Functional thinking. FORD, Neal., 1 ed. O Reilly Media, Lambda calculi: A guide for computer scientists. HANKIN, Chris. Oxford University Press, PIERCE, Benjamin. Types and programming languages. MIT Press, ML for the working programmer. PAULSON, L. C., 2 ed. Cambridge University Press. 14. The haskell road to logic, maths and programming. DOETS, Kees; EIJCK, Jan van., 2 ed. College Publications, An introduction to the analysis of algorithms. SEDGEWICK, R.; FLOAJOLET, P. USA: Addison-Wesley, Textos 1. A crise nos fundamentos da matemática e a Teoria da Computação: Qual é a natureza da verdade matemática? htm 2. Discrete mathematics for computer science. In: Lecture 42, CS 70, Fall www-inst.eecs.berkeley.edu/ cs70/fa06/lectures/computability/lec30.pdf (paradoxos) 3. Qual é a natureza da verdade matemática? trabs/acrise.htm 4. Mathematic problems. David Hilbet. In: Congresso Internacional de Matemáticos em Paris, djoyce/hilbert/, st-andrews.ac.uk/extras/hilbert_problems.html 5. Theory of Computation: MIT Group 6. Turing Machines First published Thu Sep 14, 1995; substantive revision Tue Jun 26,

3 7. Will Computers Redefine the Roots of Math? Quanta Magazine org/ will-computers-redefine-the-roots-of-math/ 8. Computing machinery and intelligence. (prêmio Turing) TuringArticle.html 9. Tese de Church-Turing. SOBRINHO, J. Z. In: Revista Matemática Universitária, USP, n 6, dezembro de 1987, pp Tese de Turing (problema da parada) asp 11. The Church-Turing Thesis. COPELAND, B. Jack The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Edward N. Zalta (ed.), fall2008/entries/church-turing/ 12. The genius who gave us the future [arquivo pdf], turing/, pdf, chazelle/courses/bib/turing-intelligence. pdf, edu/turing/, universal-machine/, ciencia/4-trabalhos-turing/, release/pr aspx, vwsetzer/turing-teatro. html, Turing e o computador em 90 minutos. Paul Strathern, São Paulo: Editora Zahar, On computable numbers, with an application to the entscheidungsproblem. abelard.org/turpap2/tp2-ie.asp 14. Recontando a computabilidade. Isabel-Edward-Henrique [arquivo pdf] 15. An overview of computational complexity. Stephen A. Cook In: Communications of the ACM, vol.26, n.6, [arquivo pdf] 16. Complexity theory: a modern approach. ARORA, Sanjeev; BARAK, Boaz Cambridge University Press, 2009 [sections 1.4, 1.7] 17. The complexity of loop programs. Albert Meyer e Dennis Ritchie. [arquivo pdf] 18. The status of the P versus NP problem. Lance Forton, publicado em Communications of the ACM, vol.52, n.9, September gwoegi/p-versus-np. htm, pdf Manuais 1. JFLAP software para visualização/simulação de diagramas de estados. 3

4 Vídeos 1. Somos maduros o bastante para conviver com as incertezas? Fonte: Série da BBC Four: Conhecimentos Perigosos (Parte I: com/video/xsppob_conhecimento-perigoso-1-2_tech, Parte II: com/video/xsp5tq_conhecimento-perigoso-2-2_tech) 2. O jogo da imitação. [filme] Sites 1. Biografia de Bolzano 2. Biografia de Cantor 3. Ciência da computação site mantido pelo prof. Walfredo Cirne, Universidade Federal de Campo Grande 4. Computation theory site mantido pelo pro. Andrew Pitts, University of Cambridge 5. Computer science theory vazirani/f06cs70.html: site da disciplina CS70, ministrada pelos professores Christos Papadimitriou e Umesh Vazirani, Princenton University 6. Técnicas de prova lecture02-2.pdf : site da disciplina CS70, ministrada pelos professores Christos Papadimitriou e Umesh Vazirani, Princeton University 7. Teoria da computação site do Journal da ACM SIGACT 8. Teoria da computação do MIT/USA 9. Theory of computation dgb/courses/toc/lectures.html: site de disciplina, mantido pelo prof. Derek Bridge, Department of Computer Science, University College Cork 10. Theory of computation site do grupo de pesquisa sobre Teoria da Computação, MIT/USA 11. A Turing Machine in the classic style ACM Turing Award Máquina de Turing site mantido por Mike Daveya 14. Tese de Church-Turing site mantido pela Universidade de Stanford 15. Função recursiva site mantido por Alan Gauld (exemplos de código em Python) 4

5 16. Primer on Recursion wordpress.com/2009/05/recursion-primer.pdf: site mantido por Amit (cartilha sobre recursão) 17. Wolfram Demonstrations Projectshttp://demonstrations.wolfram.com/TreeFormOfRecursiveFuncti função recursiva - animação 18. Wolfram Demonstrations Projectshttp://mathworld.wolfram.com/Recursion.html : recursão 5