SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE GOIÁS INSTITUTO DE INFORMÁTICA

Transcrição

1 SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE GOIÁS INSTITUTO DE INFORMÁTICA ESPECIFICAÇÃO DAS DISCIPLINAS DO PROGRAMA DE PÓS- GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO NÍVEL MESTRADO Art. 1 A disciplinas do Programa da Pós-Graduação em Ciência da Computação são divididas em disciplinas obrigatórias e disciplinas optativas. 1º - Todas as disciplinas, exceto as disciplinas Seminários I e Seminários II, que são de um crédito, são disciplinas de quatro créditos, com carga horária de sessenta horas-aula. 2º - Cada disciplina deverá ser ofertada, no mínimo, uma vez a cada dois anos. 3º - As disciplinas obrigatórias são as seguintes: MCC001 - Projeto e Análise de Algoritmos; MCC002 - Teoria da Computação; MCC003 - Seminários I; MCC004 - Seminários II. 4º - As disciplinas optativas são as seguintes: MCC005 - Tópicos Especiais em Ciência da Computação; MCC006 - Teoria dos Grafos MCC007 - Processos Estocásticos MCC008 - Otimização Combinatória MCC009 - Programação Linear MCC Programação Não-linear MCC Visualização de Informações MCC Engenharia de Software MCC Sistemas de Banco de Dados MCC Redes de Computadores MCC Computação Gráfica MCC Inteligência Artificial

2 2 MCC Sistemas Hipermídia MCC Sistemas Distribuídos MCC Interface Homem-Computador MCC Estudo Orientado 5º - As especificações das disciplinas listadas nos dois parágrafos anteriores se encontram em anexo.

3 3 ANEXO Ementas das Disciplinas I Disciplinas Obrigatórias MCC001 - Projeto e Análise de Algoritmos Analise de algoritmos. Algoritmos de classificação e busca. Algoritmos de manipulação de conjuntos. Algoritmos em grafos. NP-completude. 1) Udi Manber-Introduction to Algorithms- A creative Approach. Addison- Wesley ) Sara Baase- Computer Algorithms: Introduction to Design and Analysis. Addison-Wesley ) Alfred Aho, John Hopcroft and Jeffrey Ullman - The Designs and Analysis of Computer Algorithms. Addison-Wesley, ) Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein - Introduction to Algorithms. MIT Press; 2nd edition, MCC002 - Teoria da Computação Conjuntos, relações e linguagens Autômatos finitos Máquinas de Turing Indecidibilidade Complexidade computacional 1) Sipser, M. Introduction to the Theory of Computation, Brooks Cole, ) John E. Hopcroft, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Pearson Education POD, 1979

4 4 MCC003 - Seminários I Esta é uma disciplina que consiste numa série de seminários dentro de cada área de concentração, coordenados por um professor responsável pela disciplina. O estudante inscrito nesta disciplina, além de assistir aos seminários apresentados por seus colegas, professores do programa ou palestrantes convidados, deverá apresentar pelo menos um seminário durante o período em que estiver matriculado na disciplina, tendo por tema um tópico relacionado a sua dissertação de mestrado. MCC004 - Seminários II Esta é uma disciplina que consiste numa série de seminários dentro de cada área de concentração, coordenados por um professor responsável pela disciplina. O estudante inscrito nesta disciplina, além de assistir aos seminários apresentados por seus colegas, professores do programa ou palestrantes convidados, deverá apresentar pelo menos um seminário durante o período em que estiver matriculado na disciplina, tendo por tema um tópico relacionado a sua dissertação de mestrado. II Disciplinas Optativas MCC005 - Tópicos Especiais em Ciência da Computação Esta é uma disciplina de ementa variável que objetiva explorar tópicos avançados na área de Ciência da Computação. MCC006 - Teoria dos Grafos Introdução. Árvores e distâncias. Emparelhamentos. Conectividade. Fluxos em redes. Coloração de grafos. Grafos Planares. Tópicos em grafos: grafos perfeitos, grafos de intersecção, conjuntos dominantes, conjuntos independentes de vértices. 1) Reinhard Diestel - Graph Theory. Springer ) Douglas West - Introduction to Graph Theory. Prentice-Hall, 2001.

5 5 3) J. A. Bondy and U. S. R. Murty - Graph Theory with Applications. North- Hollan, MCC007 - Processos Estocásticos Probabilidade e variáveis aleatórias. Processos Estocásticos: Processos de Renovação. Processo de Poisson. Processos de chegadas e partidas. Cadeias de Markov. Teoria de Filas. 1) Sheldon M. Ross Introduction to Probability Models Fourth edition Academic Press, Inc ) Sheldon M. Ross Stochastic Processes John Wiley & Sons 1983 ) DeGroot Probability and Statistics 2 nd Edition, Addison-Wesley Publishing: Massachusetts, ) Cinlar, E., Introduction to Stochastic Processes, Englewood Clifs, Prentice-Hall, ) Leonard Kleinrock, Queueing Systems vol. 1, John Wiley & Sons 1975 MCC008 - Otimização Combinatória Programação inteira Problemas de arvores geradoras e emparelhamentos Fluxos em redes Problema do caixeiro viajante 1) Christos H. Papadimitriou, Kenneth Steiglitz, Combinatorial Optimization : Algorithms and Complexity, Dover Pubns, ) Eugene Lawler, Combinatorial Optimization : Networks and Matroids, Dover Pubns, ) Ravindra K. Ahuja, Thomas L. Magnanti, James B. Orlin, Network Flows: Theory, Algorithms, and Applications, Prentice Hall, 1993.

6 6 MCC009 - Programação Linear O problema de programação linear. Formas equivalentes. Modelos de programação linear. Convexidade. Ponto extremo. Solução Básica. Solução básica compatível. Método simplex. O problema de transporte. Dualidade. Solução dual-primal. Análise de pós-otimização. Introdução a métodos de pontos interiores. 1) Vasek Chvatal Linear Programming, W H Freeman & Co.,September ) Mokhtar S. Bazaraa (Author), John J. Jarvis (Author), Hanif D. Sherali Linear, Programming and Network Flows,Wiley; 2nd edition (January 1990) MCC010 - Programação Não-linear Problemas de otimização Condições de otimalidade Métodos de solução 1) Peressini, A. L. et all, The mathematics of Nonlinear Programming, Springer-Verlag, New York, NY, ) Dennis Jr., J.E. Schnabel, R. B., Numerical Methods for Unconstrained Optimization and Nonlinear Equations, Prentice Hall Inc, Englewood Cliffs, New Jersey, ) Luenberger, D. G., Linear and Nonlinear Programming, Eddison-Wesley Publishing Company, Reading, Massachussetts, 1984.

7 7 MCC011 - Visualização de Informações Conceitos Básicos: definições e modelo cognitivo para visualição de informações; dimensionalidade (visualização de informações em 1D, 2D, 3D, 4D+); uso de cores, brilho e contraste; transfomações temporais; interação com visualizações. Técnicas e Aplicações: foco e contexto; desenho de grafos; visualização de software; visualização de documentos; visualização como uma ferramenta para mineração de dados. Tópicos Adicionais: orientações para o desenvolvimento de visualizações efetivas; plataformas computacionais (software e hardware) para visualização de informações; visualização em telas grandes e pequenas. 1) CARD, Stuart K., MACKINLAY, Jock D., SHNEIDERMAN, Ben. Readings in Information Visualization: Using Vision to Think, Morgan Kaufmann Series in Interactive Technologies, Academic Press, ) SPENCE, Robert. Information Visualization, ACM Press. 3) DI BATTISTA, Giuseppe, EADES, Peter, TAMASSIA, Roberto, TOLLIS, Ioannis. Graph Drawing: Algorithms for the Visualization of Graphs, Prentice Hall, ) WARW, Colin. Information Visualization: Perception for Design, Morgan Kaufmann Interactive Technologies Series, January ISBN ) BORG, I. e GROENEN, P. Modern Multidimensional Scaling. Springer-Verlag, New York, MCC012 - Engenharia de Software Modelagem e especificação de software. Processo. Engenharia de requisitos. Projeto de software. Qualidade de software. 1) Thayer, R. & Dorfman, Software Engineering, Volume 1 - The Development Process, Second Edition., M., eds., Los Alamitos, California: IEEE Computer Society Press, ) Thayer, R. & Christensen, Software Engineering, Volume 2 - The Supporting Process,Second Edition., M., eds., Los Alamitos, California: IEEE Computer Society Press, 2002.

8 8 MCC013 - Sistemas de Banco de Dados Aplicações avançadas e novas tecnologias de bancos de dados; Extensões do modelo relacional de dados; Sistemas de bancos de dados não convencionais: ativos, dedutivos, espaciais, multimídia, distribuídos, paralelos e temporais; Modelagem e organização de data warehouse e de Bibliotecas Digitais; Modelos de dados Objeto-Relacionais e Orientados a Objetos (padrão SQL-3 e ODMG-3.0); Transações longas e suporte a sistemas de tempo-real; Sistemas de Bancos de Dados Móveis; Bancos de dados para aplicações Web. 1) R. Elmasri, S. Navathe. Benjamin-Cummings, Fundamentals of Database Systems. 4th edition, 2003, Parte 6 Advanced Database Concepts & Emerging Applications. 2) Douglas K. Barry, Mark Berler, Jeff Eastman, David Jordan, Craig Russell, Olaf Schadow, Torsten Stanienda, e Fernando Velez, The Object Data Standard: ODMG 3.0. Editado por R. G. G. Cattell,.Morgan Kaufmann, ) J. Melton, A. Simon, SQL Understanding Relational Language Conponents, Morgan Kaufmann, ) A. Tanaka, Bancos de Dados Ativos, Anais do X Simpósio Brasileiro de Bancos de Dados, páginas Recife, outubro de ) G. Câmara et al, Anatomia de Sistemas de Informação Geográfica, Anais da X Escola de Computação. Campinas, julho de ) M. Liu. ACM, Deductive Database Languages: Problems and Solutions. Computing Surveys, vol. 31, num. 1, páginas 27-62, março de ) M. L. Campos, Data Warehouse. Anais do XV Simpósio Brasileiro de Bancos de Dados, páginas João Pessoa, outubro de ) A. Silberschatz, H. Korth, S. Sudarshan, Database Systems Concepts, McGraw-Hill, 4th edition, ) C. J. Date, Introduction to Database Systems, Addison-Wesley Publishing, 8th Edition, 2003.

9 9 MCC014 - Redes de Computadores Conceitos Básicos. Modelo de referência OSI/ISO. Topologias, meios e arquiteturas. Protocolos de enlace e de rede. Sistemas LAN/MAN: Ethernet, FDDI, LANs wireless, DQDB, X.25, Frame relay e ATM. Redes móveis. Aplicações Multimídias. Conceitos básicos de segurança em redes. 1) Kurose, J. F. Computer Networking A Top-Down Approach Featuring the Internet 2nd edition, ) Tanenbaum, A.S. Computer Networks 4th edition, Prentice-Hall, ) Chung, L. ATM Internetworking Prentice-Hall, ) Stallings, W. Local and Metropolitan Area Networks. Prentice Hall ) Redes de Computadores das LANS, MANS e WANS às Redes ATM Luiz Fernando Gomes Soares, Guido Lemos -- segunda edição editora Campus MCC015 - Computação Gráfica Características de fontes luminosas, processos de formação de cores, sistemas de cores independentes e dependentes de dispositivos, diagramas de cromaticidade, saturação e cores complementares; Tecnologias e formato de dados, dispositivos vetoriais e matriciais; Codificação e compressão de imagens, quantização de cores, formatos de arquivos de imagens; Algoritmos de rasterização de objetos 2D, segmentos de retas e arcos polígonos preenchidos, pattern, textura, recorte e seleção de linhas e polígonos; Programação em sistemas gráficos (e.g. MS Windows, OpenGL), objetos e eventos num ambiente de janelas, abstrações do processo de interação em um editor gráfico Transformações geométricas 2D, visualização de objetos virtuais, projeções e modelo de câmera, projeções clássicas e noções de algoritmos

10 10 de programação 3D; 1) Foley, J. D., Van Dam, A., Feiner, S. K., e Huhes, J. F., Computer Graphics: Principles and Practices, Addison-Wesley, Reading, 1990; 2) Rogers, D. F., Procedural Elements for Computer Graphics, McGraw-Hill International Editions, Computer Series, New York, 1985; 3) Watt, A., Watt M., Advanced Animation and Redering Techniques - Theory and Practice, Addison_Wesley Publishing Company, ACM Press, New York 1992; 4) Gomes, J.M., e Velho, L., Computação Gráfica: Imagem, Série de Computação em Informática, SBM, 1994; MCC016 - Inteligência Artificial Visão geral da Inteligência Artificial. Agentes Inteligentes e sistemas multiagentes. Estratégias de Busca e Resolução de Problemas. Processamento de Linguagem Natural. Representação do Conhecimento. Aprendizado. Sistemas Especialistas. Redes Neuronais Artificiais. 1) Russel, S., & Norvig, P., Artificial Intelligence: a Modern Approach, Englewood Cliffs: Prentice-Hall, Inc ) Turban, E., Expert Systems and Applied Artificial Intelligence, McMillan ) Dean., T., Allen J. and Aloimonos, Y, Artifcial Intelligence, Theory and Practice, Menlo Park: The Benjamin/Commings Pub. Co., ) Luger, G. & Stubblefiled, W., Artificial Intelligence: Structures and Strategies for Complex Problem Solving, Addison-Wesley, ) Haykin, S. Neural Networks: a Comprehensive Foundation, Macmillan College Publishing, 1994.

11 11 MCC017 - Sistemas Hipermídia Introdução: histórico, terminologia e problemas. Sistemas hipermídia da segunda geração. Modelos de hiperdocumentos. Modelagem de aplicações hipermídia. Especificação de documentos estruturados, estruturas hipertexto e estruturas multimídia. Construção de aplicações hipermídia na Web: Infra-estrutura de comunicação, Infra-estrutura de servidores, arquiteturas de aplicações, Ferramentas para manipulação de hiperdocumentos, aspectos de usabilidade. Estudo de caso. 1) CONKLIN, J. Hypertext: An Introduction and Survey. IEEE Computer, v. 20, n. 9, p , ) NIELSEN, J. Multimedia and Hypertext: The Internet and Beyond. Academic Press Professional, ) NIELSEN, J. Designing Web Usability : The Practice of Simplicity. New Riders Publishing, ) LOWE, D; HALL, W. Hypermedia and the Web: An Engineering Approach. John Wiley & Son, ) Artigos nas edições especiais sobre hipermídia na Communications of the ACM. 6) Anais das conferências da ACM sobre hipermídia desde Anais das conferências da SBC sobre hipermídia desde ) Especificações e recomendações do World-Wide Web Consortium ( 8) Steinmetz, Ralf e Nahrstedt, Klara Multimedia Fundamentals, Volume I: Media Coding and Content Processing (2nd Edition) MCC018 - Sistemas Distribuídos Fundamentos de Sistemas Distribuídos: caracterização de ambientes distribuídos, modelos de sistema, comunicação inter-processos, middleware e transparências de distribuição. Modelos de programação: chamada de procedimentos remotos, objetos distribuídos e chamada de métodos remotos, eventos e notificações, middleware orientado a mensagens, middleware baseado em componentes. Aspectos da implementação de middleware: representação comum de dados, interfaces remotas, referências de objetos, semântica de chamadas

12 12 remotas, protocolos de interação, localização de objetos (binders e serviços de nomes), ativação e re-ativação de objetos, tratamento de exceções, coleta de lixo distribuída. Algoritmos distribuídos: tempo e estados globais, e coordenação distribuída (exclusão mútua distribuída, eleição, consenso e multicast). Serviços de sistemas distribuídos: segurança, persistência, transações distribuídas, replicação e tolerância a falhas, e trading. Estudos de caso: sistemas de arquivos distribuídos, sistemas operacionais distribuídos, plataformas de middleware orientadas a objetos, plataformas de middleware orientadas a componentes. Tópicos avançados: sistemas multimídia distribuídos, middleware reflexivo e adaptativo, sistemas distribuídos em ambientes móveis. 1) Coulouris, G., J. Dollimore, and T. Kindberg, "Distributed Systems: Concept and Design", Addison-Wesley, ) Tanenbaum, A.S. and M. van Steen, "Distributed Systems: Principles and Paradigm", Prentice-Hall, ) Tanenbaum, A.S. Modern Operating Systems. 2nd ed, Prentice-Hall, ) Artigos selecionados de publicações (revistas e anais de conferências) relevantes para área (tais como: ACM SOSP, SIGOPS e OSR, IEEE DSOnline e TPDS, ACM/IFIP/USENIX Middleware, IEEE ICDCS e PDCS, e USENIX OSDI, HotOS e COOTS) MCC019 - Interface Homem-Computador Tipo de usuários. Estilos de interação. Emprego adequado de estilos. Dispositivos de interação. Projeto de interação. Técnicas de avaliação de design. Trabalho colaborativo suportado por computador (CSCW) 1) Ben Shneiderman, Designing the User Interface: Strategies for Effective Human-Computer Interaction, Third Edition, Addison-Wesley, 1998, 2) Jenny Preece et al, Human-Computer Interaction, Addison-Wesley, ) Dix, A., Finlay, J., Abowd, G., Beale, R., Human-Computer Interaction, Prentice Hall, Cambridge, ) Eberts, R. E., User Interface Design, Prentice Hall, New Jersey, 1994

13 13 MCC020 - Estudo Orientado Esta disciplina consiste num estudo individual ou em grupo, sob orientação do professor orientador, de tópicos complementares para a realização da dissertação final de mestrado. O conteúdo preciso do estudo deve ser definido em torno de uma proposta de trabalho que vise amadurecer o estudante para o desenvolvimento de suas atividades de dissertação, devendo girar em torno de tópicos que habilitem o estudante a se familiarizar com técnicas, ferramentas e teorias que lhe serão úteis na fase de elaboração da dissertação final de mestrado.