Pontifícia Universidade Católica do Rio Grande do Sul Faculdade de Informática - Teoria da Computação profa. Beatriz R. Tavares Franciosi - 2015/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, 2003. Sitedolivro:http:// infolab.stanford.edu/ ullman/ialc.html 2. LEWIS, Harry. R.; PAPADIMITRIOU, Christos. H. ELEMENTOS DE TEORIA DA COMPUTAÇÃO. 2. ed. Porto Alegre: Bookman, 2000. 3. BOOLOS, George S.; JEFFREY, Richard C. COMPUTABILITY AND LOGIC. 3. ed. Cambridge University Press, 1990. 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, 2006. 2. DIVERIO, Tiaraju. A.; MENEZES, Paulo. F. B. TEORIA DA COMPUTAÇÃO: MÁQUINAS UNI- VERSAIS E COMPUTABILIDADE. 2. ed. Porto Alegre: Sagra-Luzzatto, 2000. 3. BRAINERD, Walter S.; LANDWEBER, Lawrence H. THEORY OF COMPUTATION. New York: John Wiley, c1974. 4. CORMEM, Thomas H.; LEISERSON, Charles E.; RIVEST, Ronald L. INTRODUCTION TO ALGORITHMS. Cambridge: The MIT Press, 1990. 5. GAREY, Michael R.; JOHNSON, David S. COMPUTERS AND INTRACTABILITY: A GUIDE TO THE THEORY OF NP-COMPLETENESS. New York: W. H. Freeman, 1979. 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, 1995. 3. Matemática discreta para ciência da computação. STEIN, C.; DRUSDALE, R.L.; BO- GART, K. São Paulo: Pearson Education Brasil, 2013. 4. Matemática discreta para computação e informática. MENEZES, P.B. Porto Alegre: Editora Bookman, 2013. 1
5. Models of computation: exploring the power of computing. SAVAGE, J.E., Virginia Tech. http://www.modelsofcomputation.orghttp://cs.brown.edu/people/jes/ book/ 6. Alice no país do quantum. GILMORE, R., Rio de Janeiro: Jorge Zahar Editor, 1998. 7. An introduction to functional programming through lambda calculus. MICHAELSON, Greg., Dover Publications, 2011. 8. Discrete mathematics and functional programming. VANDRUNEN, Thomas., Franklin, BEEDLE & Associates Inc. October, 2012. 9. 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, 1982. 11. Functional thinking. FORD, Neal., 1 ed. O Reilly Media, 2014. 12. Lambda calculi: A guide for computer scientists. HANKIN, Chris. Oxford University Press, 1995. 2. PIERCE, Benjamin. Types and programming languages. MIT Press, 2002. 13. 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, 2004. 15. An introduction to the analysis of algorithms. SEDGEWICK, R.; FLOAJOLET, P. USA: Addison-Wesley, 2013 http://aofa.cs.princeton.edu Textos 1. A crise nos fundamentos da matemática e a Teoria da Computação: Qual é a natureza da verdade matemática? http://www.cic.unb.br/docentes/pedro/trabs/acrise. htm 2. Discrete mathematics for computer science. In: Lecture 42, CS 70, Fall 2006. http:// www-inst.eecs.berkeley.edu/ cs70/fa06/lectures/computability/lec30.pdf (paradoxos) 3. Qual é a natureza da verdade matemática? http://www.cic.unb.br/docentes/pedro/ trabs/acrise.htm 4. Mathematic problems. David Hilbet. In: Congresso Internacional de Matemáticos em Paris, 1900. http://www.clarku.edu/ djoyce/hilbert/, http://www-history.mcs. st-andrews.ac.uk/extras/hilbert_problems.html 5. Theory of Computation: MIT Group http://toc.csail.mit.edu/about 6. Turing Machines First published Thu Sep 14, 1995; substantive revision Tue Jun 26, 2012 http://plato.stanford.edu/entries/turing-machine/ 2
7. Will Computers Redefine the Roots of Math? Quanta Magazine https://www.quantamagazine. org/20150519-will-computers-redefine-the-roots-of-math/ 8. Computing machinery and intelligence. (prêmio Turing) http://www.loebner.net/prizef/ TuringArticle.html 9. Tese de Church-Turing. SOBRINHO, J. Z. In: Revista Matemática Universitária, USP, n 6, dezembro de 1987, pp 1-23. 10. Tese de Turing (problema da parada) http://www.abelard.org/turpap2/tp2-ie. asp 11. The Church-Turing Thesis. COPELAND, B. Jack The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Edward N. Zalta (ed.), 2008. http://plato.stanford.edu/archives/ fall2008/entries/church-turing/ 12. The genius who gave us the future [arquivo pdf], http://plato.stanford.edu/entries/ turing/, http://ww1.inf.pucrs.br/alunos/material_apoio/cc/palestra-turing-poa. pdf, http://www.cs.princeton.edu/ chazelle/courses/bib/turing-intelligence. pdf, http://www.loebner.net/prizef/turingarticle.htm, http://www.princeton. edu/turing/, https://royalsociety.org/exhibitions/century-british-innovation/ universal-machine/, http://www.turing.org.uk/, http://nolabirinto.com/ ciencia/4-trabalhos-turing/, http://www.reading.ac.uk/news-and-events/ release/pr583836.aspx, http://www.ime.usp.br/ vwsetzer/turing-teatro. html, Turing e o computador em 90 minutos. Paul Strathern, São Paulo: Editora Zahar, 2000. 13. On computable numbers, with an application to the entscheidungsproblem. http://www. 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, 1983. [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 2009. http://www.win.tue.nl/ gwoegi/p-versus-np. htm, http://www.cs.princeton.edu/courses/archive/spr09/cos522/sipsernp. pdf Manuais 1. JFLAP http://www.cs.duke.edu/csed/jflap: software para visualização/simulação de diagramas de estados. 3
Vídeos 1. Somos maduros o bastante para conviver com as incertezas? Fonte: Série da BBC Four: Conhecimentos Perigosos (Parte I:http://www.dailymotion. com/video/xsppob_conhecimento-perigoso-1-2_tech, Parte II:http://www.dailymotion. com/video/xsp5tq_conhecimento-perigoso-2-2_tech) 2. O jogo da imitação. [filme] Sites 1. Biografia de Bolzano http://www.ontology.co/bolzanob.htm 2. Biografia de Cantor https://pt.wikipedia.org/wiki/georg_cantor 3. Ciência da computação http://walfredo.dsc.ufcg.edu.br/textos-comp/: site mantido pelo prof. Walfredo Cirne, Universidade Federal de Campo Grande 4. Computation theory http://www.cl.cam.ac.uk/teaching/1213/comptheory/: site mantido pelo pro. Andrew Pitts, University of Cambridge 5. Computer science theory http://www.cs.berkeley.edu/ vazirani/f06cs70.html: site da disciplina CS70, ministrada pelos professores Christos Papadimitriou e Umesh Vazirani, Princenton University 6. Técnicas de prova http://www-inst.eecs.berkeley.edu/%7ecs70/fa06/lectures/ lecture02-2.pdf : site da disciplina CS70, ministrada pelos professores Christos Papadimitriou e Umesh Vazirani, Princeton University 7. Teoria da computação http://theoryofcomputing.org/index.html: site do Journal da ACM SIGACT 8. Teoria da computação do MIT/USA http://theory.csail.mit.edu/ 9. Theory of computation http://www.cs.ucc.ie/ dgb/courses/toc/lectures.html: site de disciplina, mantido pelo prof. Derek Bridge, Department of Computer Science, University College Cork 10. Theory of computation http://theory.csail.mit.edu/: site do grupo de pesquisa sobre Teoria da Computação, MIT/USA 11. A Turing Machine in the classic style http://aturingmachine.com 12. ACM Turing Award http://amturing.acm.org/ 13. Máquina de Turing http://aturingmachine.com: site mantido por Mike Daveya 14. Tese de Church-Turing http://plato.stanford.edu/entries/church-turing/: site mantido pela Universidade de Stanford 15. Função recursiva http://www.freenetpages.co.uk/hp/alan.gauld/tutrecur.htm: site mantido por Alan Gauld (exemplos de código em Python) 4
16. Primer on Recursion http://echorand.me/writings/ http://amitksaha.files. 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