Uma Proposta para Disciplina de Teoria da Computação
Resumo
Neste artigo é apresentada uma proposta curricular para a disciplina de Teoria da Computação, a ser ministrada, principalmente, nos cursos de graduação de Bacharelado em Ciência da Computação. O ponto central desta proposta é uma tentativa de apresentar os principais modelos computacionais clássicos sob um ponto de vista unificado, baseado na avaliação, estruturação e solução de problemas. Assim, a partir da apresentação e discussão das diferentes classes de problemas, pretende-se introduzir os conceitos básicos da área da Teoria da Computação.Referências
Aczel, A. (2003). O Mistério do Alef A Matemática, a Cabala ea Procura pelo Infinito. Editora Globo S.A. – São Paulo. título original The Mystery of the Aleph.
Arbib, M. A. (1969). Theories of Abstract Automata. Prentice-Hall Series in Automatic Computation. Prentice-Hall Inc., Englewood Cliffs, New Jersey.
Berlinski, D. (2002). O advento do algoritmo: a idéia que governa o mundo. Editora Globo S.A. – São Paulo. Trad. Leila Ferreira de Souza Mendes, título original The Advent of the Algorithm.
Bittencourt, G. (1996). Inteligência Artificial - Ferramentas e Teorias. 10a. Escola de Computação. Editora da Unicamp. Instituto de Computação - UNICAMP.
Boyer, C. B. (1991). História da Matemática. Editora Edgard Blücher LTDA., Rua: Pedroso Alvarenga, 1245 - cj. 22, São Paulo - SP, 2a. edição edition. Revista por Uta C. Merzbach. Título original: “A History of Mathematics”.
Brookshear, G. J. (1989). Theory of Computation: Formal Languages, Automata, and Complexity. The Benjamin/Cummings Publishing Company, United States.
Davis, M. D. and Weyuker, E. J. (1983). Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. Academic Press, San Diego, CA.
Divério, T. A.; Menezes, P. F. B. (1999). Teoria da Computação: Máquinas Universais e Computabilidade. Sagra-Luzzatto, . Porto Alegre - RS. Série Livros Didáticos do Instituto de Informática da UFRGS, n.5.
Engeler, E. (1973). Introduction to the Theory of Computation. Academic Press, New York.
Furtado, O. J. V. (2003). Apostila de linguagens formais e compiladores. Com autorização de uso do autor, olinto@inf.ufsc.br.
Gersting, J. L. (2001). Fundamentos Matemáticos para Ciência da Computação. LTC - Livros Técnicos e Científicos Editora S.A., Travessa do Ouvidor, 11. Rio de Janeiro - RJ. 4a. Edição, do original: Mathematical Structures for Computer Science de 1999.
Hein, J. L. (1999). Theory of Computation: An Introduction. Jones and Barlett Plubishers, United States – USA.
Hoftstadter, D. R. (1999). Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books, Inc., New York, 20th. anniversary edition edition. A metaphorical fugue on minds and machines in the spirit of Lewis Carroll. Pulitzer Prize Winner.
Hopcroft, J. and J.D., U. (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company, Reading. Massachusetts (2nd. edition).
Laurière, J.-L. (1990). Problem Solving and Artificial Intelligence. Prentice-Hall. First published in French in 1987 by Eyrolles, Paris.
Marta Sagastume, Gabriel Baum, G. M. (2003). Problemas, Lenguages y Algoritmos, volume 37. Publicações CLE - UNICAMP - BR. Uma 1ª. versão da I EBAI - 1988.
McCarthy, J. (1963). A Basis for a Mathematical Theory of Computation. In Braffort, P. and Hirschberg, D., editors, Computer Programming and Formal Systems, pages 33–70. North-Holland, Amsterdam.
Moret, B. (1998). The Theory of Computation. Addision Wesley, New York.
Papadimitriou, H. R. L. C. H. (1998). Elementos de Teoria Da Computação. Editora Artes Médicas do Sul LTDA. (Bookman Companhia Editora), Av. Jerônimo Ornelas, 670 - Porto Alegre - Br, 2a, edição edition. Título original: “Elements of theory of computation”. Editora original: Prentice-Hall, Inc.
Penrose, R. (1991). A Mente Nova do Rei – Computadores, Mentes e as Leis da Física. Editora Campus. Tradução de Waltesir Dutra.
Sipser, M. (1996). Introduction to the Theory of Computation. PWS Publishing Company, 2nd. edition edition. Errata url: [link].
Arbib, M. A. (1969). Theories of Abstract Automata. Prentice-Hall Series in Automatic Computation. Prentice-Hall Inc., Englewood Cliffs, New Jersey.
Berlinski, D. (2002). O advento do algoritmo: a idéia que governa o mundo. Editora Globo S.A. – São Paulo. Trad. Leila Ferreira de Souza Mendes, título original The Advent of the Algorithm.
Bittencourt, G. (1996). Inteligência Artificial - Ferramentas e Teorias. 10a. Escola de Computação. Editora da Unicamp. Instituto de Computação - UNICAMP.
Boyer, C. B. (1991). História da Matemática. Editora Edgard Blücher LTDA., Rua: Pedroso Alvarenga, 1245 - cj. 22, São Paulo - SP, 2a. edição edition. Revista por Uta C. Merzbach. Título original: “A History of Mathematics”.
Brookshear, G. J. (1989). Theory of Computation: Formal Languages, Automata, and Complexity. The Benjamin/Cummings Publishing Company, United States.
Davis, M. D. and Weyuker, E. J. (1983). Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. Academic Press, San Diego, CA.
Divério, T. A.; Menezes, P. F. B. (1999). Teoria da Computação: Máquinas Universais e Computabilidade. Sagra-Luzzatto, . Porto Alegre - RS. Série Livros Didáticos do Instituto de Informática da UFRGS, n.5.
Engeler, E. (1973). Introduction to the Theory of Computation. Academic Press, New York.
Furtado, O. J. V. (2003). Apostila de linguagens formais e compiladores. Com autorização de uso do autor, olinto@inf.ufsc.br.
Gersting, J. L. (2001). Fundamentos Matemáticos para Ciência da Computação. LTC - Livros Técnicos e Científicos Editora S.A., Travessa do Ouvidor, 11. Rio de Janeiro - RJ. 4a. Edição, do original: Mathematical Structures for Computer Science de 1999.
Hein, J. L. (1999). Theory of Computation: An Introduction. Jones and Barlett Plubishers, United States – USA.
Hoftstadter, D. R. (1999). Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books, Inc., New York, 20th. anniversary edition edition. A metaphorical fugue on minds and machines in the spirit of Lewis Carroll. Pulitzer Prize Winner.
Hopcroft, J. and J.D., U. (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company, Reading. Massachusetts (2nd. edition).
Laurière, J.-L. (1990). Problem Solving and Artificial Intelligence. Prentice-Hall. First published in French in 1987 by Eyrolles, Paris.
Marta Sagastume, Gabriel Baum, G. M. (2003). Problemas, Lenguages y Algoritmos, volume 37. Publicações CLE - UNICAMP - BR. Uma 1ª. versão da I EBAI - 1988.
McCarthy, J. (1963). A Basis for a Mathematical Theory of Computation. In Braffort, P. and Hirschberg, D., editors, Computer Programming and Formal Systems, pages 33–70. North-Holland, Amsterdam.
Moret, B. (1998). The Theory of Computation. Addision Wesley, New York.
Papadimitriou, H. R. L. C. H. (1998). Elementos de Teoria Da Computação. Editora Artes Médicas do Sul LTDA. (Bookman Companhia Editora), Av. Jerônimo Ornelas, 670 - Porto Alegre - Br, 2a, edição edition. Título original: “Elements of theory of computation”. Editora original: Prentice-Hall, Inc.
Penrose, R. (1991). A Mente Nova do Rei – Computadores, Mentes e as Leis da Física. Editora Campus. Tradução de Waltesir Dutra.
Sipser, M. (1996). Introduction to the Theory of Computation. PWS Publishing Company, 2nd. edition edition. Errata url: [link].
Publicado
31/07/2004
Como Citar
SÁ, Claudio Cesar de; BITTENCOURT, Guilherme.
Uma Proposta para Disciplina de Teoria da Computação. In: WORKSHOP SOBRE EDUCAÇÃO EM COMPUTAÇÃO (WEI), 12. , 2004, Salvador/BA.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2004
.
p. 316-326.
ISSN 2595-6175.
