Nome - PUC Minas

ANEXO I - REQUERIMENTO DE ENTRADA DE DISCIPLINA ISOLADA - 1o/2013
DADOS DO(A) CANDIDATO(A)
Nome: ________________________________________________________________________
Rua/Avenida: ___________________________________________________________________
Número: _________ Complemento: ___________ Bairro: ______________________________
Cidade:
__________________________________UF:________CEP:
_____________________
CPF: ____________________________________ Data Nascimento: _____/ _____ / _________
Tel. Residencial: ___________________
E-mail: ______________________________________
Tel. Comercial: ____________________
Tel. Celular: _______________________ ____________________________________________
Vem requerer sua inscrição em DISCIPLINA ISOLADA do Mestrado em Informática - PPGINF PUC Minas, na(s) disciplina(s) abaixo indicadas, no 1o / 2013 (marcar em ordem de prioridade,
pois será aceita apenas uma disciplina por semestre).
OPÇÃO
HORÁRIOS
1ª ( )
2ª ( )
Segunda-feira
Das 8h50min
às
12h20min
1ª ( )
2ª ( )
1ª ( )
2ª ( )
Segunda-feira
Das 8h50min
às
12h20min
Segunda-feira
Das 8h50min
às
12h20min
DISCIPLINAS/DESCRIÇÃO
Computação Móvel (60 horas)
Profa. Fátima de L. P. Figueiredo
Ementa: Principais problemas da computação móvel.
Características do meio físico. Protocolos de acesso ao meio.
Protocolos das camadas de rede e de transporte para redes em fio.
Redes infraestruturadas: localização de estações rádio e
computadores móveis, alocação de canais, protocolos de
comunicação, redes celulares de terceira geração. Redes móveis ad
hoc: protocolos de roteamento, redes de sensores sem fio.
Algoritmos Distribuídos para ambientes móveis.
Descoberta de Conhecimento em Bancos de Dados e Mineração
de Dados (60 horas)
Prof. Luis Enrique Zárate
Ementa: Conceitos Básicos sobre Descoberta de Conhecimento em
Banco de Dados (KDD) e Mineração de Dados (Data Mining). Tipos
de Data Mining. Metodologia para a Descoberta de Conhecimento
em Banco de Dados. Preparação de Dados. Tipos de Variáveis.
Tipos de Escalas. Transformação de Dados e Normalização.
Principais Técnicas de Data Mining: Árvores e Regras de Decisão,
Regras de Associação e Clusterização
Engenharia de Software (60 horas)
Prof. Humberto Torres Marques Neto
Ementa: Conceitos. Processos de desenvolvimento de software.
Ambientes de Engenharia de Software. Normas e Padrões. Métodos
orientados a objetos para análise e desenho. Qualidade de Software.
Gerência de configuração e versão de software. Técnica de teste de
software. Técnicas de planejamento e gerenciamento de projetos de
desenvolvimento de software.
1ª ( )
2ª ( )
1ª ( )
2ª ( )
1ª ( )
2ª ( )
1ª ( )
2ª ( )
1ª ( )
2ª ( )
1ª ( )
2ª ( )
Terça-feira
Das 8h50min
às
12h20min
Segunda-feira
Das 8h50min
às
12h20min
Segunda-feira
Das 8h50min
às
12h20min
Segunda-feira
Das 8h50min
às
12h20min
Segunda-feira
Das 8h50min
às
12h20min
Segunda-feira
Das 8h50min
às
12h20min
Projeto e Análise de Algoritmos (60 horas)
Prof: Silvio Jamil Ferzoli Guimarães
Análise de algoritmos. Princípios de projeto de algoritmos.
Problemas NPcompletos. Teoria de Grafos.
Tópicos Especiais em Computação Distribuída I: Computação
Ubíqua (60 horas)
Profa: Raquel Aparecida de Freitas Mini
Ementa: Definição, princípios, aplicações e desafios da
Computação Ubíqua. Redes de sensores sem fio. Energia em redes
sem fio. Segurança/Privacidade. Engenharia de Software para
Computação Ubíqua.
Tópicos Especiais em Computação Distribuída I: Algoritmos
Bio-inspirados (60 horas)
Prof. Zenilton Kleber do Patrocínio Júnior
Ementa: Introdução a recuperação de informação: modelos de
recuperação, avaliação. Bancos de dados multimídia: organização,
linguagens de consulta, processamento de consultas, estruturas de
indexação. Recuperação de informação multimídia por conteúdo:
descrição de informação multimídia, busca por similaridade,
realimentação de relevância. Aplicações.
Tópicos Especiais em Computação Distribuída I: Jogos Sérios
(60 horas)
Profa. Lucila Ishitani
Ementa: Jogos sérios: conceito, princípios e aplicações. Projeto e
desenvolvimento de jogos sérios. Métodos de avaliação de jogos
sérios. Tendências e temas de pesquisas relacionados a jogos sérios.
Tópicos Especiais em Computação Distribuída I: Programação
Paralela e Distribuída (30 horas)
Prof. Henrique Cota de Freitas
Ementa: Modelos de programação paralela e distribuída por
variável compartilhada e troca de mensagens. Programação em
memória compartilhada com OpenMP. Programação em memória
distribuída com MPI.
Tópicos Especiais em Sistemas de Informação I: Introdução à
Verificação Automática de Modelos (30 horas)
Prof. Mark Alan Junho Song
Ementa: Conceitos básicos. Estrutura Kripke. Lógica CTL.
Fórmulas de estado e caminho - operadores. Problema de explosão
de estados. BDD’s – representação, operações básicas, modelo
distribuído. NuSMV.
(
(
(
(
(
(
RESERVADO PARA PREENCHIMENTO DA SECRETARIA
) Requerimento de inscrição e justificativa do pedido de matrícula na disciplina isolada.
) Foto 3x4 colorida.
) Fotocópia da carteira de identidade e do CPF.
) Fotocópia do diploma ou certificado de conclusão de curso de graduação reconhecido pelo MEC.
) Fotocópia do histórico escolar do curso de graduação.
) Currículo lattes atualizado (anexar comprovantes).
JUSTIFICATIVA
PARECER DO(A) PROFESSOR(A)
Deferido: ( )
Justificativa:
Indeferido: ( )
Assinatura: ______________________________________
Data: _____ / _____ / _________
VISTO DA COORDENAÇÃO:
Assinatura: ________________________________________ Data: ______ / _____ /_________
COMPROVANTE DE INSCRIÇÃO PARA O PROCESSO DE SELETIVO - 1/2013
DISCIPLINA ISOLADA
Programa de Pós-Graduação em Informática
CANDIDATO:
______________________________________________________________________________
DATA:
/
/
RECEBIDO POR: ________________________