anexo 1 - PUC Minas

Foto 3X4
ANEXO 1 - REQUERIMENTO DE ENTRADA DE DISCIPLINA ISOLADA - 2o/2016
Cód. Pessoa: ___________
Matrícula: ___________ __
DADOS DO(A) CANDIDATO(A)
F
O
Nome: ________________________________________________________________________T
Rua/Avenida: ___________________________________________________________________
O
[
Número: _________ Complemento: ___________ Bairro: ______________________________
Cidade:
__________________________________UF:________CEP:
F
O
T
_____________________
O
CPF: __________________________________ Data de Nascimento: _____/ _____ / _________
O
Tel. Residencial: ___________________
Tel. Comercial: ____________________
]
E-mail: ______________________________________
Tel. Celular: _______________________ ____________________________________________
Vem requerer sua inscrição em DISCIPLINA ISOLADA do ( ) Mestrado / ( ) Doutorado em
Informática - PPGINF - PUC Minas, na(s) disciplina(s) abaixo indicadas, no 2o / 2016 (marcar em
ordem de prioridade, pois será aceita apenas uma disciplina por semestre).
OPÇÃO
1ª ( )
2ª ( )
1ª ( )
2ª ( )
1ª ( )
2ª ( )
HORÁRIOS
Terça-feira
das
8h50min
às
12h20min
Segunda-feira
das
07h30min
às
08h40min
(de 08/08 a 21/11)
e de 07h30min
às
10h
(dias 28/11e 05/12)
Segunda-feira
das
7h
às
10h30min
DISCIPLINAS/DESCRIÇÃO
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 para Computação Ubíqua (30 horas).
Profa. Raquel Aparecida de Freitas Mini.
Ementa: Definição, aplicações e desafios da Computação Ubíqua.
Características
das
aplicações
ubíquas.
Processo
de
desenvolvimento de sistemas ubíquos. Modelagem de sistemas
ubíquos. Testes em sistemas ubíquos.
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.
1ª ( )
2ª ( )
1ª ( )
2ª ( )
1ª ( )
2ª ( )
1ª ( )
2ª ( )
1ª ( )
2ª ( )
Segunda-feira
das
8h50min
às
10h30min
Terça-feira
das
08h50min
às
12h20min
Segunda-feira
das
08h50min
às
10h30min
Segunda-feira
das
10h30min
às
12h20min
Segunda-feira
das
8h50min
às
12h20min
Redes Complexas: teoria e algoritmos (30 horas).
Prof. Humberto Torres Marques Neto.
Ementa: Redes complexas e grafos; redes de informação e web;
dinâmica das redes; modelos estruturais; aplicações.
Recuperação da Informação (60 horas).
Prof. Silvio Jamil Ferzoli Guimarães.
Ementa: Coleta automática de documentos. Classificação e
indexação automática de textos. Processamento de consultas.
Máquinas de busca. Introdução aos conceitos de multimídia e
sistemas
multimídia.
Recuperação de informação visual.
Tendências em Recuperação Informação.
Tópicos Especiais em E2SC: Projeto de Software Paralelo.
Prof. Henrique Cota (30 horas).
Ementa: Percepção de paralelismo, arquiteturas e modelos de
máquinas paralelas, padrões para software paralelo, projeto de
algoritmos paralelos, projeto quantitativo em desempenho,
escalabilidade e energia.
Tópicos Especiais em A2DI: Algoritmos Evolucionários.
Prof. Zenilton Kleber do Patrocínio Júnior ( 30 horas).
Ementa: Introdução à Computação Natural e aos Algoritmos Bioinspirados. Algoritmos evolucionários. Algoritmos genéticos.
Programação genética. Evolução gramatical. Estratégias
evolucionárias. Programação evolucionária. Controle de
parâmetros. Aplicação de algoritmos evolucionários.
Verificação Simbólica de Modelos (60 horas).
Prof. Mark Alan Junho Song.
Ementa: Verificação de modelos, estrutura Kripke, diagramas
binários de decisão, ponto fixo, lógica temporal. Bounded model
checking, redução de ordem parcial e abstrações. O verificador
SMV e o verificador simbólico probabilístico PRISM.
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 DA COMISSÃO DO PROCESSO SELETIVO
Deferido: ( )
Justificativa:
Indeferido: ( )
Assinatura: ______________________________________
Data: _____ / _____ / _________
VISTO DA COORDENAÇÃO:
Assinatura: ________________________________________ Data: ______ / _____ /_________
COMPROVANTE DE INSCRIÇÃO PARA O PROCESSO DE SELETIVO - 2/2016
DISCIPLINA ISOLADA
Programa de Pós-Graduação em Informática
CANDIDATO:
______________________________________________________________________________
DATA:
/
/
RECEBIDO POR: ________________________