Loucuras no Issuu

EMENTAS E BIBLIOGRAFIAS DAS DISCIPLINAS – currículo 4/604

NÍVEL I

4642B-04 – Introdução à Ciência da Computação

Ementa: Apresentação da evolução dos conceitos de máquina (real e abstrata), computação, computador (hardware e software) e informação, até os conceitos atuais. Estudo das relações entre os conceitos de máquina e programa. Estudo prático de representação de informações, codificação de informação e sistemas de numeração. Apresentação da estrutura geral (arquitetura) de sistemas computacionais. Introdução aos circuitos digitais combinacionais. Elaboração de artigos científicos.

Bibliografia básica

BROOKSHEAR, J. G. Ciência da Computação: Uma Visão Abrangente. Porto Alegre: Bookman, 2000. 499p. CAPRON, H. L.; JOHNSON, J. A. Introdução à Informática. 8ed. São Paulo: Prentice-Hall, 2006. 350p. FLOYD, T. L. Sistemas Digitais: Fundamentos e Aplicações. 9ed. Porto Alegre: Bookman, 2007. 888p.

Bibliografia complementar

MEYER, M. W.; BABER, R.; PFAFFENBERGER, B. Nosso Futuro e o Computador. Porto Alegre: Bookman, 2000. 599p.

FOROUZAN, B. A. Comunicação de Dados e Redes de Computadores. Porto Alegre: Bookman, 2006. 840p.

VELLOSO, F. C. Informática: Conceitos Básicos. Rio de Janeiro: Campus, 2004. 351p. TANENBAUM, A. S. Sistemas Operacionais Modernos. 2ed. São Paulo: Pearson Prentice-Hall, 2007. 695p. FEDELI, R. D.; POLLONI, E. J.; PERES, F. E. Introdução à Ciência da Computação. São Paulo: Thomson,

2003. 238p.

4115G-04 – Matemática Discreta (CC)

Ementa: Revisão de Teoria dos Conjuntos. Estudo prático de Técnicas Básicas de Demonstração. Estudo de Funções Totais, Parciais e Relações, com ênfase em Relações de Ordem e Equivalência. Conceituação de Conjuntos Indutivos e Funções Recursivas, como base para o estudo prático de Indução sobre os Naturais. Apresentação dos Princípios de Análise Combinatória.


MENEZES, P. B. Matemática Discreta para Computação e Informática. 2ed. Porto Alegre: Bookmann, 2008. 258p.

MENEZES, P. B.; Toscani, L. V; Lopes, J. G. Aprendendo Matemática Discreta com Exercícios. Porto Alegre, Bookmann, 2009. 356p.

GERSTING, J. L. Fundamentos Matemáticos para a Ciência da Computação. 4ed. Rio de Janeiro: LTC, 1995. 538p.


ALENCAR FILHO, E. Teoria Elementar dos Conjuntos. São Paulo: Nobel, 1976. 324p.

DAGHLIAN, J. Lógica e Álgebra de Boole. 4ed. São Paulo: Atlas, 1990. 167p.

DAVEY, B. A.; PRIESTLEY, H. A. Introduction to Lattices and Order. 2ed. Cambridge: Cambridge University Press, 1994. 298p.

DEVLIN, K. Sets, Functions and Logic: An Introduction to Abstract Mathematics. Chapman & Hall Mathematics, 1992. 147p.

STOLL, R. Set Theory and Logic. San Francisco and London: W. H. Freeman co., 1963. 361p. 4116F-02 – Geometria Analítica

Ementa: Detalhamento das operações algébricas com vetores e suas aplicações. Estudo e construção da reta e do plano. Caracterização e construção de curvas planas, dando ênfase às cônicas.


BOULOS, P.; CAMARGO, I. Introdução à Geometria Analítica no Espaço. São Paulo: Makron Books, 1997. 239p.

LIMA, E. L. Geometria Analítica e Álgebra Linear. 2ed. Rio de Janeiro: IMPA, 2005. 353p. WINTERLE, P. Vetores e Geometria Analítica. São Paulo: Makron Books, 2000. 232p.


ANTON, H.; BIVENS, I; DAVIS, S. Cálculo. 8ed. Porto Alegre: Bookman, 2007. 680p. ANTON, H.; RORRES, C. Álgebra Linear com Aplicações. Porto Alegre: Bookman, 2001. 572p. BEZERRA, M. J. Matemática para o Ensino Médio. São Paulo: Scipione, 2002. 496p. CONDE, A. Geometria Analítica. São Paulo: Atlas, 2004. 168p. DANTE, L. R. Didática da Resolução de Problemas de Matemática. 3ed. São Paulo: Ática, 1991. 176p.

4641A-06 – Algoritmos e Programação I

Ementa: Apresentação dos conceitos de classes e objetos como elementos básicos na construção de programas (definição de classes, atributos e métodos, criação de objetos, relação de associação). Estudo das construções básicas de programação (variáveis, controle de fluxo, uma coleção seqüencial). Solução de problemas de forma algorítmica.


HORSTMANN, C. Big Java. Porto Alegre: Bookman, 2004. 1125p.

FORBELLONE, A. L. V.; EBERSPACHER, H. F. Lógica de Programação. São Paulo: Makron Books, 2005. 179p.

BARNES, D.; KOLLING, M. Programação Orientada a Objetos com Java: uma introdução prática usando o BlueJ. 4ed. São Paulo: Pearson, 2009. 490p.


ARNOLD, K.; GOSLING, J.; HOLMES, D. A Linguagem de Programação Java. 4ed. Porto Alegre: Bookman, 2007. 799p.

DEITEL, H. M.; DEITEL, J. P. Java : Como Programar. 6ed. São Paulo: Pearson, 2008. 1110p.

ECKEL, B. Thinking in Java. 4ed. Jerusalem: Prentice-Hall, 2006. 1520p.

HUBBARD, J. R. Programação com Java. 2ed. Porto Alegre: Bookman, 2006. 328p.

ORTH, A. I. Algoritmos e Programação. Porto Alegre: AIO, 2001. 175 p.

4115H-04 – Cálculo A

Ementa: Caracterização de funções de uma variável. Análise de limites e continuidade de funções.

Definições e aplicações de derivadas e diferenciais. Caracterização das integrais indefinidas e

definidas com aplicação ao cálculo de áreas.


ANTON, H. Cálculo: um Novo Horizonte. 6ed. Porto Alegre: Bookman, 2000. 680p.

STEWART, J. Cálculo. 4ed. São Paulo: Pioneira Thomson Learning, 2001. 712p.

SWOKOWSKI, E. W. Cálculo com Geometria Analítica. São Paulo: Makron, 1994. 792p.


BOULOS, P. Cálculo Diferencial e Integral. São Paulo: Makron, 1999. 349p.

HALLETT, D. H. et al. Cálculo. Rio de Janeiro: LTC, 1997. 508p.

HOFFMANN, L. D. Cálculo: um Curso Moderno e suas Aplicações. Rio de Janeiro: LTC,

1990. 525p.

LEITHOLD, L. O cálculo com Geometria Analítica. 3ed. São Paulo: Harbra, 1994. 685p.

SHENK, A. Cálculo e Geometria Analítica. 2ed. Rio de Janeiro: Campus, 1985. 496p.

NÍVEL II

4642A-04 – Lógica para Computação

Ementa: Estudo das relações entre Lógica, Matemática e Computação. Caracterização formal da sintaxe e semântica da Lógica Proposicional e da Lógica de Primeira Ordem. Formalização e verificação de argumentos nessas duas lógicas, usando métodos semânticos e Dedução Natural. Estudo de aplicações da Lógica em Ciência da Computação.


HUTH, M. R. A; RYAN, M. D. Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge: Cambridge University Press, 2000. 387p.

SOUZA, J. N. Lógica para Ciência da Computação. Rio de Janeiro: Campus, 2002. 308p.

NOLT, J.; ROHATYN, D. Lógica. São Paulo: Mcgraw-Hill, 1991. 596p.


GABBAY, D. M. Elementary Logics: a Procedural Perspective. London: Prentice-Hall, 1998. 365p.

GENESERETH, M. R.; NILSSON, N. J. Logical Foundations of Artificial Intelligence. Palo Alto: Morgan Kaufmann Publishers, 1987. 406p.

GERSTING, J. L. Fundamentos Matemáticos para a Ciência da Computação. 3ed. Rio de Janeiro: LTC, 1995. 538p.

MENDELSON, B. Introduction to Mathematical Logic. 4ed. London: Chapman & Hall, 1964. 440p.

MORTARI, C. A. Introdução à Lógica. São Paulo: UNESP, 2001. 393p.

4642C-04 – Linguagens Formais

Ementa: Fundamentos da teoria das linguagens formais. Descrição de linguagens de modo formal e sua compreensão. Estudo dos conceitos e propriedades das classes de linguagens: Regular e Livre de Contexto. Estudo dos conceitos de hierarquia de classes de linguagens.


HOPCROFT, J. E.; MOTWANI, R.; ULLMAN, J. D. Introdução à Teoria de Autômatos, Linguagens e Computação. Rio de Janeiro: Elsevier, 2003. 560p.

MENEZES, P. B. Linguagens Formais e Autômatos. 4ed. Porto Alegre: Sagra-Luzzatto, 2001. 165p.

PRICE, A. M. A.; TOSCANI, S. S. Implementação de Linguagens de Programação: Compiladores. Linguagens Formais e Autômatos. Porto Alegre: Sagra-Luzzatto, 2000. 216p.


AHO, A. V.; SETHI, R.; ULLMAN, J. D. Compiladores: Princípios, Técnicas e Ferramentas. Rio de Janeiro: LTC, 1995. 344p.

COHEN, D. I. A. Introduction to Computer Theory. 2ed. New York: John Wiley, 1997. 838p.

HOPCROFT, J. E.; ULLMAN, J. D. Introduction to Automata Theory, Languages and Computation. Boston: Addison-Wesley, 2001. 534p.

LEWIS, H. R.; PAPADIMITRIOU, C. H. Elementos da teoria da computação. 2ed. Porto Alegre: Bookman, 2000. 399p.

RÉVÉSZ, G. E. Introduction to formal languages. New York: Dover, 1991. 199p.

4644A-04 – Organização e Arquitetura de Computadores I

Ementa: Compreensão do projeto e funcionamento de sistemas computacionais. Revisão de sistemas digitais combinacionais. Estudo de sistemas digitais sequenciais. Projeto de sistemas sequenciais empregando modelos de máquinas de estado, modelos blocos de dados e de controle e modelos de organização von Neumann e Harvard, relacionando com arquiteturas RISC e CISC. Princípios de programação em linguagem de montagem.


HENNESSY, J. L. Organização e Projeto de Computadores: A Interface Hardware/Software. 3ed. Rio de

Janeiro: Elsevier, 2005. 484p.

HILL, F. J. Computer Aided Logical Design With Emphasis on VLSI. 4ed. New York: John Wiley, 1993. 534p.

HAYES, J. P. Introduction to Digital Logic Design. Reading: Addison-Wesley, 1994. 815p.


PATTERSON, D. A. Computer Architecture a Quantitative Approach. 2ed. San Francisco: Morgan Kaufmann, 1996. 952p.

KATZ, R. H. Contemporary Logic Design. Redwood City: Benjamin/Cummings, 1994. 699p.

MANO, M. M. Computer System Architecture. 3 ed. Englewood Cliffs: Prentice-Hall, 1981. 525p.

BROWN, S. D. Fundamentals of Digital Logic With VHDL Design. Boston: McGraw-Hill, 2000. 840p.

SALCIC, Z. Digital Systems Design and Prototyping Using Field Programmable Logic. Boston: Kluwer Academic, 1997. 340p.

4641B-06 – Algoritmos e Programação II

Ementa: Apresentação de conceitos avançados de programação orientada a objetos (relação de generalização, herança, polimorfismo). Estudo de tipos abstratos de dados (listas, pilhas, filas, conjuntos e dicionários) e sua implementação como objetos. Modelagem e solução de problemas utilizando os conceitos de orientação a objetos e tipos abstratos de dados. Análise dos aspectos tecnológicos complementares à solução de problemas (programação orientada a eventos para construção de interfaces com o usuário, persistência de dados com arquivos e tratamento de exceções). Discussão introdutória sobre complexidade e análise de algoritmos.


GOODRICH, M. T. Estruturas de Dados e Algoritmos em Java. 4ed. Porto Alegre: Bookman, 2007. 600p.

AHO, A. V. ULLMAN, J. D.; HOPCROFT, J. E. Data Structures and Algorithms. Reading: Addison-Wesley, 1993. 620p.

DEITEL, H. M. Java: Como Programar. 6ed. São Paulo: Pearson, 2007. 1110 p.


McALLISTER, W. Data Structures and Algorithms using Java. 1ed. Sudbury: Jones and Bartlett Publishers, 2009. 580p.

HORSTMANN, C. S. Big Java. 3ed. Hoboken: John Wiley & Sons, 2008. 1204p.

CORMEN, T. H. et al. Algoritmos: Teoria e Prática. Rio de Janeiro: Elsevier, 2002. 916p.

VELOSO, P. A. S. et al. Estruturas de Dados. 4ed. Rio de Janeiro: Campus, 1988. 228p.


4115S-02 – Álgebra Matricial

Ementa: Estudo das matrizes e de operações com matrizes. Cálculo de determinantes e da matriz

inversa. Resolução de sistemas de equações lineares e sua discussão. Estudo de bases,

ortogonalidade, transformações lineares, autovalores e autovetores no espaço nIR . Diagonalização

de matrizes e determinação de outras decomposições.


ANTON, H. Álgebra Linear: com Aplicações. 8ed. Porto Alegre: Bookman, 2001. 572p.

KOLMAN, B. Introdução à Álgebra Linear: com Aplicações. 6ed. Rio de Janeiro: LTC, 1998. 554p.

LAY, D. C. Álgebra Linear e suas Aplicações. 2ed. Rio de Janeiro: LTC, 1999. 154p.


HILL, D. R. Linear Algebra Labs With Matlab. 2ed. Upper Saddle River: Prentice-Hall, 1996. 336p.

LAWSON, T. Algebra Linear. São Paulo: E. Blücher, 1997. 348p.

MEYER, C. Matrix Analysis and Applied Linear Algebra. Philadelphia: SIAM, 2000. 171p.

NOBLE, B. D. J. W. Applied Linear Algebra. 3ed. Englewood Cliffs: Prentice-Hall, 1988. 521p.

TREFETHEN, L.; BAU, D. Numerical Linear Algebra. Philadelphia: Siam, 1997. 361p.

4115J-04 – Cálculo B

Ementa: Caracterização das integrais impróprias. Análise e aplicação das técnicas de integração.

Estudo do cálculo somatório, de seqüências e de séries. Caracterização das funções de várias

variáveis. Definição e aplicações de derivadas parciais. Resolução de problemas de otimização. Bibliografia básica

ANTON, H. Cálculo: um novo horizonte. 6ed. Porto Alegre: Bookman, 2000. 680p.

STEWART, J. Cálculo. 4ed. São Paulo: Thomson, 2002. 712p.

SWOKOWSKI, E. W. Cálculo com geometria analítica. 2ed. São Paulo: Makron Books, 1994. 792p.


EDWARDS, C.; PENNEY, D. Cálculo com geometria analítica. 4ed. Rio de Janeiro: Prentice-Hall do Brasil, 1997. 508p.

HARRIS, K.; LOPEZ, R. Discovering calculus with Maple. 2ed. New York: John Wiley & Sons, 1995. 344p.

SALLAS, S.; HILLE, E. Calculus. One variable. 7ed. New York: John Willey & Sons, 1995. 771p.

SIMMONS, G. F. Cálculo com geometria analítica. São Paulo: McGraw-Hill, 1987. 830p. WESTERMANN, T. Mathematik für ingenieure mit Maple. Karlsruhe: Springer, 1996. 484p.

4613Y-04 Eletiva I - LIBRAS

Disciplinas eletivas buscam dar ao aluno a possibilidade de ampliar ou aprofundar seus conhecimentos cursando disciplinas de outros cursos oferecidos na PUCRS. Em particular, sugere-se a disciplina de LIBRAS, cuja ementa e bibliografia seguem abaixo: Ementa: Estudo teórico e prático dos aspectos de aquisição e desenvolvimento da LIBRAS. Análise dos fatores socioculturais da comunidade surda.


KARNOPP, L.; QUADROS, R. M. de. Língua de Sinais Brasileira. Porto Alegre: Artmed, 2004. 224p.

OLIVER, S. Vendo vozes: uma jornada pelo mundo dos surdos. Rio de Janeiro: Imago, 1990. 205p.

QUADROS, R. M. de. O “Bi” em biliguismo na educação de surdos. Florianópolis: UFSC, 2006. 270p.


CAPOVILLA, F. C.; RAPHAEL, W. D. Dicionário enciclopédico ilustrado trilíngue: Língua de Sinais Brasileira. São Paulo: Edusp, 2001. 1632p.

GOLDFELD, M. A criança surda. Linguagem e cognição numa perspectiva sociointeracionista. São Paulo: Plexus, 1997. 172p.

COLL, C.; PALÁCIOS, J.; MARCHESI, A. Desenvolvimento psicológico e educação. Porto Alegre: Artmed, 1995. 472p.

QUADROS, R. M. de. Educação de surdos. A aquisição da linguagem. Porto Alegre: Artmed, 1997. 126p.

SKLIAR, C. Atualidade da educação bilíngue para surdos. Porto Alegre: Mediação, 1999. 272p.

NÍVEL III

4644B-04 – Organização e Arquitetura de Computadores II

Ementa: Análise das relações entre linguagem de montagem e linguagem de alto nível. Estudo do conjunto de instruções, bloco de dados e controle de uma arquitetura MIPS, apresentando os tipos e formatos de instruções e os modos de endereçamento. Discussão de métricas comumente utilizadas para medidas de desempenho de processadores e conceitos relacionados a arquiteturas multi-cores. Estudo de estruturas pipeline e pipeline superescalar.


HENNESSY, J. L.; PATTERSON, D. Organização e projeto de computadores: a interface hardware/software. 3ed. Rio de Janeiro: Elsevier, 2005. 484p.

MONTEIRO, M. Introdução à Organização de Computadores. Rio de Janeiro: LTC, 2007. 512p.

TANENBAUM, A. Organização Estruturada de Computadores. Rio de Janeiro: PRENTICE HALL BRASIL, 2007. 460p.


HENNESSY, J. L.; PATTERSON, D. Arquitetura de computadores: uma abordagem quantitativa. Rio de Janeiro: Campus, 2003. 827p.

HENNESSY, J. L.; PATTERSON, D. Computer organization and design: the hardware/software interface. 3ed. Amsterdam: Elsevier, 2005.621p.

BLAAUW, G. A. Computer architecture: concepts and evolution. Reading: Addison-Wesley, 1997. 1213p.

STALLINGS, W. Computer organization and architecture: designing for performance. 4ed. Upper Saddle River: Prentice-Hall, 1996. 682p.

ZARGHAM, MEHDI R. Computer architecture: single and parallel systems. New Jersey: Prentice-Hall, 1996. 471p.

4642D-04 – Teoria da Computação

Ementa: Estudo dos conceitos necessários para a compreensão da noção de computabilidade (computação de funções, reconhecimento e enumeração de conjuntos, algoritmos, decidibilidade). Discussão dos diferentes modelos formais de computação e suas relações, demonstrando formalmente estas relações e as propriedades exibidas por tais modelos. Estudo da Hipótese de Church-Turing e sua correlação com a noção de computabilidade e redutibilidade, analisando problemas não-decidíveis como o Problema da Parada. Discussão sobre novos modelos de computação e computabilidade que podem vir a influenciar os rumos da computação no futuro. Bibliografia básica

HOPCROFT, J. E.; MOTWANI, R.; ULLMAN, J. D. Introdução à teoria de autômatos, linguagens e computação. Boston: Elsevier, 2003. 534p.

LEWIS, H. R.; PAPADIMITRIOU, C. H. Elementos de Teoria da Computação. 2ed. Porto Alegre: Bookman, 2000. 339p.

CARNIELLI, W.; EPSTEIN, R. L. Computabilidade, funções computáveis, lógica e os fundamentos da matemática. São Paulo: UNESP, 2006. 415p.


DIVERIO, T. A.; MENEZES, P. F. B. Teoria da computação: máquinas universais e computabilidade. 2ed. Porto Alegre: Sagra-Luzzatto, 2000. 205p.

BOOLOS, G. S.; JEFFREY, R. C. Computability and logic. 3ed. Cambridge: University Press, 1990. 304p.

BRAINERD, W. S.; LANDWEBER, L. H. Theory of computation. New York: John Wiley, 1974. 336p.

GAREY, M. R.; JOHNSON, D. S. Computers and intractability: a guide to the theory of NP-completeness. New York: W. H. Freeman, 1979. 340p.

CORMEM, T. H.; LEISERSON, C. E.; RIVEST, R. L. Introduction to algorithms. Cambridge: The MIT Press, 1990. 1028p.

4634A-02 – Laboratório de Banco de Dados I

Ementa: Prática em linguagens de descrição e manipulação de banco de dados. Entendimento da descrição de esquemas e visões, e atualização da base de dados. Aprofundamento em consultas de bancos de dados.


ELSMARI, R.; NAVATHE, S. B. Sistemas de Banco de Dados. 4ed. São Paulo: Pearson Brasil, 2005. 724p.

PRICE, J. Oracle Database 11g SQL. Porto Alegre: Bookman, 2008. 684p.

RAMAKRISHNAN, R. Database management systems. Boston: McGraw-Hill, 2000. 906p.


BOWMAN, J.; EMERSON, S.; DARNOVSKY, M. The practical SQL handbook: using Structured Query

Language. 3ed. Reading, MA: Addison-Wesley, 1996. 454p.

DATE, C. J. Introdução a sistemas de bancos de dados. Rio de Janeiro: Editora Campus, 2000. 803p.

HEUSER, C. Projeto de banco de dados. 5ed. Porto Alegre: Sagra-DC Luzzatto, 2004. 236p.

SILBERSCHATZ, A; KORTH, H. F.; SUDARSHAN, S. Sistema de bancos de dados. 5ed. Rio de Janeiro: Campus, 2006. 808p.

ULLMAN, J.; WIDOM, J. A first course in database systems. New Jersey: Prentice Hall, 1997. 470p.

4644D-04 – Programação para Software Básico

Ementa: Estudo de linguagem de programação adequada para os chamados sistemas “de software básico” ou que exijam alto desempenho. Aprendizado de uma linguagem de programação que tenha acesso direto a recursos de hardware e sistema operacional, e que propicie implementações eficientes.


DEITEL, H. M. C++: como programar. 5ed. Porto Alegre: Pearson,2006. 1163p.

SCHILDT, H. C: completo e total. 3ed. São Paulo: Makron Books, 2006. 827p.

WELSH, M. “Dominando o Linux”. Rio de Janeiro: Ciência Moderna, 1997. 613p.


HUBBARD, J. R. Programação em C++, 2ed. São Paulo: Pearson, 2003. 392p.

LOVE, R. Linux kernel development. Indianapolis: Sams, 2004. 332p.

MIZRAHI, V. V. Treinamento em Linguagem C++. 2ed. São Paulo: Pearson, 2006. 334p.

STROUSTRUP, B. The C++ programming language. 3ed. Reading: Addison-Wesley, 1997. 910 p. PETERSEN, R. Linux: the complete reference. Berkeley: Osborne McGraw-Hill, 1996. 838p.

4641C-06 – Algoritmos e Programação III

Ementa: Formalização dos conceitos sobre complexidade e análise de algoritmos utilizando notação assintótica. Descrição da classificação de algoritmos quanto à complexidade e a utilização de contagem de passos para a análise da complexidade de algoritmos. Estudo e análise da complexidade dos algoritmos de pesquisa, ordenação e hashing. Introdução do conceito de classes de problemas. Estudo dos tipos abstratos de dados não-lineares árvore e grafo e sua implementação como objetos. Modelagem e solução de problemas utilizando árvores e grafos.


GOODRICH, M. T. Estruturas de dados e algoritmos em Java. 4ed. Porto Alegre: Bookman, 2007. 600p.

AHO, A. V. U.; JEFFREY D.; HOPCROFT, J. E. Data Structures and Algorithms. Reading: Addison-Wesley, 1993. 620p.

DEITEL, H. M. Java: como programar. 6ed. São Paulo: Pearson, 2007. 1110p.


McALLISTER, W. Data Structures and Algorithms using Java. 1ed. Sudbury: Jones and Bartlett Publishers, 2009. 580p.


CORMEN, T. H. et al. Algoritmos: teoria e prática. Rio de Janeiro: Elsevier, 2002. 916p.

VELOSO, P. A. S. et al. Estruturas de dados. 4ed. Rio de Janeiro: Campus, 1988. 228p.


4633A-04 – Modelagem de Software

Ementa: Introdução aos conceitos básicos de Engenharia de Software. Comparação entre modelos de processo de desenvolvimento de software. Aplicação de um processo de desenvolvimento ou manutenção de software e técnicas de modelagem durante o ciclo de vida do software através de levantamento de requisitos, análise, projeto, implementação e testes. Estabelecimento de relações entre modelos gerados e código-fonte.


BOOCH, G.; RUMBAUGH, J.; JACOBSON, I. UML – Guia do Usuário. 2ed. Rio de Janeiro: Elsevier, 2006. 474p.

LARMAN, C. Utilizando UML e padrões: uma introdução à análise e projeto orientados a objetos. 3ed. São Paulo: Bookman, 2007. 696p.

JACOBSON, I.; BOOCH, G.; RUMBAUGH, J. The unified software development process. Reading: Addison-Wesley, 1999. 463p.


SOMMERVILLE, I. Engenharia de software. 8ed. São Paulo: Pearson/Addison Wesley, 2007, 552p.

ERIKSSON, H. E. UML toolkit. New York: J. Wiley, 1998. 397p.

FOWLER, M. UML Essencial: um breve guia para a linguagem-padrão de modelagem de objetos. 2ed. Porto Alegre: Bookman, 2000. 169p.

JACOBSON, I.; BOOCH, G.; RUMBAUGH, J. The unified modeling language reference manual. Reading: Addison-Wesley, 1999. 550p.

ARLOW, J.; NEUSTADT, I. UML 2 and the Unified Process. 2ed. Upper Saddle River: Addison Wesley, 2005. 592p.

4641G-04 – Paradigmas de Linguagens de Programação

Ementa: Introdução às técnicas e ferramentas para implementação de tradutores de linguagens. Apresentação formal de conceitos de sintaxe e de semântica de linguagens, incluindo: amarração, tipos de dados, avaliação de expressões, passagem de parâmetros. Estudo comparativo de paradigmas de linguagens de programação. Discussão dos paradigmas lógico e funcional. Estudos de caso em linguagens de programação.


GHEZZI, C.; JAZAYERI, M. Programming language concepts. 3ed. New York: John Wiley, 1998. 427p.

BRATKO, I. Prolog: programming for artificial intelligence. 3ed. Harlow: Addison-Wesley, 2000. 597p.

PAULSON, L. C. ML for the working programmer. 2ed. Cambridge: Cambridge University Press, 1997. 476p.

Bibliografia complementar SEBESTA, R. W. Conceitos de linguagens de programação. 4ed. Addison-Wesley, 1999. 624p.

MITCHELL, J. C. Foundations for programming languages. Cambridge: MIT Press, 1996. 846p.

ULLMAN, J. D. Elements of ML programming. Upper Saddle River: Prentice Hall, 1998. 383p.

DERSHEM, H.; JIPPING, M. J. Programming languages: structures and models. 2ed. Boston: PWS Publishing Company, 1995. 432p.

STERLING, L & SHAPIRO, E. The art of Prolog: advanced programming techniques. Cambridge, MIT Press, 1991. 509p.

NÍVEL IV

4644C-04 – Organização e Arquitetura de Computadores III

Ementa: Análise da relação do processador com os subsistemas de memória e de entrada e saída, tendo como base a arquitetura básica de um sistema computacional. Detalhamento dos mecanismos destes sub-sistemas e a forma como os dispositivos de uma arquitetura são interconectados. Investigação sobre diferentes formas de construção de arquiteturas paralelas.


PATTERSON, D.; HENESSY, J. L. Arquitetura de computadores: uma abordagem quantitativa. Rio de Janeiro: Campus, 2003. 827p.

STALLINGS, W. Arquitetura e organização de computadores: projeto para o desempenho. 5ed. São Paulo: Prentice Hall, 2005. 786p.

DE ROSE, C. A. F.; NAVAUX, P. O. A. Arquiteturas paralelas. Porto Alegre: Sagra Luzzatto, 2003. 152p.

Bibliografia complementar HERZOG, J. H. Design and organization of computer structures. Wilsonville, OR: Franklin, Beedle &

Associates, 1996. 584p.

HWANG, K.; XU, Z. Scalable parallel computing: technology, architecture, programming. Boston: McGraw-Hill, 1998. 802p.

PATTERSON, D.; HENESSY, J. L. Organização e projeto de computadores: a interface hardware/software. 3ed. Rio de Janeiro: Elsevier, 2005. 484p.

STALLINGS, W. Operating systems: internals and design principles. 4ed. Upper Saddle River: Prentice Hall, 2001. 779p.

WEBER, R. F. Arquitetura de computadores pessoais. 2ed. Porto Alegre: Sagra Luzzatto, 2001. 271p.

4641D-04 – Complexidade e Otimização

Ementa: Estudo de complexidade e análise de algoritmos utilizando notação assintótica (O(), Tetha(), Omega()). Aplicação de recorrências e somatórios na análise de algoritmos. Estudo das classes de problemas (P, EXP, NP, NP-Completo, NP-Hard, P-SPACE) e instâncias de problemas destas categorias. Caracterização de estratégias para a construção de algoritmos e solução de problemas (algoritmos gulosos, programação dinâmica, branch-and-bound, backtracking). Estudo de problemas de otimização e de análise combinatória. Bibliografia básica

CORMEN, T. H. Introduction to algorithms. 2ed. Cambridge (MA): The Mit Press, 2001. 1292p.

AHO, A. V. Foundations of computer science. New York, NY: Computer Science Press, 1998. 786p.

RAWLINS, G. J. E. Compared to what?: An introduction to the analysis of algorithms. New York, NY: Computer Science Press, 1992. 536p.


GERSTING, J. L. Fundamentos matemáticos para ciência da computação: um tratamento moderno de matemática discreta. 5 ed. Rio de Janeiro: LTC, 2004. 597p.

LEVITIN, A. Introduction to the design and analysis of algorithms. Boston: Addison-Wesley, 2003. 497p.

WILSON, R. J. Introduction to graph theory. 4ed. London: Longman, 1996. 171p.

GIBBONS, A. Algorithmic graph theory. Cambridge (UK): Cambridge Univ., 1985. 259p.

WALLIS, W. D. A beginner's guide to graph theory. Boston: Birkhäuser, 2000. 230p.

4643B-04 – Computação Gráfica I

Ementa: Apresentação das origens e da definição de Computação Gráfica. Estudo de técnicas para modelagem e representação de objetos geométricos utilizados em aplicações Computação Gráfica.Estudo de algoritmos de Processamento de Imagens, incluindo aquisição e segmentação, aplicação de filtros e transformações. Estudo de algoritmos de visão computacional para representação e detecção de forma de objetos e de análise de movimento em imagens. Estudo das etapas do processo de visualização bidimensional. Estudo das etapas do processo de visualização tridimensional e da geração de imagens realistas através de técnicas de remoção de elementos ocultos, iluminação e aplicação de texturas.


COHEN, M.; MANSSOUR, I. OpenGL - Uma Abordagem Prática e Objetiva. São Paulo: Novatec, 2006. 486p.

GONZALEZ, R.; WOODS, R. Processamento Digital de Imagens. 3ed. Rio de Janeiro: Longman do Brasil, 2010. 624p.

HEARN, D. Computer graphics with OpenGL. 3ed. Upper Saddle River: Pearson Education, 2004. 857p.


ANGEL, E. Interactive computer graphics: a top-down approach with OpenGL. Reading: Addison-Wesley, 2000. 611p.

FOLEY, J. Computer graphic : principles and practice. 2ed. Reading: Addison-Wesley, 1997. 1175p.

GLASSNER, A. S. Principles of digital image synthesis. San Francisco: Morgan Kaufmann, 1995. 1600p.

Shirley, P.; Marschner, S. Fundamentals of Computer Graphics. 3ed. A K Peters: CRC Press, 2002. 392p.

SHREINER, D. OpenGL Programming Guide: The Official Guide to Learning OpenGL. 5ed. Reading: Addison-Wesley, 2005. 896p.

4644E-04 – Compiladores

Ementa: Discussão da relação entre a representação formal de linguagens e o processo de tradução. Estudo do processo de compilação a partir dos conceitos de análise e síntese de linguagens. Introdução aos mecanismos de otimização de código e ambientes de execução. Desenvolvimento de estudos de caso na área de tradutores de linguagens. Bibliografia básica

AHO, A. V.; SETHI, S.; ULMMAN, J. D. Compiladores: princípios, técnicas e ferramentas. 2ed. São Paulo: Pearson, 2008. 634p.

PRICE, A. M. A.; TOSCANI, S. S. Implementação de linguagens de programação: compiladores. Porto Alegre: Sagra Luzzatto, 2000. 195p.

Srikant, Y. N.; Shankar, P. The compiler design handbook: optimizations and machine code generation [documento eletrônico]. 2 ed. Boca Raton: CRC Press, 2008. Dados eletrônicos Dispon.: [http://www.engnetbase.com/ejournals/books/book_km.asp?id=6383]

Bibliografia complementar APPEL, A. W. Modern compiler implementation in Java. 2ed. Cambridge: Cambridge Univ., 2002. 501p.

LEVINE, J. R.; MASON, T.; BROWN, D. Lex & yacc. Cambridge: O'Reilly, 1998. 364p.

LOUDEN, K. C. Compiladores – Princípios e Práticas. São Paulo: Thomson, 2004. 584p.

MUCHNICK, S. S. Advanced compiler design and implementation. San Francisco: Morgan Kaufmann, 1997. 856p.

RODGER, S. H.; FINLEY, T. W. JFLAP: an interactive formal languages and automata

package. Sudbury: Jones and Bartlett, 2006. 192p.

4634B-04 – Modelagem Conceitual e Projeto de Banco de Dados

Ementa: Compreensão sobre os fundamentos de sistemas de gerência de banco de dados. Aprofundamento em modelos conceituais e de implementação de banco de dados. Compreensão da abordagem relacional para bancos de dados e linguagens de banco de dados. Entendimento sobre o mapeamento entre modelos, em especial o mapeamento objeto-relacional. Investigação no projeto de banco de dados, com ênfase na especificação e implantação de modelos de dados, e das correspondentes propriedades estáticas (restrições de integridade) e dinâmicas (regras de negócio).


ELMASRI, R.; NAVATHE, S. B. Sistemas de Banco de Dados. 4ed. São Paulo: Pearson Education, 2005. 724p.

HEUSER, C. A. Projeto de banco de Dados. 5ed. Porto Alegre: Sagra-DC Luzzatto, 2004. 236p.

SILBERSCHATZ, A.; KORTH, H. F.; SUDARSHAN, S. Sistema de bancos de dados. 5ed. Rio de Janeiro: Campus, 2006. 808p.

Bibliografia complementar BATINI, C.; CERI, S.; NAVATHE, S. B. Conceptual database design: an Entity-Relationship Approach.

Redwood: Benjamin/Cummings, 1992. 470p.

DATE, C. J. Introdução a sistemas de bancos de dados. Rio de Janeiro: Campus, 2000. 803p.


RAMAKRISHNAN, R. Database management systems. Boston: McGraw-Hill, 2000. 906p.

ULLMAN, J.; WIDOM, J. A first course in database systems. 2ed. New Jersey: Prentice Hall, 2002. 511p.

4641E-04 – Técnicas de Programação

Ementa: Análise de técnicas de programação que visam a aumentar a qualidade interna dos produtos de software. Estudo teórico prático de arquitetura de software e aspectos de qualidade como forma de tratar a complexidade de sistemas no nível de projeto e implementação. Discussão de ferramentas e técnicas para teste unitário, padrões arquiteturais (arquitetura em três camadas discutindo exemplos e tecnologias para cada camada) e padrões de projeto (criacionais, estruturais e comportamentais).



HORSTMANN, C. Padrões de Projeto Orientados a Objetos. 2ed. Porto Alegre: Bookman, 2007. 423p.

FOWLER, M.; RICE, D.; FOEMMEL, M.; HIEATT, E.; MEE, R.; STAFFORD, R. Patterns of Enterprise Application Architecture. Boston: Addison Wesley, 2002, 560p.

Bibliografia complementar LARMAN, C. Utilizando UML e padrões : uma introdução à análise e ao projeto orientados a objetos e

ao desenvolvimento iterativo. 3ed. Porto Alegre: Bookman, 2007. 695p.

BUSCHMANN, F.; MEUNIER, R.; RONHERT, H.; SOMMERLAD, P.; STAL, M. Pattern-Oriented Software Architecture, Chichester: John Willey and Sons, 1997. 467p.

GAMMA, E. Padrões de projeto: soluções reutilizáveis de software orientado a objetos. Porto Alegre: Bookman, 2000. 364p.

SHALLOWAY, A.; TROTT, R. J. Explicando Padrões de Projeto: Uma nova perspectiva em projeto orientado a objeto. Porto Alegre: Bookman, 2008. 328p.

KEITH M.; HALEY J.; SCHICARIOL, M. PRO EJB 3 – Java Persistence API. New York: Apress, 2006. 544p.

NÍVEL V

4642E-04 – Métodos Formais para Computação

Ementa: Estudo da aplicação de Métodos Formais na construção e verificação de modelos de sistemas computacionais. Análise de modelos denotacionais, modelos baseados em álgebra de processos ou baseados em lógica temporal, utilizando como exemplos linguagens lógicas de alta ordem (HOL),

Alloy e CSP ou LTL/CTL. Discussão sobre o uso de Métodos Formais na Engenharia de Software.


SCHNEIDER, S. Concurrent and Real-Time Systems: The CSP Approach. Chichester: John Wiley & Sons, 1999. 510p

MONIN, J. F. Understanding Formal Methods. London: Springer Verlag, 2003, 275p.

JACKSON, D. Software Abstractions: Logic, Language, and Analysis. Cambridge: MIT Press, 2006. 350p.

Bibliografia complementar HUTH, R. A; RYAN, M. D. Logic in Computer Science: Modelling and

Reasoning about Systems. Cambridge: Cambridge University Press, 2000, 387p.

ROSCOE, A. W. The Theory and Practice of Concurrency. New Jersey: Prentice Hall, 1997, 565p.

MAGEE, J.; KRAMER, J. Concurrency: State Models & Java Programs. Chichester: John Wiley & Sons, 2002. 355p.

PAULSON, L. C. ML for the Working Programmer. 2ed. Cambridge: Cambridge University Press, 1997. 476p.

HEIN, J. Discrete Structures, Logic, and Computability. 2ed. Sudbury: Jones and Bartlett Publishers, 2002. 943p.

4644F-04 – Sistemas Operacionais (CC)

Ementa: Estudo da evolução e da Estrutura e funcionamento dos sistemas operacionais. Estudo do conceito de processos concorrentes, de algoritmos de escalonamento e dos mecanismos de sincronização entre processos que compartilham memória. Desenvolvimento de programas concorrentes. Estudo de “deadlock”, da comunicação entre processos por troca de mensagens do gerenciamento de memória, do Gerenciamento de entrada e saída e do gerenciamento de arquivos. Bibliografia básica

SILBERSCHATZ, A.; GALVIN, P. B.; GAGNE, G. Operating system concepts. 7ed. Chichester: John Wiley & sons, inc. 2004. 887p.

TANENBAUM, A. S.; WOODHULL, A. S. Operating Systems: Design and Implementation. 2ed. Upper Saddle River: Prentice-Hall, 2000. 939p.

DEITEL, H. M. Sistemas operacionais. 3ed. São Paulo: Pearson Prentice Hall, 2005. 760p.

Bibliografia complementar STALLINGS, W. Operating systems – Internals and Design Principles. 3ed. Englewood Cliffs, NJ: Prentice-

Hall, 1998. 779p.

BACH, M. The design of the Unix Operating System. Englewood Cliffs, N.J., Prentice-Hall, 1990. 471p.

BEN-ARI, M. Principles of Concurrent and Distributed Programming. New York: Prentice-Hall, 1990. 361p.

LEWIS, B.; Berg, D. J. Threads Primer: A Guide to Multithreaded Programming. New Jersey, Prentice-Hall, 1996. 319p.

SHAY, W. A. Sistemas Operacionais. São Paulo: Makron Books do Brasil Ed. Ltda, 1996. 758p.

4645A-04 – Redes de Computadores I

Ementa: Introdução ao Modelo de Referência OSI e à Arquitetura Internet. Apresentação dos sistemas de comunicação de dados utilizados e os tipos de redes: WAN, MAN e LAN. Apresentação detalhada dos níveis físicos e de enlace, abordando conceitos, funções e protocolos. Introdução ao nível de rede, abordando os conceitos e funções deste nível e também os protocolos de nível de rede da Arquitetura Internet. Introdução à

função de roteamento.


TANENBAUM, A. Redes de Computadores. 4ed. Rio de Janeiro: Campus, 2003. 923p.

STALLINGS, W. Data and computer communications. 8ed. Upper Saddle River, NJ: Prentice Hall, 2007. 878p.

FOROUZAN, B. A. Comunicação de dados e redes de computadores. 4ed. Porto Alegre: Bookmann, 2006. 840p.


CARISSIMI, A. da S.; ROCHOL, J.; GRANVILLE, L. Z. Redes de Computadores. 20ed. Porto Alegre: Bookman, 2009. 392p.

COMER, D. Computer Networks and Internets. Upper Saddle River: Prentice Hall, 2009. 600p.

COMER, D. Interligação em Rede com TCP/IP. 5ed. Rio de Janeiro: Compus, 2006. 460p.

OLIFER, N.; OLIFER, V. Redes de Computadores – Princípios, Tecnologias e Protocolos para o Projeto de Redes. Rio de Janeiro: LTC, 2008. 596p.

STALLINGS, W. Wireless communications and networks. 2ed. Upper Saddle River, NJ : Prentice Hall, 2005. 559p.

4643C-02 – Computação Gráfica II

Ementa: Apresentação e discussão de tópicos avançados de Computação Gráfica e sua utilização nas áreas de Realidade Virtual, Animação e Visualização. Bibliografia básica

BOWMAN, D.; KRUIJFF, E.; LAVIOLA, J.; POUPYREV, I. 3D User Interfaces: Theory and Practice. Boston: Addison-Wesley Professional. 2004. 478p.

HANSEN, C.; JOHNSON, C. Visualization Handbook. 1ed. Boca Raton: CRC Press, 2004, 909p.

PARENT, R. Computer animation: algorithms and techniques. San Francisco: Morgan Kaufmann, 2002. 527p.


BURDEA, G. C. Virtual reality technology. 2ed. Hoboken: Wiley-Interscience, 2003. 444p.

CAWOOD, S.; FIALA, M. Augmented Reality: A Practical Guide. Lewisville: Pragmatic Bookshelf. 328p.

SPENCE, R. Information Visualization. Harlow: Addison-Wesley, 2003. 206p.

VINCE, J. 3-D computer animation. Workingham: Addison-Wesley, 1992. 363p.

Wright, H. Introduction to Scientific Visualization. New York: Springer, 2006. 147p.

4633B-04 – Gerência de Projeto de Software

Ementa: Discussão sobre a tomada de decisão em sistemas de informação. Entendimento dos conceitos, metodologias, técnicas e ferramentas do gerenciamento de projetos de software e visão geral do ciclo de vida de gerenciamento de projeto. Aprofundamento dos processos de iniciação, planejamento, execução, controle e encerramento de um projeto de software.


KERZNER, H. Project Management: A Systems Approach to Planning, Scheduling, and Controlling. 8ed. New York: John Wiley & Sons Inc, 2003. 1986p.

Orth, A. I.; Prikladnicki, R. Planejamento e Gerência de Projetos. 1ed. Porto Alegre: Edipucrs, 2009. 179p.

VARGAS, R. V. Manual Prático do Plano de Projeto. 3ed. Rio de Janeiro: Brasport, 2007. 226p.


PFLEEGER, S. L. Engenharia de Software: Teoria e Prática. 2ed. São Paulo: Pearson/ Prentice-Hall, 2003.

537p.

SCHWALBE, K. IT Project Management. Cambridge: Course Technology – Thompson Learning, 2003. 561p.

CHRISIS, M. B.; KONRAD, M.; SHRUM, S. CMMI: Guidelines for Process Integration and Product Improvement. New York: Addison-Wesley, 2003. 688p.

PROJECT MANAGEMENT INSTITUTE. A Guide To The Project Management Body Of Knowledge, Newtown Square: Project Management Institute, 2008. 216p.

CRAIG, L. Agile and Iterative Development: A Manager´s Guide. Indianapolis: Prentice hall, 2003. 368p.

4633H-02 – Projeto de Interfaces Ementa: Introdução aos conceitos básicos de interação homem-computador. Avaliação de sistemas interativos. Estudo de processo de projeto de interfaces. Modelagem de interação. Fundamentação sobre padrões e diretrizes de Projeto. Comparação entre estilos de interação.


PREECE, J.; ROGERS, Y.; SHARP, H. Design de Interação: além da interação humano-computador. Porto Alegre: Bookman, 2005. 348p.

SHNEIDERMAN, B. Designing the user interface: strategies for effective human-computer interaction. 3ed. Reading: Addison-Wesley, 1998. 639p.

COOPER, A. About face: the essentials of user interface design. New York, NY: Wiley, 2003. 504p.


MANDEL, T. The elements of user interface design. New York, NY: John Wiley & Sons, 1997. 440p.

NIELSEN, J. Usability engineering. Boston: AP Professional, 1993. 362p.

RUBIN, J., CHISNELL, D., SPOOL, J. Handbook of usability testing: how to plan, design, and conduct effective tests. New York, NY: Wiley, 2008. 384p.

NIELSEN, J.; LORANGER, H. Usabilidade Na Web. São Paulo: Campus, 2007. 432p.

WILLIAMS, R. Design para quem não é designer: noções básicas de planejamento Visual. São Paulo: Callis, 2005. 191p.

41238-04 – Métodos Estatísticos

Ementa: Introdução à estatística e análise exploratória de dados. Apresentação de medidas de tendência central e de variabilidade. Estudo dos conceitos de Probabilidade, Distribuições de probabilidade, Amostragem. Discussão e aplicação prática dos conceitos de Estimação, intervalos de confiança e testes de significância. Estudo de técnicas de comparação de médias, correlação e regressão linear. Estudo de técnicas de construção de experimentos com um fator (ANOVA one way) e experimentos fatoriais (dois ou mais fatores). Bibliografia básica

BUSSAB, W. O.; MORETTIN, P. A. Estatística básica. 5ed. São Paulo: Saraiva. 2005. 526p.

MEYER, P. L. Probabilidade: aplicações à estatística. 2ed. Rio de Janeiro: LTC, 2000. 426p.

TRIOLA, M. F. Introdução à estatística. 9ed. Rio de Janeiro: LTC, 2005. 656p.


ANDERSON, D. R. Estatística aplicada à administração e economia. São Paulo: Pioneira, 2002. 642p.

LEVINE, D. M.; BERENSON, M. L.; STEPHAN, D. Estatística: teoria e aplicações. Rio de Janeiro: LTC, 2000. 811p.

MOORE, D. A estatística básica e sua prática. 3ed. Rio de Janeiro: LTC, 2005. 658p.

SILVA, P. A. L. da. Probabilidades & Estatística. Rio de Janeiro: Reichmann & Affonso Editores, 2001. 174p.

SIMON, G. A.; FREUND, J. E. Estatística aplicada à economia, administração e contabilidade. 9ed. Porto Alegre: Bookman, 2000. 404p.

NÍVEL VI

4643E-04 – Inteligência Artificial

Ementa: Apresentação das subáreas e diferentes correntes da Inteligência Artificial. Caracterização da abordagem baseada em agentes e multiagentes para a Inteligência Artificial. Abordagem das diversas subáreas como instrumentos para a definição e construção de sistemas baseados em agentes e multiagentes (resolução de problemas por busca em espaços de estados, representação do conhecimento, raciocínio computacional, planejamento, aprendizagem automática), tanto do ponto de vista de implementação como do uso para a resolução de problemas.


LUGER, G. F. Inteligência Artificial. 4ed. Porto Alegre: Bookman, 2004. 774p.

RUSSELL, S. J.; NORVIG, P. Artificial Intelligence – a Modern Approach. 2ed. New Jersey: Prentice Hall, 2003. 932p.

REZENDE, S. Sistemas Inteligentes: fundamentos e aplicações. Barueri: Manole, 2005. 525p.


BITTENCOURT, G. Inteligência Artificial: Ferramentas e Teorias. 3ed. Florianópolis: UFSC, 2006. 371p.

GOMÉZ-PERÉZ, A. Ontological engineering : with examples from the areas of knowledge management, e-commerce and the semantic web. London: Springer, 2004. 403p.

HAYKIN, S. Redes neurais: princípios e prática. Porto Alegre: Bookman, 2001. 900p.

STERLING, L.; SAPHIRO, E. The art of Prolog: advanced programming techniques. Cambridge MA: Leon Sterling, Ehud Shapiro, 1994. 509p.

TAN, P. N. Introduction to data mining. Boston: Addison-Wesley, 2006. 769p.

4644G-02 – Programação de Periféricos (CC) Ementa: Análise dos problemas associados a sistemas operacionais e linguagens de programação quando utilizados para controlar dispositivos periféricos de entrada e saída. Especificação, projeto, validação e implementação de estudos de casos simples de controladores de periféricos (drivers) com e sem unidade de processamento (software e hardware embarcados). Bibliografia básica

ZELENOVSKY, R. PC: um guia prático de hardware e interfaceamento. 4ed. Rio de Janeiro: MZ, 2006. 1175p.

ROSCH, W. L. Hardware Bible. Indianopolis: Sams Publishing, 1997. 1206p.

CORBET, J.; RUBINI, A.; KROAH-HARTMAN, G. Linux device drivers. 3ed. Sebastopol: O'Reilly, 2005. 615p.


MAZIDI, M. A. The 80X86 IBM PC and compatible computers: assembly language, design and interfacing. New Jersey: Prentice Hall, 2000. 1024p.

RIGBY, W. H. Computer interfacing: a practical approach to data acquisition and control. Englewood Cliffs: Prentice Hall, 1995. 232p.

MUSTAFA, M. A. Microcomputer interfacing and applications. Oxford: B. H. Newnes, 1994. 456p.

NORTON, P. Desvendando periféricos e extensões. Rio de Janeiro: Campus, 1993. 436p.

HOLLAND, R. C. Microcomputers and their interfacing. Oxford: Pergamon Press, 1984. 193p.

4645D-02 – Laboratório de Redes de Computadores

Ementa: Desenvolvimento de experimentos que abranjam análise de protocolos da Arquitetura Internet. Análise do desempenho de redes locais. Configuração e análise do funcionamento de protocolos de roteamento. Desenvolvimento e análise de comportamento de aplicações distribuídas com diferentes requisitos de

qualidade. Simulação e análise de arquiteturas de comunicação variadas.


COMER, D. E. Interligação de redes com TCP/IP. Vl1. Rio de Janeiro: Campus, 2006. 460p.

COMER, D. E. Interligação em rede com TCP/IP. Vl2 - Projeto, Implementação e Detalhes Internos. Rio de Janeiro: Campus, 1999. 616p.

STEVENS, W. R. Unix Network Programming. Vl1 - The Sockets Networking API. 3ed. Canada: Addison-Wesley Professional, 2003. 1024p.


TANENBAUM, A. S. Redes de computadores. 4ed. Rio de Janeiro: Campus, 2003. 945p.

HUITEMA, C. Routing in the internet. 2ed. Upper Saddle River: Prentice Hall PTR, 1999. 385p.

RHODES, P. D. Building a network: how to specify and design, procure, and install a corporate LAN. New York: McGraw-Hill, 1996. 222p.

STEVENS, W. R. TCP/IP Illustrated, Vl1: The Protocols. Canada: Addison-Wesley Professional, 1994. 600p.

GAY, W. Linux Socket Programming by Example. Indianapolis: Que, 2000. 576p.

4641H-04 – Implementação de Banco de Dados

Ementa: Compreensão dos conceitos de transação, concorrência, recuperação, segurança, integridade, e bancos de dados distribuídos. Investigação sobre desempenho e sintonia de banco de dados. Prática na implementação de regras de negócio em Banco de Dados. Aprofundamento sobre controle de transações, uso de frameworks de persistência e boas práticas de segurança e integridade de banco de dados.


MOLINA, H. G.; ULLMAN, J.; WIDOM, J. Implementação de sistemas de bancos de dados. Rio de Janeiro: Campus, 2001. 685p.

LONEY, K.; BRYLA, B. Oracle Database 11g – Manual do DBA. Porto Alegre: Bookman, 2008. 688p.

RAMAKRISHNAN, R. Database management systems. Boston: McGraw Hill, 2000. 906p. Bibliografia complementar

BERNSTEIN, P. Principles of Transaction Processing. San Francisco: Academic Press/Morgan Kaufman, 1997. 357p.

DATE, C. J. Introdução a sistemas de bancos de dados. 4ed. Rio de Janeiro: Campus, 2000. 803p.

ELMASRI, R.; NAVATHE, S. B. Sistemas de Banco de Dados. 4ed. São Paulo: Pearson Education, 2005. 724p.


SILBERSCHATZ, A.; KORTH, H. F.; SUDARSHAN, S. Sistemas de Bancos de Dados. 3ed. São Paulo: Makron Books, 1999. 754p.

4643D-02 – Entretenimento Digital

Ementa: Apresentação do histórico e das categorias de jogos eletrônicos. Descrição do processo de desenvolvimento de jogos eletrônicos. Estudo de arquiteturas, algoritmos e ferramentas utilizados no desenvolvimento de jogos eletrônicos.


BATES, B. Game Design. Boston: Thomson, 2004. 350p.

LENGYEL , E. Mathematics for 3D Game Programming and Computer Graphics. Florence: Charles River Media, 2001. 570p.

SHELDON, L. Character Development and Storytelling for Games. Florence: Course Technology, 2004. 488p.


ENGEL, W. GPU Pro: Advanced Rendering Techniques. USA: A K Peters, 2010. 740p.

GREGORY, J.; LANDER, J.; WHITING, M. Game Engine Architecture. USA: A K PETERS, 2009. 864p.

HAINES, E.; MÖLLER, T.; HOFFMANN, N. Real-Time Rendering. USA: AK Peters, 2002. 1045p.

MILLINGTON, I.; FUNGE, J. Artificial Intelligence for Games. San Francisco: Morgan Kaufmann, 2006. 896p.

ROUSE, R. Game Design: Theory and Practice. 2ed. Sudbury: Wordware, 2005. 698p.

4633D-04 – Desenvolvimento de Sistemas

Ementa: Prática de desenvolvimento de sistemas. Aplicação de gerenciamento de projeto e de configuração no desenvolvimento de um sistema. Modelagem, implementação e integração de aspectos estáticos e dinâmicos de sistemas. Desenvolvimento de um sistema desde a modelagem de negócios da organização até a sua implantação, através da análise, projeto, implementação e testes. Bibliografia básica

BOOCH, G.; RUMBAUGH, J.; JACOBSON, I. UML: guia do usuário. 2ed. Rio de Janeiro: Campus, 2006. 474p.

LARMAN, C. Utilizando UML e padrões: uma introdução à análise e projeto orientados a objetos. 3ed. Porto Alegre: Bookman, 2007. 695p.

SOMMERVILLE, I. Engenharia de Software. 8ed. São Paulo: Pearson Education, 2007. 552p.


HEUSER, C. A. Projeto de banco de dados. 5ed. Porto Alegre: Sagra – Luzzato, 2004. 236p.

JACOBSON, I.; BOOCH, G.; RUMBAUGH, J. The unified software development process. Reading: Addison-Wesley, 1999. 463p.

PRESSMAN, R. Engenharia de software. São Paulo: Makron, 1995. 1056p.

PROJECT MANAGEMENT INSTITUTE. Um guia do conjunto de conhecimentos do gerenciamento de projetos: guia PMBOK. Pennsylvania: Project Management Institute, 2004. 338p.

RUMBAUGH, J. Modelagem e projetos orientados em objetos. Rio de Janeiro: Campus, 1994. 652p.

4643F-04 – Métodos Computacionais

Ementa: Apresentação de ferramentas para computação científica contemplando linguagens de programação, bibliotecas numéricas e ambientes matemáticos. Modelagem e solução de problemas utilizando os conceitos de métodos e algoritmos numéricos. Estudo sobre o desenvolvimento de algoritmos numéricos eficientes. Bibliografia básica

CAMPOS FILHO, F. F. Algoritmos numéricos. Rio de Janeiro: LTC, 2007. 428p.

BURDEN; R. L.; FAIRES, J. D. Análise Numérica. São Paulo: Thomson, 2008. 736p.

CLÁUDIO, D. M; MARINS, J. M. Cálculo numérico computacional: teoria e prática. São Paulo: Atlas, 2000. 464p.


SHOKRANIAN, S. Tópicos em Métodos Computacionais. Rio de Janeiro: Ciência Moderna, 2009. 368p.

GANDER, W.; HREBÍCEK, J. Como resolver problemas em computação científica usando Maple e Matlab. São Paulo: Edgard Blücher Ltda, 1997. 404p.

Köckler, N. Numerical methods and scientific computing: using software libraries for problem solving. Oxford: Clarendon, 1994. 328p.

RICE, J. R. Numerical Methods, Software and Analysis. New York: Academic Press, 1983. 660p.

GILAT, A.; SUBRAMANIAM, V. Métodos numéricos para engenheiros e cientistas: Uma introdução com aplicações usando o MATLAB. Porto Alegre: Artmed, 2008. 480p.

4645B-04 – Redes de Computadores II

Ementa: Apresentação detalhada dos níveis de rede, transporte e aplicação, abordando conceitos, funções e protocolos do modelo OSI e da arquitetura Internet. Detalhamento da função de roteamento dinâmico, abordando algoritmos e protocolos. Bibliografia Básica

TANENBAUM, A. Redes de Computadores. 4ed. Rio de Janeiro: Campus, 2003.923p.

STALLINGS, W. Data and computer communications. 8ed. Upper Saddle River: Prentice Hall, 2007. 878p.

FOROUZAN, B. A. Comunicação de dados e redes de computadores. 4ed. Porto Alegre: McGraw Hill BRASIL, 2008. 840p.

Bibliografia Complementar

CARISSIMI, A. da S.; ROCHOL, J.; GRANVILLE, L. Z. Redes de Computadores. Vl20. Porto Alegre: Bookman Companhia, 2009. 392p.

COMER, D. Computer Networks and Internets. Upper Saddle River: Prentice Hall, 2009. 600p.

COMER, D. Interligação em Rede com TCP/IP. 5ed. Rio de Janeiro: Campus, 2006. 460p.

OLIFER, N.; OLIFER, V. Redes de Computadores – Princípios, Tecnologias e Protocolos para o Projeto de Redes. Rio de Janeiro: LTC, 2008. 596p.

STALLINGS, W. Wireless communications and networks. 2ed. Upper Saddle River: Prentice Hall, 2005. 559p.

NÍVEL VII

11521-04 – Humanismo e Cultura Religiosa

Ementa: Estudo do fenômeno religioso em geral, abordado de modo antropológico-cultural. A

religião como dimensão integrante da vida humana. Descrição das grandes religiões mundiais e as

confissões no Brasil. Introdução histórica e literária à principal corrente religiosa no mundo

ocidental, a tradição bíblica. Estudo de Jesus Cristo no seu tempo. A igreja de Cristo na história e

hoje, a prática da fé cristã no culto, a moral cristã. Motivação para ações comunitárias, como

engajamento conseqüente de uma consciência social e da fé cristã. Bibliografia básica

GHELLER, E. G. Cristianismo a Igreja Católica. 3ed. Porto Alegre: EDIPUCRS, 1999. 210p.

______. O Sentimento religioso e sua expressão. 6ed. Porto Alegre: EDIPUCRS, 2002. 142p.

PIAZZA, W. O. As Religiões da humanidade. 3ed. São Paulo: Loyola, 1996. 444p. Bibliografia complementar

BETTI, A. O que o povo pergunta. 9ed. Petrópolis: Vozes, 2003. 222p.

BÍBLIA SAGRADA. Tradução de João Ferreira de Almeida. Brasília: Sociedade Bíblica do Brasil, 1994. 1221p.

BLANK, R. J. Nossa vida tem futuro. 2ed. São Paulo: Paulus, 1991. 235p.

ENCICLOPÉDIA ABRIL CULTURAL, 19. As grandes religiões, 1973. 184p.

HERNELINK, J. As Igrejas no mundo. São Leopoldo: Sinodal, 1981. 150p.

4645C-04 – Redes de Computadores III

Ementa: Apresentação dos aspectos de segurança em ambientes de redes de computadores, abordando vulnerabilidades, ataques e formas de prevenção. Apresentação dos métodos de criptografia e assinatura digital. Estudo de aspectos relevantes de Qualidade de Serviço como conceitos e mecanismos de transmissão.


STALLINGS, W. Cryptography and Network Security: Principles and Practice. 5ed. New Jersey: Prentice

Hall, 2010. 744p.

KAUFMANN, M. Traffic Engineering and QoS Optimization of Integrated Voice & Data Networks. Middletown: AT&T Labs, 2006. 512p.

STALLINGS, W. SNMPv1, SNMPv2, SNMPv3, RMON 1 and 2. 3ed. New Jersey: Addison-Wesley Professional, 1999. 640p.


COMER, D. Internetworking with TCP/IP. 5ed. Upper Saddle River: Prentice Hall, 2005. 688p.

STALLINGS, W. Data and Computer Communication. 8ed. Upper Saddle River: Prentice Hall, 2008. 896p.

ROSS, K.; KUROSE, J. F. Redes de computadores e a Internet - Uma Nova Abordagem. Reading: Addison Wesley, 2007. 572p.

STALLINGS, W. Network Security Essentials: Applications and Standards. 4ed. Upper Saddle River: Prentice Hall, 2010. 432p.

SZIGETI, T.; HATTINGH, C. End-to-End QoS Network Design: Quality of Service in LANs, WANs, and VPNs. Indianapolis: Cisco Press, 2004. 769p.

4645E-02 – Programação Paralela

Ementa: introdução à resolução de problemas no cenário da Computação de Alto Desempenho. Apresentação dos principais requisitos necessários para modelar um programa paralelo. Introdução às métricas para medição do desempenho de programas paralelos. Desenvolvimento de programas paralelos para multiprocessadores (memória compartilhada) e multicomputadores (máquinas agregadas). Bibliografia básica

GRAMA, A. Introduction to parallel computing. 2ed. Harlow: Pearson Education, 2003. 636p.

TANENBAUM, A. S. Distributed systems: principles and paradigms. Upper Saddle River: Prentice Hall, 2002. 803p.

BEN-ARI, M. Principles of concurrent and distributed programming. 2ed. Harlow: Addison-Wesley, 2006. 361p.


COULOURIS, G. Distributed systems: concepts and design. 3ed. Harlow: Addison-Wesley, 2001. 772p.

WILKINSON, B. Parallel programming: techniques and applications using networked workstations and parallel computers. Upper Saddle River: Prentice Hall, 1999. 431p.

SINHA, P. K. Distributed operating systems: concepts and design. New York: IEEE CS Press, 1997. 743p.

FOSTER, I. Designing and building parallel programs: concepts and tools for parallel software engine. Harlow: Addison Wesley, 1995. 381p.

ANDREW, G. R. Paradigms for process interaction in distributed programs. ACM Comp. Surveys, vol. 23, no. 1, Mar. 1991, pp. 49-90.

4641I-04 – Trabalho de Conclusão I

Ementa: aplicação dos conhecimentos obtidos durante o curso de forma integrada, através do desenvolvimento de uma proposta de solução de um determinado problema na área do curso. A proposta pode envolver a implementação de um protótipo de software ou a elaboração de um modelo teórico, que será avaliado formalmente ou através de experimentos.


KÖCHE, J. C. Fundamentos de metodologia científica: teoria da ciência e iniciação à pesquisa. 21ed. Petrópolis: Vozes, 2003. 182p.

MARCONI, M. A. Fundamentos da metodologia científica. 6ed. São Paulo: Atlas, 2009. 315p.

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SUL. Biblioteca Central Ir. José Otão. Modelo

https://correio.pucrs.br/exchweb/bin/redir.asp?URL=https://correio.pucrs.br/exchweb/bin/redir.asp?URL=http://www.amazon.com/End-End-QoS-Network-Design/dp/1587051761/ref=sr_1_2?ie=UTF8%2526s=books%2526qid=1277909902%2526sr=1-2

https://correio.pucrs.br/exchweb/bin/redir.asp?URL=https://correio.pucrs.br/exchweb/bin/redir.asp?URL=http://www.amazon.com/End-End-QoS-Network-Design/dp/1587051761/ref=sr_1_2?ie=UTF8%2526s=books%2526qid=1277909902%2526sr=1-2

para apresentação de trabalhos acadêmicos, teses e dissertações elaborado pela biblioteca central Irmão José Otão (NBR 14724). [2005]. Disponível em: <http://www3.pucrs.br/portal/page/portal/biblioteca/Capa/BCEPesquisa/BCEPesquisaModelos>. Acesso em: 16 dez. 2009.


MARTINS, D. S.; ZILBERKNOP, L. S. Português Instrumental. 27ed. São Paulo: Atlas, 2008. 560p.

BOAVENTURA, E. M. Metodologia da Pesquisa: monografia, dissertação, tese. São Paulo: Atlas, 2007. 160p.

SALOMON, D. V. Como fazer uma monografia. 11ed. São Paulo: Martins Fontes, 2004. 425p.

SCALETSKY, E. C. Iniciando na pesquisa: manual para elaboração da monografia e projetos de iniciação científica. Rio de Janeiro: EDUR, 1997. 76p.

TACHIZAWA, T. Como fazer monografia na prática. 6ed. Rio de Janeiro: FGV, 2001. 138p.

4643A-04 – Avaliação de Desempenho de Sistemas

Ementa: Estudo teórico-prático dos diferentes métodos de avaliação de desempenho, com ênfase

em simulação e em métodos analíticos. Com relação aos métodos analíticos, maior ênfase é dada

aos métodos markovianos e seus diferentes formalismos de modelagem.


STEWART, W. J. Probability, Markov Chains, Queues, and Simulation. Princeton: Princeton University Press, 2009. 776p.

LAW, A.; KELTON, W. Simulation Modeling and Analysis. 3ed. Boston: McGraw-Hill, 2000. 760p.

BOLCH, G.; GREINER, S.; DE MEER, H.; TRIVEDI, K. Queueing Networks and Markov chains: Modeling and Performance Evaluation with Computer Science Applications. New York: John Wiley & Sons, 1998. 760p.


BRENNER, L.; FERNANDES P.; SALES A. The Need for and the Advantages of Generalized Tensor Algebra for Kronecker Structured Representations. International Journal of Simulation: Systems, Science & Technology, Vol.6(3-4), p. 52-60, 2005. UK Simulation Society, Nottingham, UK. February,2005.

MARSAN, M. A.; BALBO, G. C. Performance Models of Multiprocessor Systems. Cambridge: MIT Press, 1986. 280p.

MENASCÉ, D.; ALMEIDA, V. Capacity Planning for Web Performance: metrics, models and methods. Upper Saddle River: Prentice-Hall, 1998. 321p.

FERNANDES, P.; PLATEAU, B.; STEWART, W. J. Efficient Descriptor-VectorMultiplications in Stochastic Automata Networks, Journal of the ACM,v.45, n.3, May, 1998.

STEWART, W. J. Introduction to the Numerical Solution of Markov chains.Princeton: Princeton Press, 1994. 539p.

NÍVEL VIII

4644H-04 – Sistemas Embarcados

Ementa: Discussão dos problemas relacionados a sistemas embarcados, através da busca de soluções inovadoras. Estudo de ferramentas, metodologias e linguagens de programação voltadas as características e peculiaridades inerentes aos sistemas embarcados. Apresentação dos diferentes aspectos relacionados às arquiteturas e integração software (modelos de computação, middleware, sistemas operacionais, tempo real) e hardware (SoCs, MPSoCs), meios de interconexão e protocolos de comunicação (NoCs), e que propiciem implementações eficientes.


WOLF, W. Computers as components: principles of embedded computing system design. San Francisco: Morgan Kaufmann, 2001. 662 p.

JANTSCH, A. Modeling embedded systems and socs: concurrency and time in models of computation. San Francisco: Morgan Kaufmann, 2004. 351p.

JERRAYA, A. A. Multiprocessor systems-on-chips. Amsterdam: Elsevier, 2005. 581p.


SON Sang H., LEE I., and LEUNG J. Handbook of Real-Time and Embedded Systems. Boca Raton: Chapman and Hall, 2008. 800p.

ZURAWSKI, R. Embedded Systems Handbook. Boca Raton: Taylor & Francis, 2006. 1160p.

LI, Q. Real-time concepts for embedded systems. San Francisco: CMP, 2003. 294p.

MARWEDEL, P. Embedded system design. Boston: Kluwer, 2003. 241p.

KOPETZ, H. Real time systems: design principles for distributed embeddede applications. Boston: Kluwer Academic, 2004. 338p.

4645F-04 – Programação Distribuída

Ementa: introdução aos problemas e requisitos para o projeto e construção de aplicações e sistemas distribuídos. Apresentação dos principais modelos de programação de aplicações distribuídas, bem como algoritmos de sincronização entre processos. Desenvolvimento de programas distribuídos através das principais tecnologias existentes. Apresentação de exemplos de plataformas distribuídas e estudo de casos de aplicações.


GRAMA, A. Introduction to parallel computing. 2ed. Harlow: Pearson Education, 2003. 636p.

TANENBAUM, A. S. Distributed systems: principles and paradigms. Upper Saddle River: Prentice Hall, 2002. 803p.

BEN-ARI, M. Principles of concurrent and distributed programming. 2ed. Harlow: Addison-Wesley, 2006. 361p.


COULOURIS, G. Distributed systems: concepts and design. 3ed. Harlow: Addison-Wesley, 2001. 772p.

WILKINSON, B. Parallel programming: techniques and applications using networked workstations and parallel computers. Upper Saddle River: Prentice Hall, 1999. 431p.

SINHA, P. K. Distributed operating systems: concepts and design. New York: IEEE CS Press, 1997. 743p.

FOSTER, I. Designing and building parallel programs: concepts and tools for parallel software engine. Harlow: Addison Wesley, 1995. 381p.

ANDREW, G. R. Paradigms for process interaction in distributed programs. ACM Comp. Surveys, vol. 23, no. 1, Mar. 1991, pp. 49-90.

4641J-04 – Trabalho de Conclusão II

Ementa: aplicação dos conhecimentos obtidos durante o curso de forma integrada, através da implementação, execução e documentação de uma proposta elaborada na disciplina de Trabalho de Conclusão I. Apresentação perante banca examinadora.


KÖCHE, J. C. Fundamentos de metodologia científica: teoria da ciência e iniciação à pesquisa. 21ed. Petrópolis: Vozes, 2003. 182p.

MARCONI, M. A. Fundamentos da metodologia científica. 6ed. São Paulo: Atlas, 2009. 315p.

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO GRANDE DO SUL. Biblioteca Central Ir. José Otão. Modelo para apresentação de trabalhos acadêmicos, teses e dissertações elaborado pela biblioteca central Irmão José Otão (NBR 14724). [2005]. Disponível em: <http://www3.pucrs.br/portal/page/portal/biblioteca/Capa/BCEPesquisa/BCEPesquisaModelos>. Acesso em: 16 dez. 2009.


MARTINS, D. S.; ZILBERKNOP, L. S. Português Instrumental. 27 ed. São Paulo: Atlas, 2008. 560p.

BOAVENTURA, E. M. Metodologia da Pesquisa: monografia, dissertação, tese. São Paulo: Atlas, 2007. 160p.

SALOMON, D. V. Como fazer uma monografia. 11ed. São Paulo: Martins Fontes, 2004. 425p.

SCALETSKY, E. C. Iniciando na pesquisa: manual para elaboração da monografia e projetos de iniciação científica. Rio de Janeiro: EDUR, 1997. 76p.

TACHIZAWA, T. Como fazer monografia na prática. 6ed. Rio de Janeiro: FGV, 2001. 138p.

2540L-04 – Empreendimentos Empresariais

Ementa: Introdução ao ambiente, ao conceito e outras questões relevantes para o entendimento do empreendedorismo. Apresenta o empreendimento, suas possibilidades, a importância do plano de negócios e a questão do financiamento inicial. O programa contempla ainda o tema negociação, analisando: o conceito, a importância para o empreendedor, o planejamento e o processo, entre outros aspectos complementares. Bibliografia básica

CLEMENTE, A. Projetos empresariais e públicos. São Paulo: Atlas, 1998. 341p.

DORNELAS, J. C. A. Empreendedorismo. Transformando idéias em negócios. Rio de Janeiro: Campus, 2001. 293p.

JUNQUEIRA, L. A. C. Negociação: tecnologia e comportamento. Rio de Janeiro: COP Editora, 1995. 90p.


BASSANESI, C. Vende-se o ponto. Quer arriscar? Amanhã, p.40-45, n.168, jul. 2001.

BERGAMASCO, C. Esses milhões que movem o mundo. PEGN. Jan. 2001.

COLLINS, J. Feitas para rolar. Exame, abr. 2000.

COLLINS, J.; PORRAS, J. Feitas para durar: práticas bem-sucedidas de empresas visionárias. Rio de Janeiro: Rocco, 1995. 480p.

DRUCKER, P. Além da revolução da informação. HSM Management, jan.-fev. 2000. 15091-04 Ética e Filosofia da Ciência

Ementa: Concepções de ciência na história do pensamento humano. Conceitos de conhecimento e verdade e justificação. O método científico. A ética na pesquisa científica e nas aplicações do conhecimento científico. A avaliação crítica das pretensões de validade do empreendimento científico. Bibliografia básica

ALBERT, H. Tratado da Razão Crítica. Rio de Janeiro: Tempo Brasileiro, 1976. 218p.

CHALMERS, A. F. O Que é a Ciência Afinal?. São Paulo: Brasiliense, 1993. 225p.

SOUZA, R. T. Ciência e Ética. Porto Alegre: EDIPUCRS, 2006. 168p.


DUTRA, L. H. A. Introdução à teoria da ciência. 2ed. Florianópolis: UFSC, 2003. 150p.

FEYERABEND, P. K. Contra o método. Rio de Janeiro: UNESP, 2007. 374p.

KUHN, T. A Estrutura das Revoluções Científicas. São Paulo: Perspectiva, 1996. 260p.

POPPER, K. A Lógica da Pesquisa Científica. São Paulo: Cultrix, 1985. 567p.

RACHELS, J. Os Elementos de Filosofia Moral. Barueri, SP: Manole, 2006. 282p.

Documents

Loucuras no Issuu