Pré-requisito(s):

Ementa:

Bibliografia:

Pré-requisito(s):

Ementa: Proposições e predicados. Semântica de uma pequena linguagem imperativa. Desenvolvimento de programas. prova de programas linearmente funcionais.

Bibliografia:

Pré-requisito(s): <$>

Conceito de informações e dados. Níveis de informação de uma organização. Sistemas de informações baseados em computadores. Metodologia para identificar e elaborar sistemas de informação. Estudo de casos.

Bibliografia:

• <$>

Pré-requisito(s): Engenharia de Software I

Ementa:
A comunicação usuário-computador ( interatividade, importância, integração de software). Fatores humanos envolvidos em IU. Métodos de projetos de IU: prototipagem. Métodos de implementação. Sistemas de IU. Aplicações de IU.

Pré-requisito(s): Sistemas Operacionais I, Redes de Computadores I. <$>

Modems: Recomendação série-V do ITU-T; Controle de enlace de dados: controle de fluxo, ARQ; Protocolos de enlace de dados: BSC, HDLC, LAP-B; Técnicas de comutação: Comutação de circuito, de mensagem e de pacotes, datagrama e circuito virtual; Arquiteturas de Redes Locais: topologias, métodos de acesso, padronização IEEE802, LLC e MAC; FDDI; FDDI-II; FDDI-III; DQDB; Ligação Interredes: repetidores, pontes, switches, roteadores, hubs; Sistemas Operacionais de Rede: Arquitetura cliente-servidor e peer-to-peer, Novel/IPX, WFW/NetBEUI.

• William Stallings, "Data and Computer Communications - 4th Edition", MacMillan. <$>
• L.F.G. Soares e outros, "Redes de Computadores, Das LANs, MANs, WANs às Redes ATM", Editora Campus. <$>
• F. A. Montoro, "MODEM", Editora Érica. <$>
• <$>

Pré-requisito(s): Arquitetura e Organização de Computadores II.

Transformada de Laplace; Transformada de Fourrier; Representação de um sinal no domínio da frequência e do tempo; Evolução do Teleprocessamento; Capacidade do canal de comunicação; Modulação: Analógica-Analógica, Analógica-Digital, Digital-Analógica, Digital-Digital; Formatos de transmissão: paralelo e serial; Modos de Transmissão: simplex, half-duplex, ful-duplex; Código para deteção e correção de erros; Multiplexação: ATDM, STDM, Hierarquia Digital Pleisiócrona; Meios físicos de transmissão; Interfaces de nível físico; RS232, RS449/422/423, X.21.

• William Stallings, "Data and Computer Communications - 4th Edition", MacMillan. <$>
• L.F.G. Soares e outros, "Redes de Computadores, Das LANs, MANs, WANs às Redes ATM", Editora Campus. <$>
• <$>

Noções de teoria dos grafos. Problema de designação e transporte. Problemas de caminho mínimo. Problema de fluxo máximo.Problema de fluxo de custo mínimo. Algoritmo out-of-kilter.

Bibliografia:

• <$>

Pré-requisito(s): Algoritmos Numéricos I

Sistemas Lineares Esparsos: métodos diretos, métodos iterativos estacionários e não-estacionários. Sistemas Não-Lineares: método de Newton e variantes.

Bibliografia:

Numerical Methods for Engineers, Steven C. Chapra e Raymond P. Canale, Editora McGraw-Hill - 2ª Edição - 1990.

Métodos Numéricos - Para as Engenharias e Ciências Aplicadas, Cristina Cunha, UNICAMP - 1994.

Matrix Computation for Engineers and Scientistis, Alan Jennings, John Wiley & Sons - 1984

Pré-requisito(s): Probabilidade e Estatística.

Ementa:
A Idéia de Processos Estocásticos, Cadeia de Markov para Processos Discretos, A Equação de Chapmace-Kolmogorov, Distribuições Limites em cadeias de Markov, Cadeia de Markov com Parâmetros Contínuos, Processos de Nascimento e Morte, Modelos de Filas Baseados no Processo de Nascimento e Morte, Modelos de Filas com Disciplina de Prioridade, Rede de Filas, Simulação de Sistemas.

Leonard Kleinrock, "Queueing Systems, vols I/II", John Wiley. <$>

Pré-requisito(s): Algoritmos Numéricos I,Programação II

Ementa:
Solução Numérica de Equações Diferenciais Parciais: Método de Diferenças Finitas. Equações Parabólicas, Hiperbólicas e Elíticas. Método Explícito, Implícito, Crank-Nicolson e Direções Alternadas. Método das Características. Diferenças Finitas em coordenadas polares. Convergência, Estabilidade e Consistência

Bibliografia:

Numerical Solution of Partial Diferential Equations: Finite Difference Methods, Smith, G.D., Clarendon Press - 2ª Edição - 1978.

Applied Numerical Analysis, Curts F. Gerald e Patrick O. Wheatley, Editora John Wiley & Sons - 1991.

Pré-requisito(s): Algoritmos Numéricos I, Programação II

Ementa:
Solução Numérica de Equações Diferenciais Parciais: Método de Elementos Finitos. Método dos resíduos ponderados: funções contínuas. Funções contínuas por partes: método dos elementos finitos. Mapeamento e integração numérica. Aplicações clássicas.

Bibliografia:

Finite elements and approximation, O. C. Zienkiewicz e K. Morgan, Editora Wiley, 1993.

An introduction to the finite element method, J. N. Reddy, Editora McGraw-Hill, 1984.

The finite element method, O. C. Zienkiewicz e R. L. Taylor, vol. 1 e 2, Editora McGraw-Hill, 1989.

Finite element procedures, K.-J. Bathe, Editora Prentice-Hall, 1996.

Pré-requisito(s): Probabilidade e Estatística

Ementa:
Programação dinâmica. Modelos determinísticos de estoques. Modelos probabilísticos de estoques. Noções de modelos de filas.

Bibliografia:

• <$>.

INF ____ - Processamento de Conhecimento

Pré-requisito(s): <$>

Ementa:
<$>

Bibliografia:

• <$>

INF ____ - Computação Gráfica

Pré-requisito(s):

Introdução à computação gráfica e processamento digital de imagens

Ementa:
Dispositivos e primitivas de saída e entrada gráficas. Transformações bidimensionais e tridimensionais. Modelagem gráfica. Visualização 3D: modelos, projeções, eliminação de superfícies ocultas, iluminação.

Bibliografia:

• W. M. Newman, R. F. Sproull, "Principles of Interactive Computer Graphics", MacGraw-Hill, 1979.
• Hearn, D., Baker, M. P., "Computer Graphics", Prentice-Hall, 1995.
• Foley, J. D., Van Dam, A., "Fundamentals of Interactive Computer Graphics", Addison Wesley, 1984.

INF ____ - Programação Inteira

Pré-requisito(s): Programação Linear

Ementa:
Introdução à Programação Inteira, Métodos dos Planos de Cortes, Métodos Branch and Bound, Métodos de Enumeração Implícita.

Bibliografia:

• Nelson Maculan Filho, "Programação Linear Inteira", Publicação da COPPE/UFRJ.
• Harvey M. Salkin, "Integer Programming", Addison Wesley.
• Robert S. Garfinkel e George L. Nemhauser, "Integer Programming", John Wiley.

INF ___ - Programação não Linear

Pré-requisito(s): Cálculo III, Programação II

Ementa:
Modelos de programação não-linear. Condições de otimização. Conceito de algoritmo e sua convergência. Otimização não-linear irrestrita. Funções de penalidade e barreira. Métodos de direções viáveis.

Bibliografia:

• . <$>

INF ____ - Simulação

Pré-requisito(s): <$>

Ementa:
<$>

Bibliografia:

<$>

INF ___ - Compiladores II

Pré-requisito(s): Compiladores I

Ementa:
Especificação de linguagem de programação a nível sintático e semântico. Projeto e implementação de um tradutor.

Bibliografia:

<$>

Pré-requisito(s): <$>

Ementa:

Bibliografia:

INF ____ - Programação Estocástica

Pré-requisito(s): <$>

Ementa:
<$>

Bibliografia:

<$>

INF ____ - Tópicos Especiais em Processamento Paralelo I

Pré-requisito(s): Processamento Paralelo e Distribuído

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF____ - Tópicos Especiais em Processamento Paralelo II

Pré-requisito(s): Processamento Paralelo e Distribuído

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF____ - Tópicos Especiais em Processamento Paralelo III

Pré-requisito(s): Processamento Paralelo e Distribuído

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF____ - Tópicos Especiais em Processamento Paralelo IV

Pré-requisito(s): Processamento Paralelo e Distribuído

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF____ - Tópicos Especiais em Processamento Paralelo V

Pré-requisito(s): Processamento Paralelo e Distribuído

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF____ - Tópicos Especiais em Programação I

Pré-requisito(s): Programação III

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): Programação III

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Programação IV

Pré-requisito(s): Programação III

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Programação V

Pré-requisito(s): Programação III

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Sistemas Operacionais I

Pré-requisito(s): Sistemas Operacionais I

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Sistemas Operacionais II

Pré-requisito(s): Sistemas Operacionais I

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Sistemas Operacionais III

Pré-requisito(s): Sistemas Operacionais I

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Sistemas Operacionais IV

Pré-requisito(s): Sistemas Operacionais I

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Sistemas Operacionais V

Pré-requisito(s): Sistemas Operacionais I

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Arquitetura de Computadores I

Pré-requisito(s): Arquitetura e Organização de Computarores II

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Arquitetura de Computadores II

Pré-requisito(s): Arquitetura e Organização de Computarores II

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Arquitetura de Computadores IV

Pré-requisito(s): Arquitetura e Organização de Computarores II

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Arquitetura de Computadores V

Pré-requisito(s): Arquitetura e Organização de Computarores II

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): Introdução à computação gráfica e Processamento digital de Imagens

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Computação Gráfica II

Pré-requisito(s): Introdução à computação gráfica e Processamento digital de Imagens

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Computação Gráfica III

Pré-requisito(s): Introdução à computação gráfica e Processamento digital de Imagens

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Computação Gráfica IV

Pré-requisito(s): Introdução à computação gráfica e Processamento digital de Imagens

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Computação Gráfica V

Pré-requisito(s): Introdução à computação gráfica e Processamento digital de Imagens

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): Banco de Dados

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ____ - Tópicos Especiais em Banco de Dados II

Pré-requisito(s): Banco de Dados

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Banco de Dados III

Pré-requisito(s): Banco de Dados

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Banco de Dados IV

Pré-requisito(s): Banco de Dados

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Banco de Dados V

Pré-requisito(s): Banco de Dados

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Inteligência Artificial I

Pré-requisito(s):Inteligência artificial

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Inteligência Artificial II

Pré-requisito(s):Inteligência artificial

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Inteligência Artificial III

Pré-requisito(s):Inteligência artificial

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Inteligência Artificial IV

Pré-requisito(s):Inteligência artificial

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Inteligência Artificial V

Pré-requisito(s):Inteligência artificial

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Teoria da Computação I

Pré-requisito(s): Teoria da Computação, Aspectos Teóricos da Computação III, Linguagens Formais.

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Teoria da Computação II

Pré-requisito(s): Teoria da Computação, Aspectos Teóricos da Computação III, Linguagens Formais.

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Teoria da Computação III

Pré-requisito(s): Teoria da Computação, Aspectos Teóricos da Computação III, Linguagens Formais.

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Teoria da Computação IV

Pré-requisito(s): Teoria da Computação, Aspectos Teóricos da Computação III, Linguagens Formais.

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Teoria da Computação V

Pré-requisito(s): Teoria da Computação, Aspectos Teóricos da Computação III, Linguagens Formais.

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Lógica Simbólica I

Pré-requisito(s): Aspectos Teóricos da Computação III

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Lógica Simbólica II

Pré-requisito(s): Aspectos Teóricos da Computação III

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Lógica Simbólica III

Pré-requisito(s): Aspectos Teóricos da Computação III

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Lógica Simbólica IV

Pré-requisito(s): Aspectos Teóricos da Computação III

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Lógica Simbólica V

Pré-requisito(s): Aspectos Teóricos da Computação III

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Informática na Educação I

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Informática na Educação II

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Interface Com o Usuário I

Pré-requisito(s): Introdução à Interface com o Usuário, Multimidia e Realidade Virtual

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Interface Com o Usuário II

Pré-requisito(s): Introdução à Interface com o Usuário, Multimidia e Realidade Virtual

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Interface Com o Usuário III

Pré-requisito(s): Introdução à Interface com o Usuário, Multimidia e Realidade Virtual

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Interface Com o Usuário IV

Pré-requisito(s): Introdução à Interface com o Usuário, Multimidia e Realidade Virtual

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Interface Com o Usuário V

Pré-requisito(s): Introdução à Interface com o Usuário, Multimidia e Realidade Virtual

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): Introdução à Engenharia de Software

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Engenharia de Software II

Pré-requisito(s): Introdução à Engenharia de Software

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Engenharia de Software III

Pré-requisito(s): Introdução à Engenharia de Software

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Engenharia de Software IV

Pré-requisito(s): Introdução à Engenharia de Software

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Engenharia de Software V

Pré-requisito(s): Introdução à Engenharia de Software

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Otimização I

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Otimização III

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Otimização III

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Otimização IV

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Otimização V

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Software Básico II

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Software Básico III

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Software Básico IV

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ -Tópicos Especiais em Software Básico V

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Informática II

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Informática III

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Informática IV

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Informática V

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Especificações Formais II

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta.

INF ___ - Tópicos Especiais em Especificações Formais III

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta

INF ___ - Tópicos Especiais em Especificações Formais III

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta

INF ___ - Tópicos Especiais em Especificações Formais IV

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta

INF ___ - Tópicos Especiais em Especificações Formais V

Pré-requisito(s): <$>

Ementa:
Ementa a critério do professor.

Bibliografia:

de acordo com a ementa proposta

INF ___ - Arquitetura e Organização de Computadores III

Pré-requisito(s): Arquitetura e Organização de Computadores II.

Ementa:

Desempenho de computadores: tempo de execução de programas; I/O bound x CPU bound; arquiteturas Intel SX, DX, DX2, DX4; desempenho de barramentos, interfaces, controladores de vídeo e de disco (exemplo da arquitetura PC). RISC x CISC; exemplos de arquiteturas RISC - MIPS e SPARC. Arquiteturas pipelined. Arquiteturas Super escalares. Processamento de alto desempenho: Processadores Vetoriais; programação de máquinas vetoriais; Processadores Matriciais; Máquinas Multiprocessadas; programação de máquinas multiprocessadas. Introdução aos Sistemas Distribuídos.

Bibliografia:

• J. L. Hennessy, D. A. Paterson, "Computer Architecture - A Quantitative Approach", Morgan Kaufmann. .<$>

• E. S. T. Fernandes, A. D. Santos, "Arquiteturas Super Escalares, Detecção e Exploração de Paralelismo de Baixo Nível", IX Escola de Computação-UFRGS. .<$>

INF ___ - AspectosTeóricos da Computação IV
 

Carga Horária Semanal:	Teoria	Exercícios	Laboratório
	04	0	0

Carga Horária Semestral:	Horas	Créditos
	60	4

 

Pré-requisito(s): Não tem

Ementa:

Problemas recorrentes. Somas. Funções Inteiras. Coeficientes Binomiais. Números Especiais. Funções Geradoras. Revisão de Probabilidade Discreta. Comportamentos Assintóticos.

Bibliografia:

• BIBLIOGRAFIA A DEFINIR <$>

LET ___ - Inglês Instrumental A

Pré-requisito(s): Não tem.

Ementa:

Estratégia de leitura para compreensão e interpretação de textos acadêmicos em língua inglesa.

Bibliografia:

• A DEFINIR <$>

 

 
   

• abordar textos estritamente da área de computação;
• sugerir revistas da área de computação com texto de divulgação.

---

INF ___ - Laboratório de Redes de Computadores

Carga Horária Semanal:	Teoria	Exercícios	Laboratório
	0	0	2

Carga Horária Semestral:	Horas	Créditos
	30	02

Pré-requisito(s): Redes de Computadores II

Ementa:

Bibliografia:

---

INF ___ - Gerência de Projetos

Carga Horária Semanal:	Teoria	Exercícios	Laboratório
	4	0	0

Carga Horária Semestral:	Horas	Créditos
	60	04

Pré-requisito(s): <$>

Ementa: <$>

Bibliografia:<$>

 

 

 

(Lista de Optativas)          (página inicial)