Mestrado em Informática (Rio de Janeiro, Rio de Janeiro)

Disciplinas Obrigatórias Dissertação de Mestrado Exame de Proposta de Dissertação Todo aluno de Mestrado do Departamento deverá cursar um conjunto de disciplinas consideradas, em princípio, obrigatórias, definido pela Comissão de Pós-Graduação. Atualmente, este conjunto é composto pelas seguintes disciplinas: Nome da Disciplina Seminários Projeto Final de Programação Projeto e Análise de Algoritmos E por uma disciplina de base matemática, escolhida dentre as seguintes: Linguagens Formais e Autômatos Lógica e Especificação Computabilidade Análise Numérica I Geometria Computacional Mestrado e Doutorado Trabalhos individuais Disciplinas Eletivas Trabalhos Individuais em Engenharia de Software I Trabalhos Individuais em Engenharia de Software II Trabalhos Individuais em Engenharia de Software III Trabalho Individual em Engenharia de Software IV Trabalho Individual em Engenharia de Software V Trabalho Individual em Engenharia de Software VI Trabalhos Individuais em Matemática Aplicada I Trabalhos Individuais em Matemática Aplicada II Trabalhos Individuais em Matemática Aplicada III Trabalhos Individuais em Teoria da Computação I Trabalhos Individuais em Teoria da Computação II Trabalhos Individuais em Teoria da Computação III Trabalhos Individuais em Sistemas de Computação I Trabalhos Individuais em Sistemas de Computação II Trabalhos Individuais em Sistemas de Computação III Pesquisa de Tese de Doutorado I (1) Pesquisa de Tese de Doutorado II (1) Pesquisa de Tese de Doutorado III (1) Pesquisa de Tese de Doutorado IV (1) Estudo Orientado Trabalhos Individuais em Computação Gráfica I Trabalhos Individuais em Computação Gráfica II Trabalhos Individuais em Computação Gráfica III Trabalhos Individuais em Inteligência Artificial I Trabalhos Individuais em Inteligência Artificial II Trabalhos Individuais em Inteligência Artificial III Trabalhos Individuais em Banco de Dados I Trabalhos Individuais em Banco de Dados II Trabalhos Individuais em Banco de Dados III Trabalho Individual em Linguagens de Programação I Trabalho Individual em Linguagens de Programação II Trabalho Individual em Linguagens de Programação III Trabalho Individual em Algoritmos, Paralelismo e Otimização I Trabalho Individual em Algoritmos, Paralelismo e Otimização II Trabalho Individual em Algoritmos, Paralelismo e Otimização III (1) As disciplinas INF 2051/54 podem ser usadas para avaliar o desempenho do aluno na pesquisa para sua tese de doutorado; por essa razão, têm como pré-requisito INF 3004. Todavia, esse pré-requisito pode ser dispensado, a título excepcional, pela Comissão de Pós-Graduação do Departamento, mediante requerimento formal apresentado previamente pelo aluno. Disciplinas Eletivas de Conteúdo Variável Tópicos Especiais Tópicos de Engenharia de Software I Tópicos de Engenharia de Software II Tópicos de Engenharia de Software III Tópicos de Engenharia de Software IV Tópicos de Engenharia de Software V Tópicos de Engenharia de Software VI Tópicos de Matemática Aplicada I Tópicos de Matemática Aplicada II Tópicos de Matemática Aplicada III Tópicos de Banco de Dados I Tópicos de Banco de Dados II Tópicos de Banco de Dados III Tópicos da Teoria Computação I Tópicos da Teoria da Computação II Tópicos da Teoria Computação III Tópicos de Rede e Sistemas de Computação I Tópicos de Rede e Sistemas de Computação II Tópicos de Rede e Sistemas de Computação III Tópicos de Computação Gráfica I Tópicos de Computação Gráfica II Tópicos de Computação Gráfica III Tópicos de Inteligência Artificial I Tópicos de Inteligência Artificial II Tópicos de Inteligência Artificial III Tópicos de Linguagens do Programação I Tópicos de Linguagens do Programação II Tópicos de Linguagens do Programação III Tópicos de Algoritmos, Paralelismo e Otimização I Tópicos de Algoritmos, Paralelismo e Otimização II Tópicos de Algoritmos, Paralelismo e Otimização III Disciplinas Eletivas de Conteúdo Fixo Compiladores Linguagem de Programação I Linguagem de Programação II Laboratório de Programação Projeto de Sistemas de Software Especificação de Sistemas II Lógica Matemática Lógicas Não Clássicas Especificações Formais Construção de Sistemas de Gerência de Banco de Dados Bancos de Dados Distribuídos Banco de Dados Não Convencionais Análise do Métodos Variacionais Análise dos Métodos dos Elementos Finitos Software Numérico para Equações Diferenciais Métodos Numéricos para Equações Diferenciais Análise Numérica II Sistemas de Computação I Sistemas de Computação II Redes de Computadores Modelagem e Simulação Discreta de Sistemas Fundamentos de Sistemas Multimídia Engenharia de Redes O Desenvolvimento de Aplicações Distribuídas Computação Gráfica Interativa Modelagem e Gerência de Interfaces com o Usuário Síntese de Imagens Realistas CAD Inteligente Animação por Computador Inteligência Artificial I Inteligência Artificial II Linguística Computacional Interativa