Mestrado em Ciência da Computação

2COP212

Algoritmos e Estruturas de Dados

4cr - 60h

2COP214

Processos Estocásticos

4cr - 60h

2COP313

Engenharia de Software

4cr - 60h

2COP382

Análise e Projeto de Algoritmos

4cr - 60h

2COP216

Estudo Dirigido I (orientador e aluno)

2cr - 30h

2COP217

Estudo Dirigido II (orientador e aluno)

2cr - 30h

2COP219

Redes de Computadores I

4cr - 60h

2COP220

Redes de Computadores II

4cr - 60h

2COP221

Gerência de Redes

4cr - 60h

2COP222

Segurança de Redes

4cr - 60h

2COP225

Programação Distribuída

4cr - 60h

2COP226

Tópicos Especiais em Redes

4cr - 60h

2COP229

Inteligência Computacional

4cr - 60h

2COP385

Gerenciamento de Projetos de Software

4cr - 60h

2COP493

Linguagens Formais e Autômatos

4cr - 60h

2COP494

Metodologia de Pesquisa em Computação

4cr - 60h

2COP495

Redes sem Fio

4cr - 60h

2COP496

Arquitetura de Computadores

4cr - 60h

2COP497

Compiladores

4cr - 60h

2COP498

Tópicos Especiais em Arquitetura e Linguagens de Programação

4cr - 60h

2COP499

Governança de TIC

4cr - 60h

2COP500

Bancos de Dados

4cr - 60h

2COP501

Bancos de Dados não Convencionais

4cr - 60h

2COP502

Processos Digital de Imagens

4cr - 60h

2COP503

Projeto de Interação Homem Computador

4cr - 60h

2COP504

Tópicos Especiais em Sistemas de Informação

4cr - 60h

2COP505

Tópicos Especiais em Processamento Gráfico

4cr - 60h

2COP506

Tópicos Especiais em Informática na Educação

4cr - 60h

2COP507

Reconhecimento de Padrões

4cr - 60h

2COP508

Verificação Formal e Teste Baseado em Modelos

4cr - 60h

2COP509

Processamento de Linguagem Natural

4cr - 60h

2COP510

Tópicos Especiais em Inteligência Computacional

4cr - 60h

2COP511

Tópicos Especiais em Algoritmos e Modelos Computacionais

4cr - 60h

2COP512

Seminários de Pesquisa em Computação

2cr - 30h

2COP237

Estágio de Docência na Graduação

2cr - 30h

2COP238

Dissertação I

10cr - 150h

2COP239

Dissertação II

10cr - 150h

2COP240

Dissertação III

15cr - 225h

2COP241

Dissertação IV

15cr - 225h

2COP212

Algoritmos e Estruturas de Dados

4cr - 60h

Projetos de algoritmos e estruturas de dados. Algoritmos de ordenação. Algoritmos em grafos. Medidas de complexidade de algoritmos no emprego de programação dinâmica, métodos de busca e ordenação. Análise de complexidade.

2COP214

Processos Estocásticos

4cr - 60h

Cadeias de Markov. Comunicação. Estados recorrentes e transitórios. Processos Estocásticos contínuos. Modelos de fila. Processos de Segunda ordem.

2COP216

Estudo Dirigido I (orientador e aluno)

2cr - 30h

Estudos dirigidos pelo orientador para o aluno com temas relacionados à pesquisa que está sendo realizada pelo aluno.

2COP217

Estudo Dirigido II (orientador e aluno)

2cr - 30h

Estudos dirigidos pelo orientador para o aluno com temas relacionados à pesquisa que está sendo realizada pelo aluno.

2COP219

Redes de Computadores I

4cr - 60h

Conceitos sobre Redes: Tendências e Impactos Sociais, Hardware, Software de redes. Modelo de referência OSI/ISO. Conceitos e principais protocolos sobre Nível físico, Enlace e Rede, transporte e aplicação. Redes Locais. Redes IP.

2COP220

Redes de Computadores II

4cr - 60h

Contextualizar ao aluno novas tecnologias que são introduzidas na Internet para torná-la uma rede de alto desempenho e com qualidade de serviço visando a integração de serviços de multimídias.

2COP221

Gerência de Redes

4cr - 60h

Proporcionar ao aluno conhecimentos sobre gerência e administração de redes de computadores, envolvendo Falhas, Configuração, Contabilização, Performance e Segurança e a utilização de ferramentas para auxiliar na gerência de redes.

2COP222

Segurança de Redes

4cr - 60h

Conceitos básicos em cifragem de dados. Criptografia clássica. Sistemas de chave pública. Assinatura Digital. Controle de Acesso. Segurança em redes locais de computadores. Segurança na Internet. Firewall. Falhas no TCP/IP.

2COP226

Tópicos Especiais em Redes I

4cr - 60h

Assuntos atuais e de interesse da comunidade cientifica relacionados a redes de computadores e comunicação de dados.

2COP229

Inteligência Computacional

4cr - 60h

Conceitos e definições de neurocomputação. Leis de aprendizagem. Redes Adaline, Madaline e Perceptron de Múltiplas Camadas. Aprendizagem por Retro-propagação. Rede de Kohonen, ART, RBF e similares. Redes de Hopfield e similares. Sistemas Fuzzy e algoritmos evolucionários.

2COP237

Estágio de Docência na Graduação

4cr - 60h

Participação em aulas de graduação, treinamento de estagiários de iniciação científica e outras atividades correlatas a critério e acompanhamento da Comissão Coordenadora, com supervisão do orientador e com a presença do professor responsável pela disciplina.

2COP313

Engenharia de Software

4cr - 60h

Introdução à Engenharia de Software. Processos de desenvolvimento de software. Estudo comparativo de metodologias de desenvolvimento de software. Qualidade de software.

2COP333

a }

2COP350

Tópicos Especiais

Créditos variáveis

2COP382

Análise e Projeto de Algoritmos

4cr - 60h

Estudo de complexidade de algoritmos. Projeto de Algoritmos. Algoritmos de ordenação e seleção. Algoritmos em Grafos. Método Guloso e Programação Dinâmica. Noções de intratabilidade: classes P, NP e NP-completa. Algoritmos aproximativos.

2COP385

Gerenciamento de Projetos de Software

4cr - 60h

Conceitos de Gerenciamento de Projetos de Software. Iniciação do projeto. Planejamento. Execução. Monitoramento e controle. Encerramento do projeto.

2COP493

Linguagens Formais e Autômatos

4cr - 60h

Modelos computacionais (finitos) usados para descrever linguagens (de computação) infinitas. Classes de linguagens. Modelos gramaticais e autômatos. Modelos específicos.

2COP494

Metodologia de Pesquisa em Computação

4cr - 60h

Estudo e desenvolvimento de trabalhos e projetos científicos relacionados a Ciência da Computação. A investigação científica em Ciência da Computação. Leitura e escrita científica. Revisão sistemática. O processo de elaboração de projetos de pesquisa e artigos científicos: a definição do problema, levantamento de hipóteses, escolha do método. Redação de projetos de pesquisa e artigos.

2COP495

Redes sem Fio

4cr - 60h

Conceitos de comunicação sem fio. Características do meio de transmissão sem fio. Propagação em larga escala. Propagação em pequena escala. Técnicas de diversidade. Espalhamento espectral (Spread Spectrum). Padrões IEEE para comunicação sem fio. Redes Ad Hoc. Redes de Sensores Sem Fio. Redes sem fio de baixa potência e longo alcance (LPWAN). Redes sem fio para Internet das Coisas. Padrões de redes para comunicação celular. Noções de análise e planejamento de redes Wi-Fi.

2COP496

Arquitetura de Computadores

4cr - 60h

Medidas e avaliação de Desempenho. Aritmética para computadores. Unidade aritmética e lógica. Datapath e controle. Pipeline. Hierarquiade memória. Multiprocessadores.

2COP497

Compiladores

4cr - 60h

Organização e estrutura de compiladores e interpretadores. Análise léxica. Análise sintática ascendente (precedência simples, precedência de operadores e LR(K)). Análise sintática descendente (análise descendente com e sem retrocesso, analisador descendente recursivo, LL(K) e diagramas sintáticos). Ações semânticas. Construção de um compilador.

2COP498

Tópicos Especiais em Arquitetura e Linguagens de Programação

4cr - 60h

Assuntos atuais e de interesse da comunidade científica relacionados a Arquitetura e Linguagens de Programação.

2COP499

Governança de TIC

4cr - 60h

Conceitos de Governança de TIC. Governança corporativa vs. Governança de TIC. Planejamento estratégico de TIC. Frameworks de Governança.

2COP500

Bancos de Dados

4cr - 60h

Introdução aos sistemas de bancos de dados. Modelos de dados e técnicas de projeto de bancos de dados. Arquiteturas de bancos de dados, organização e indexação de dados, processamento de consultas e processamento de transações. Aplicações e tópicos de pesquisa em bancos de dados.

2COP501

Bancos de Dados não convencionais

4cr - 60h

Estruturação e recuperação de dados em bancos de dados não convencionais. Bancos de dados orientados a objetos e objeto-relacionais. Bancos de dados geográficos. Bancos de dados temporais e espaço-temporais. Bancos de dados multimídia. Bancos de dados semi-estruturados e XML. Outros modelos de bancos de dados. Aplicações e tópicos de pesquisa.

2COP502

Processos Digital de Imagens

4cr - 60h

Conceitos de processamento digital de imagens. Estrutura de um sistema de processamento de imagens. Sistemas de cores, operações lógicas e aritméticas, histograma, filtragens espaciais, preenchimento de regiões, traçador de contornos, transformações (rotação escala e rotação). Imagens em estéreo. Transformada de Fourier e suas propriedades. Filtragens. Processamento morfológico de imagens. Representação e descrição. Restauração de imagens. Segmentação de Imagens. Reconhecimento de objetos e padrões.

2COP503

Projeto de Interação Homem Computador

4cr - 60h

Fundamentos teóricos em interação humano-computador. Histórico. Fatores humanos. Fatores psicológicos. Aspectos cognitivos. Ergonomia. Engenharia semiótica. Arquitetura da informação. Usabilidade e acessibilidade. Especificação e projeto de interfaces centrado no usuário. Avaliação de interfaces.

2COP504

Tópicos Especiais em Sistemas de Informação

4cr - 60h

Assuntos atuais e de interesse da comunidade científica relacionados a Sistemas de Informação.

2COP505

Tópicos Especiais em Processamento Gráfico

4cr - 60h

Assuntos atuais e de interesse da comunidade científica relacionados a Processamento Gráfico.

2COP506

Tópicos Especiais em Informática na Educação

4cr - 60h

Assuntos atuais e de interesse da comunidade científica relacionados a Informática na Educação.

2COP507

Reconhecimento de Padrões

4cr - 60h

Modelos lineares para classificação. Métodos de núcleo. Máquinas de agrupamento. Modelos de mistura e estimação-maximização. Inferência aproximada. Métodos de amostragem. Avaliação no domínio do tempo e frequência. Dados sequenciais. Descritores.

2COP508

Verificação Formal e Teste Baseado em Modelos

4cr - 60h

Teste de software. Teste funcional. Teste baseado em modelos. Modelos formais, semi-formais e não formais. Geração de dados de teste. Seleção de casos de teste. Cobertura de falhas. Aplicação de casos de teste e experimentos práticos. Ferramentas. Análise comparativa de técnicas.

2COP509

Processamento de Linguagem Natural

4cr - 60h

Linguagem Natural (LN) como Estilo de Interface. Problemas Linguísticos da LN. Dicionários. Análise Léxico-Morfológica. Gramáticas e Reconhecedores. Análise Sintática. Análise Semântica. Análise Pragmática.

2COP510

Tópicos Especiais em Inteligência Computacional

4cr - 60h

Assuntos atuais e de interesse da comunidade científica relacionados a Inteligência Computacional.

2COP511

Tópicos Especiais em Algoritmos e Modelos Computacionais

4cr - 60h

Assuntos atuais e de interesse da comunidade científica relacionados a Algoritmos e Modelos Computacionais.

2COP512

Seminários de Pesquisa em Computação

2cr - 30h

Série de seminários entre alunos, professores e convidados do curso para apresentação e discussão de trabalhos científicos.