Ementas

Administração e Integração de Sistemas

Sistema UNIX para o administrador de sistemas; aspectos básicos de redes TCP/IP; administração de redes TCP/IP; sistemas de arquivos distribuídos; NIS; NFS; automounter; DNS; segurança de informações; acesso seguro à Internet; "firewalls".

(Ref.: (1) Evi Nmeth et. al. The System Administration Handbook, 2nd. edition, 1995, Prentice Hall. (2) Aelen Frisch. Essential System Administration, 2nd edition, O'Reilly and Associates, 1996. (3) Brent Chapman et. al. Building Internet Firewalls, O'Reilly and Associates, 1995.)

Álgebra e Semântica de Processos Concorrentes

Modelos algébricos de concorrência : CCS, pi-calculo. Semântica operacional estilo "Plotkin" . Semântica denotacional; bisimulação; congruência; cálculos de ações.

(Ref.: (1) Comunication and Concurrency, R. Milner, Prentice-Hall, 1989. (2) Algebraic Theory of Processes, MIT Press, 1988)

Algoritmos de Aproximação em Grafos

Algoritmos de Aproximação em Geral (Scheduling, Bin-Packing, Set Cover, etc); Cobertura de Vértices e problemas relacionados; O método primal-dual; dividir para conquistar; Algoritmos para conectividade de vértices e de arestas; Limites Inferiores para Aproximação.

(Ref.: DORIT HOCHBAUM (editor); "Approximation Algorithms for NP-hard Problems"; PWS Publishing Co.; 1996.)

Algoritmos I

Noções de Complexidade Concreta. Estruturas de Dados Avançadas. Ordenação e Pesquisa em Memória. Paradigmas de Programação: Guloso, Programação dinâmica, etc.. Classes de complexidade: problemas tratáveis vs. intratáveis. Diferentes abordagens para problemas NP-completos.

(Ref.: (1) Udi Manber. Introduction to Algorithms - A Creative Approach; Addison-Wesley Publ. Co., 1989. (2) Nivio Ziviani; Projeto de Algoritmos com Implementações em Pascal e C; Livraria Pioneira Editora; 1993.)

Algoritmos II

Casamento de padrões em seqüências; Algoritmos Paralelos; Conceitos de NP-completude; Redução Polinomial; Abordagens para problemas NP-completos: Algoritmos de Aproximação, Randômicos, e Pseudo-polinomiais.

(Ref.: T. Cormen, C. Leiserson, and R. Rivest. "Introduction to Algorithms"; McGraw Hill Book Co., 1990)

Algoritmos para Processamento de Cadeias

Algoritmos Básicos para String Matching (Rabin_karp, KMP, Boyer-Moore) e variações; Árvore de Sufixos; Abordagem por Autômatos; Identificação de Repetições; String Matching Aproximado.

(Ref.: M. CROCHEMORE and W. RYTTER; "Text Algorithms"; Oxford University Press; 1995.)

Ambientes para Desenvolvimento de Software

Introdução: Revisão sobre Engenharia de Software, O que são Ferramentas Ambientes CASE?, Motivação, Histórico, Vantagens, Classificação, Requisitos de uma Ferramenta CASE. Ferramentas de Suporte a Captura de Requisitos. Desenvolvimento Formal de Software Assistido por Computador. Ambientes de Suporte a Linguagens. Principais Áreas de Desenvolvimento: Integração, Modelos de Referência, Interfaces Públicas, Seleção e Avaliação.

(Ref.: (1) Susan A. Dart et. al. Software Development Environments. IEEE Computer, November 1987. (2) Tom Flecher and Jim Hunt. Software Engineering and CASE: Bridging the Culture Gap. McGraw-Hill, 1993. (3) J. A. McDermid (Editor). Software Engineer's Reference Book. Butterworth-Heinmann, 1991. (4) Roger S. Pressman. Software Engineering: a Practitioner's Approach. McGraw-Hill, 3rd edition, 1992. (5) Ian Sommerville. Software Engineering. Addison-Wesley, 5th edition, 1995.)

Aplicações de Computação Inteligente

Aplicações da Abordagem Simbólica: Sistemas Especialistas; Processamento de Linguagens Naturais; Outras Aplicações. Aplicações da Abordagem Conexionista (Redes Neurais): Aproximação de Funções; Reconhecimento de Padrões; Processamento de Imagens; Previsão e Controle; Outras Aplicações. Aplicações da Abordagem Estatística: Reconhecimento de Padrões; Processamento de Imagens; Outras Aplicações.

(Ref.: (1) Elaine Rich & Kevin Knight. Inteligência Artificial. Segunda edição, Makron Books. 1993. (2) Adam Hilger. Neural Computing: An Introduction. Beale & Jackson, 1991. (3) Simon Haykin. Neural Networks : A Comprehensive Foundation, Macmillan College Publishing,1994. (4) Anil K. Jain. Fundamentals of digital image processing.

Arquitetura de Computadores

Evolução das máquinas: Histórico, CISC, RISC; Istruções de Acesso a Memória, Pipeline: Hazards de dados, Hazards de controle, Conflitos de Recursos; Processadores avançados: Superpipeline, Superescalar, VLIW; Hierarquia de Memória: memória cache, memória virtual; Multiprocessadores.

(Ref.: J. Hennessy and J. Patterson: "Computer Architecture a Quantitative Approach", Morgan Kaufmann Publishers, 1994.)

Arquiteturas Avançadas

Classificação x Modelos de máquinas paralelas: Processadores Vetoriais, Multiprocessadores, Multicomputadores; Suporte de hardware e de software para multiprogramação: Memória virtual, Processo, Thread; Suporte hardware e de software para multiprocessamento: Rede de Interconexão, Modelo de Programação, Organização de memória principal, Organização de memória cache.

(Ref.: Stone, H.S.,:``High-Performance Computer Architecture'', Addison-Wesley Publishing Company, 1990. (2) Baron R. J. and Higbie L.,: "Computer Architecture", Addison Wesley, 1992.)

Automação do Projeto de Sistemas Digitais

Conceitos Básicos de Circuitos Digitais: Famílias Lógicas, Estilos de projeto; Mecanismos de especificação e simulação; Linguagens de descrição de hardware; Síntese de alto-nível; Síntese Lógica; Síntese de Layout; Técnicas de Validação; Hardware/Software Codesign.

(Ref.: (1) P. Michel, U. Lauther, and P. Duzy: "The synthesis Approach to Digital System Design", Kluwer Academic Publishers,1992. (2) D. Perry: "VHDL (Computer Hardware Description Language", Mc Graw Hill.Inc, 1993.)

Avaliação de Desempenho de Redes

Revisão de Teoria das Filas. Nível de Enlace: estratégias de retransmissão . Nível de Rede: controle de fluxo, controle de congestionamento, roteamento. Projeto Topológico. Redes de acesso aleatório. Redes Locais: estudo comparativo.

(Ref.: (1) SCHWARTZ, M., Telecommunication Networks: Protocols, Modeling and Analysis}, Addison-Wesley, 1987. (2) BERTSEKAS, D. and GALLAGER, R., Data Networks, Prentice-Hall, 1987. (3) KLEINROCK, L., Queueing Systems - Volume 2: Computer Applications, Wiley-Interscience, 1976.)

Avaliação de Desempenho de Sistemas

Técnicas de Avaliação de Desempenho; Medidas de Desempenho; Técnicas de Medição; Cargas de Trabalho; Modelos de Regressão; Projeto Experimental; Simulação; Teoria das Filas; Redes de Filas.

(Ref.: (1) Raj Jain. The Art of Computer Systems Performance Analysis, Wiley, 1991. (2) Luiz Fernando G. Soares. Modelagem e Simulação Discreta de Sistemas, Campus, 1992. (3) L. Kleinrock: Queueing Systems, vol. 1. John Wiley, 1976. (4) Lavenberg, S.S. (Ed.). Computer Performance Modeling Handbook. Academic Press, 1983.)

Banco de Dados

Conceitos Básicos. Arquitetura de Sistemas de Gerenciamento de Banco de Dados (SGBD). Evolução dos modelos de dados. Linguagens de consulta. Aspectos operacionais de SGBD.

(Ref.: (1) Elmasri, Navathe: Fundamentals of Database Systems, The Benjamim/Cummings Publishing Company, 1994. (2) Korth, Silberschatz: Sistemas de Banco de Dados, McGrawHill, 1994)

Banco de Dados Distribuídos

Introdução à distribuição. Banco de dados e SGBD distribuídos. Arquitetura de BD distribuído/cliente-servidor. Projeto de BD distribuído/cliente-servidor. Planejamento/migração de/para arquitetura cliente-servidor. Implementações e aplicações em BD distribuído/cliente-servidor.

(Ref.: Ozsu, M., Valduriez P.: Principles of Distributed Database Systems, Prentice-Hall, 1991)

Banco de Dados Não Convencionais

Conceitos de orientação a objetos. Banco de dados orientados a objetos. SGBD orientados a objetos. Conceitos de BD espaciais, dedutivos e científicos. Aplicações não convencionais: multimídia, geográficas ou outras.

(Ref.: (1) Kim, W.: Modern Databases, Addison-Wesley Pub. Co., 1995. (2) Elmasri, Navathe: Fundamentals of Database Systems, The Benjamim/Cummings Publishing Company, 1994. (3) Salgado, A. C., Fonseca, D., Albuquerque, E. , Meira,S.: Sistemas Hipermídia: Hipertexto e Banco de Dados, VIII Escola de Computação, Gramado, 1992)

Compilação de Linguagens Funcionais

Lambda cálculo, Compilação de Casamento de Padrões e Compreensões, Inferência de Tipos, Combinadores, Coleta de Lixo, Redução de Grafos, Otimizações, Compilação de Programas Paralelos e/ou Concorrentes.

(Ref.: Simon Peyton Jones, The Implementation of Functional Programming Languages, Prentice Hall, 1987.)

Computabilidade de Máquinas Inteligentes

Computabilidade e Complexidade, Teoria de Autômatos, Problemas de Decisão, Teoria da Aprendizagem Computacional, VC Dimension e Generalização, Redes Neurais, Propriedades Matemáticas, Aplicações.

(Ref.: (1) Max Garzon. Models of Masive Parallelism - analysis of cellular automata and neural networks. Springer, Texts in Theoretical Computer Science, EATCS. 1995. (2) Martin Anthony e Norman Biggs Computational Learning Theory Cambridge University Press, Cambridge, UK 1992.)

Computabilidade e Lógica

Preliminares matemáticos: conjuntos livremente gerados; ordens parciais; enumerabilidade. Lógica proposicional: sintaxe; semântica; valoração; satisfatibilidade; compaccidade; tabela-verdade; problemas NP; máquinas de Turing. Lógica de primeira ordem: sintaxe (termos; substituição); semântica (estruturas; modelos; interpretações); compaccidade; métodos de refutação (teorema de Herbrand). Teorias axiomáticas de 1^a. ordem: aritmética de Peano; funções recursivas; axiomática de Zermelo-Fraenkel. Teorema da incompletude. Máquina de Turing universal. Indecidibilidade.

(Ref.: 1. Logic for Computer Science, J. Gallier; 2. Notes on logic and set theory, P. Johnstone; 3. Computability and Logic, Jeffrey & Boolos)

Engenharia de Requisitos

Técnicas de especificação de requisitos; Expressividade e formalidade das linguagens de especificação de requisitos. O processo da engenharia de requisitos; Problem Frames.

(Ref.: (1) Peris Loucopolos and Vassilios Karakostas. System Requirements Engineering,. The McGraw-Hill International Series in Software Engineering, 1995. (2) Donald C. Gause and Gerald M. Weinberg. Exploring Requirements - Quality Before Design, Dorset House Publishing, 1989. (3) Michael Jackson, Software Requirements & Specifications: a lexicon of practice, principles and prejudices, Addison-Wesley, 1995. (4) Alan M. Davis, Software Requirements Revision: Objects, Functions, & States, , P T R Prentice Hall, 1993.)

Engenharia de Software

Processos de desenvolvimento de software. Métricas e qualidade de software. Gerência de projetos. Análise, especificação de requisitos e projeto de sistemas. Documentação, testes e manutenção de software. Ambientes de desenvolvimento de software.

(Ref.: (1) Roger Pressman. Software Engineering-A practitioner's approach. McGraw Hill, 1994. (2) Ian Sommerville. Software Engineering. Addison-Wesley, 1992. (3) Watts S. Humphrey. Managing The Software Process. Addison-Wesley, 1994.)

Especificação e Projeto de Sistemas

Classificação de linguagens e métodos de especificação, uma linguagem de especificação baseada em modelos, método de desenvolvimento de programas e protótipos (refinamento) a partir de especificações baseadas em modelos, uma linguagem algébrica para especificação e prototipagem, aspectos de semântica, refinamento, prova e computação da linguagem algébrica, relação entre a linguagem algébrica e a baseada em modelos.

(Ref.: (1) J.C.P. Woodcock & J. Davies. Using Standard Z: Specification, Refinement and Proof. Prentice Hall International, 1996. (2) Joseph Goguen, Timothy Winkler, Jose Meseguer, Kokichi Futatsugi and Jean-Pierre Jouannaud. Introducing OBJ. (3) Joseph Goguen. Theorem Proving and Algebra. Lecture Notes. Oxford University Computing Laboratory, 1995.)

Especificação de Sistemas Distribuídos

Introdução. Técnicas de Descrição Formal ( LOTOS, Estelle e SDL ). Metodologias para Projeto de Sistemas Distribuídos. Estilos de Especificação. Estratégias de Transformação. Teste e Verificação. Modelos de Pré-Implementação. Implementação. Aplicações. Semântica Arquitetural do RM-ODP.

(Ref.: (1) BOLOGNESI, T., LAGEMAAT, J.v.d, e VISSERS, C. A., LOTOSphere: Software Development with LOTOS, Kluwer Academic Publishers, 1994. (2) TURNER, K. J., Using Formal Description Techniques - An Introduction to Estelle, LOTOS and SDL, Wiley, 1993. (3) ISO/IEC/JTC1/SC21/WG7, ISO 10746-4, Reference Model of Open Distributed Processing Part 4 - Architectural Semantic, Helsink, Finland, 1995. (4) van EIJK, P. H., VISSERS, C. A., DIAZ M., The Formal Description Technique LOTOS, Elsevier Science Publishers B.V.,1989. (5) DIAZ, M., ANSART, J. P., COURTIAT, J.P., AZEMA, P., CHARI, V., The Formal Description Technique ESTELLE. North-Holland,1989. (6) Anais das Conferências: Formal Description Techniques (FORTE), Protocol Specification, Testing and Verification (PSTV) e Formal Methods on Object Oriented Distributed Systems (FMOODS))

Gerenciamento de Redes

Introdução. Monitoração. Controle. O protocolo SNMPv1. As bases de dados MIB. Os protocolos RMON e RMON2. Aspectos de segurança. O protocolo SNMPv2. Os protocolos CMIS e CMIP (opcional). Gerenciamento de Redes de Telecomunicações (TMN). Gerenciamento de Qualidade de Serviço.

(Ref.: (1) William Stallings. SNMP, SNMPv2, and RMON: the practical guide to network-management standards, Second Edition. Addison-Wesley, 1996. (2) William Stallings. SNMP, SNMPv2, and CMIP: the practical guide to network-management standards. Addison-Wesley, 1993.)

Lógica e Língua Natural

Gramatica Categorical (Adjukiewicz); o cálculo de Lambek; "parsing-as-deduction". Semântica estilo "Montague"; modelos de Kripke; lógica intensional. Semântica de Situações. Lógica de Predicados Dinâmica; teoria da representação do discurso.

(Ref.: (1) Categorical Investigations, M. Moortgat, Foris, 1988. (2) Formal Philosophy: Selected Papers of Richard Montague edited by R. Montague, Yale Univ. Press, 1974. (3) The Situation in Logic, J. Barwise, CSLI Stanford, 1989. (4) From Discourse to Logic, H. Kamp & U. Reyle, Kluwer, 1993.)

Lógica Matemática

Lógica de primeira ordem: estruturas; modelos; interpretações; compaccidade. Cálculo de Sequentes; teorema da eliminação do corte. Teoremas de Lowenheim-Skolem. Completude via Henkin. Conjuntos de Hintikka. Axiomática de Zermelo-Fraenkel; axiomática de Peano; funções recursivas. Teorema da Incompletude. Teorias Indecidíveis.

(Ref.: (1) W. Hodges. Model Theory, Cambridge University Press, 1993. (2) C. Chang & H.J. Keisler. Model Theory, Third Edition, North-Holland, 1990. (3) J.-Y. Girard. Proof Theory and Logical Complexity (Vol. I), Bibliopolis, 1987.)

Métodos em Computação Inteligente

Paradigmas de Computação Inteligente. Computação Inteligente Simbólica: Busca Heurística; Representação do Conhecimento; Planejamento; Aprendizagem Simbólica. Redes Neurais: Conceitos Básicos; Neurônio Artificial; Arquiteturas e Paradigmas de Aprendizagem. Computação Inteligente Estatística: Raciocino Estatístico; Aprendizagem Estatística.

(Ref.: (1) Elaine Rich & Kevin Knight. Inteligência Artificial. Segunda edição, Makron Books. 1993. (2) Adam Hilger. Neural Computing: An Introduction. Beale & Jackson, 1991. (3) Simon Haykin. Neural Networks : A Comprehensive Foundation, Macmillan College Publishing,1994. (4) Leo Breiman. Statistics with a view towards applications.)

Paradigmas de Linguagens de Programação

Conceitos básicos de linguagens de programação: valores, expressões, armazenamento, ligação estática e dinâmica, abstração, encapsulamento, sistemas de tipos. Conceitos de orientação a objetos: objetos, classes, subtipos, herança. Visão geral dos paradigmas imperativo, lógico, funcional, e orientado a objetos. Integração de paradigmas.

(Ref.: (1) David Watt. Programming Language Concepts and Paradigms. Prentice Hall International, 1990. (2) Richard Bird e Philip Wadler. Introduction to Functional Programming. Prentice Hall International, 1988. (3) Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall International, 1988.)

Processamento de Imagens

Realce de imagens. Algoritmos de transformação de imagens. Algoritmos de filtragem de imagens: métodos lineares e não lineares. Compressão de imagens. Algoritmos de detecção de bordas. Segmentação e descrição de forma. Definição e implementação de um projeto.

(Ref.: (1) G. J. F. Banon e J. Barrera. Bases da morfologia matemática para a análise de imagens binárias. IX Escola de Computação. Recife, PE, 1994. (2) A. K. Jain. Fundamentals of digital image processing. Prentice-Hall International Editions, Englewood Cliffs, NJ, 1989. (3) B. Jänne. Digital image processing: concepts, algorithms, and scientific applications. Springer-Verlag, Berlin, 3rd edition, 1995. (4) I. Pitas. Digital image processing algorithms. Prentice Hall, 1993. (5) I. Pitas e A. N. Venetsanopoulos. Nonlinear digital filters. Kluwer Academic Publishers, 1990.)

Processamento de Linguagem Natural

Noções Básicas de Linguística. Níveis de Processamento em Sistemas de PLN. Intrepretação de Linguagem Natural: Processamento Sintático; Interpretação Semântica; Interpretação Pragmática; Processamento do Discurso. Geração de Linguagem Natural.

(Ref.: (1) James Allen. Natural Language Understanding. Benjamin/Cummings Pub. Co., 2nd. Ed., 1994. (2) G. Gazdar & C. Mellish. Natural Language Processing in PROLOG: An Introduction to Computational Linguistics. Addison-Wesley Pub. Co., 1989. (3) Grosz, Jones & Webber. Readings in Natural Language Processing. Morgan Kaufmann, Los Altos (CA), 1986. (4) McKeown & Swartout. Language generation and explanation'. The Annual Review of Computer Science, vol. 2, 1987.)

Processamento do Conhecimento

Informação e Conhecimento, Abstração; Instanciação e Mapeamento da Informação, Informação como Energia, Evolução da Informação, Consciência e Individualidade, Aplicações.

(Ref.: (1) Luc Clayes, Behavior of Information. http://www.club.innet.be/~claeys/boi/boi.html (2) C.H. Waddington, Instrumental para o Pensamento. Editora da Universidade de São Paulo, 1979. (3) David J. Chalmers. A Computational Foundation for the Study of Cognition, Department of Philosophy, Washington University, 1994)

Programação Paralela

Arquiteturas Paralelas, SIMD, MIMD, Linguagens de Programação Paralelas, Algoritmos Paralelos, MPI, PVM.

(Ref.: (1) Michael J. Quinn, Parallel Computing Theory and Practice, McGraw Hill, 1994. (2) Jan Foster, Designing and Building Parallel Programs, Addison-Wesley, 1995.)

Projeto de Administração e Integração de Sistemas

Projeto e desenvolvimento de métodos, técnicas e ferramentas para administração de sistemas, monitoração e controle de recursos e serviços, segurança e controle de acesso e gerenciamento de redes heterogêneas de computadores.

Projeto Conceitual de Banco de Dados

Noções básicas de modelagem. Modelo Entidade/Relacionamento. Evolução de metodologias de projeto. Ciclo de vida. Metodologia de análise e projeto orientado a objetos. Ferramentas CASE. Aplicações.

(Ref.: Batini, Ceri, Navathe : Conceptual Database Design. An Entity-Relationship Approach, The Benjamim/Cummings Publishing Company, 1992)

Prototipação de Circuitos Digitais

Conceitos Básicos; Famílias Lógicas; Estilos de implementação: Full-custom, Standard-cell, Gate-array, FPGA; Linguagens de Descrição de Hardware: VHDL; Projeto de um circuito em VHDL; Síntese do circuito projetado; Implementação de um circuito em diferentes estilos; Geração de Lay-out e protótipo em FPGA.

(Ref.: (1) R. Katz: "Contemporary Logic Design", Benjamim Cimmungs, 1994. (2) J. V. Oldfield and R. C. Dorf: "Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems", Wiley Interscience; 1995.)

Redes de Alta Velocidade

Introdução. Fibra óptica. Introdução à comutação de células. Modo de transferência assíncrono (ATM). Comutação de pacotes em alta velocidade. Aplicações de alta velocidade. Arquitetura de máquinas para altas velocidades. Moldagem de tráfego. Garantias de desempenho. Roteamento de estabelecimento de fluxo. O estado da arte em redes de alta velocidade.

(Ref.: (1) Craig Partridge. Gigabit Networking. Addison-Wesley, 1993. (2) Martin de Prycker. Asynchronous Transfer Mode Solution for Broadband ISDN. Prentice-Hall, 1995.)

Redes de Computadores

Introdução. A camada física. A camada de enlace de dados. A subcamada de acesso ao meio. A camada de rede. A camada de transporte. A camada de aplicações.

(Ref.: Andrew S. Tanenbaum. Computer Networks, Third Edition. Prentice-Hall, 1996.)

Redes Neurais

Introdução. Paradigmas de Aprendizagem. Modelos de Redes Neurais. Implementação de Redes Neurais. Projeto de Redes Neurais. Aplicações. Implementação de um Projeto.

(Ref.: (1) Adam Hilger. Neural Computing: An Introduction. Beale & Jackson, 1991. (2) Simon Haykin. Neural Networks : A Comprehensive Foundation, Macmillan College Publishing,1994.)

Semântica de Linguagens de Programação

Descrições formais de linguagens de programação. Sintaxe, semântica e pragmática. Sintaxe concreta e sintaxe abstrata. Semântica operacional. Semântica operacional estrutural. Semântica natural (relacional). Semântica denotacional. Semântica algébrica. Semântica de ações.

(Ref.: (1) C. A. Gunter. Semantics of Programming Languages. The MIT Press, M. Garey and A. Meyer (editores), Foundations of Computing, 1992. (2) P. D. Mosses. Action Semantics. Cambridge University Press, 1992. (3) H. R. Nielson and F. Nielson. Semantics with Applications - A Formal Introduction. John Wiley & Sons, 1992. (4) D. A. Schmidt. Denotational Semantics, Allyn & Bacon, 1986. (5) D. A. Watt. Programming Language Syntax and Semantics. Prentice Hall, 1991. (6) M. Wirsing. Algebraic Specification. Handbook of Theoretical Computer Science, volume B, Elsevier, J. van Leeuwen (editor), pg. 675-788, 1990.)

Seminários

Palestras convidadas ou de alunos e professores do Programa sobre tópicos atuais da Ciência da Computação.

Sistemas de Informação

Fundamentos e Classificações de Sistemas de Informação. Sistemas de Informação Gerenciais. Sistemas de Apoio a Decisão. Estratégia Empresarial e Sistemas de Informação. Automação. Processos de Negócio e Sistemas de Informação. Qualidade, Segurança e Auditoria de Sistemas de Informação. A Área de Sistemas de Informação na Organicação.

(Ref. (1) Gray et all, Management of Information Systems, segunda edição, Organization, management and control of computer processing, Prentice-Hall, 1992. (2) Kroenke, D. & Hatch, R., Management Information Systems, terceira edição, McGraw-Hill, 1994.)

Sistemas Multimídia Distribuídos

Introdução: características, as diversas mídia, aplicações. Redes. Dispositivos multimídia. Gerenciamento de recursos. Sincronização. Gerenciamento de dados multimídia. Compressão de dados. Padrões.

(Ref.: (1) John Koegel Buford. Multimedia Systems. Addison-Wesley, 1994. (2) Ralf Steinmetz and Klara Nahrstedt. Multimedia: Computing, Communications and Applications. Prentice Hall, 1996. (3) François Fluckiger. Understanding Networked Multimedia. Prentice Hall, 1995.)

Sistemas Distribuídos

Introdução. Revisão de redes. Comunicação entre processos: cliente-servidor, grupos, RPC. Sistemas operacionais distribuídos. Sistemas de arquivos distribuídos. Coordenação: sincronização, relógios lógicos, distribuição. Replicação. Dados compartilhados. Controle de concorrência. Transações distribuídas. Recuperação e tolerância a falhas. Segurança. Memória compartilhada distribuída. Estudo de casos

(Ref.: (1) George Coulouris, Jean Dollimore e Tim Kindberg. Distributed Systems: Concepts and Design, Second Edition. Addison-Wesley, 1994. (2) Andrew S. Tanenbaum. Distributed Operating Systems. Prentice-Hall, 1995.)

Teoria das Categorias

Definição e exemplos de categorias; diagramas; morfismos monicos, epis, principais; subobjetos; construções universais; subobjeto classificador; funtores; transformações naturais; lema de Yoneda; limites e cones; adjunção; categorias indexadas.

(Ref.: (1). M. Barr & C. Wells, Category Theory for Computing Science, Prentice-Hall, 1991. (2) A. Asperti & G. Longo, Categories, Types and Structures: an introduction to category theory for the working computer scientist, The MIT Press,1991.)

Teoria dos Domínios

Ordens parciais; ponto fixo; cpo´s; domínios; continuidade. Construção de domínios e domínios-potência; topologia de Scott.

(Ref.: (1) Lectures on Demain Theory, G. Plotkin, Manuscript, 1985. (acessivel via ftp) (2) Introduction to Lattices and Order, B. Davey & H. Priestley, Cambridge University Press, 1990.)

Teoria dos Modelos

Estruturas; homomorfismos; parâmetros; diagramas; modelos canônicos; extensões elementares; redutos. Classificação de estruturas; definibilidade; eliminação de quantificadores. Teoremas de Skolem; equivalência via jogos. Compaccidadade; espaços de Stone; tipos. Modelos constuidos a partir de constantes; omissão de tipos; interpolação; teorema de Lindstrom. Ultraprodutos. Completude; saturação.

(Ref.: (1) Model Theory , W. Hodges, Cambridge University Press, 1993. (2) Model Theory, C. Chang && H.J. Keisler, Third Edition, North-Holland, 1990.)

Teoria da Prova

Dedução Natural estilo Gentzen-Prawitz; teorema de normalização. Calculo de Sequentes; semântica de Sch'utte; teorema da eliminação do corte. Interpretação Funcional de G'odel; teoria de tipos.

(Ref.: (1) Proof Theory and Logical Complexity (Vol. I), J. Y Girard, Bibliopolis, 1987. (2) Constructivism in Mathematics (Vol. II), ª S. Troelstra & D. van Dalen, North-Holland, 1988.)

Tópicos Avançados em Administração e Integração de Sistemas 1