Matriz Curricular Proposta - WWW2 - Udesc

LORIN, H. Introdução à Arquitetura e Organização de Computadores. Ed. Campus.LOURENÇO, A. C. Sistemas Numéricos e Álgebra Booleana. Editora Érica.MELO, M. O. Eletrônica Digital. Editora da UDESC. Florianópolis, 2002.Nome da Disciplina: Sistemas DistribuídosConceitos básicos de sistemas distribuídos (coordenação e sincronização de processos,exclusão mútua, difusão de mensagens); Paradigmas de linguagens de programaçãodistribuída; Técnicas de descrição de sistemas; Tolerância a Falhas; Sistemas OperacionaisDistribuídos; Ambientes de suporte ao desenvolvimento de sistemas distribuídos; Estudo decasos.BibliografiaCOULOURIS, G., DOLLIMORE, J., KINDBERG, T. Distributed Systems: Concepts andDesign. 3ª. ed., London - UK. Addison - Wesley e Pearson Education, 2001. ISBN:0201-61918-0.TANENBAUM, A. S., STEEN, van M. Distributed Systems: Principles and Paradigms.1ª ed., Prentice Hall, 2002. ISBN: 0-13-088893-1.WU, J. Distributed Systems Design. Florida - USA, CRC Press LLC, 1999. ISBN:0849331781.Nome da Disciplina: Sistemas OperacionaisIntrodução; Conceitos de processos e memória. Gerência de processo/processador.Comunicação entre processos. Alocação de recursos. Gerenciamento de memória:memóriavirtual, paginação, segmentação e swap. Sistemas de arquivos. Gerenciamento dedispositivos de entrada e saída.BibliografiaSILBERCHATZ, A., GALVIN, P. Sistemas Operacionais: conceitos. São Paulo: Pearson,2000.TANENBAUM, A.S. Sistemas Operacionais Modernos. Rio de Janeiro: Guanabara-Koogan.TANENBAUM, A.S.; WOODHULL, A.S. Sistemas Operacionais: Projeto eImplementação. 2ª ed. Porto Alegre: Bookman, 2000.Nome da Disciplina: Teoria da ComputaçãoHistórico e contextualização da Computação. Máquinas de Turing. Formalização do conceitode algoritmo. Problema da Parada. A Tese de Church-Turing. Indecidibilidade. Noções deRedutibilidade. Algoritmo/Máquina de Post. Algoritmo/Máquina de Markov. Máquina deRegistradores. Lambda Calculus. Teoria das funções recursivas. Relações entre os modelosde computabilidade e suas equivalências.BibliografiaHOPCROFT, J. E. e ULLMAN, J. D. Introduction to automata theory, languages andcomputation. Reading, Addison-Wesley, 1979.LEWIS, H. R. e PAPADIMITRION, C. H. Elementos de Teoria da Computação. 2ª ed.Porto Alegre, Bookman, 2004.SIPSER, M. Introduction to the Theory of Computation. PWS Publishing Company,1996.Nome da Disciplina: Teoria dos GrafosNoções básicas de grafos. Representação de grafos, grafos infinitos. Isomorfismo de grafos.Distâncias. Coloração. Grafos acíclicos e expansão de grafos em árvores. Planaridade.Problemas do caminho mínimo. Problemas Eulerianos e Hamiltonianos. Fluxo em redes.Algoritmos de Busca em Grafos. Introdução ao estudo de estruturas combinatórias.Bibliografia