Foto[foto o ] a foto 3X4 nexo 1 requerimento de entrada de disciplina isolada 2o/2016



Baixar 48.25 Kb.
Encontro08.08.2016
Tamanho48.25 Kb.


foto[foto o ]
A
Foto 3X4
NEXO 1 - REQUERIMENTO DE ENTRADA DE DISCIPLINA ISOLADA - 2o/2016

Cód. Pessoa: ___________

Matrícula: ___________ __

DADOS DO(A) CANDIDATO(A)



Nome: ________________________________________________________________________

Rua/Avenida: ___________________________________________________________________ 

Número: _________ Complemento: ___________ Bairro: ______________________________

Cidade: __________________________________UF:________CEP: _____________________

CPF: __________________________________ Data de Nascimento: _____/ _____ / _________



Tel. Residencial: ___________________

Tel. Comercial: ____________________

Tel. Celular: _______________________

E-mail: ______________________________________

____________________________________________

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

HORÁRIOS

DISCIPLINAS/DESCRIÇÃO

1ª ( )


2ª ( )
Terça-feira

das

8h50min


às

12h20min


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.

1ª ( )


2ª ( )
Segunda-feira

das

07h30min

às

08h40min

(de 08/08 a 21/11)

e de 07h30min

às

10h

(dias 28/11e 05/12)




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.


1ª ( )


2ª ( )
Segunda-feira

das

7h


às

10h30min


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ª ( )
Segunda-feira

das

8h50min


às

10h30min


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.

1ª ( )


2ª ( )
Terça-feira

das

08h50min

às

12h20min


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.

1ª ( )


2ª ( )
Segunda-feira

das

08h50min

às

10h30min


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.

1ª ( )


2ª ( )
Segunda-feira

das

10h30min


às

12h20min


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 Bio-inspirados. 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.

1ª ( )


2ª ( )
Segunda-feira

das

8h50min


às

12h20min


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: ( ) Indeferido: ( )

Justificativa:

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: ________________________


©principo.org 2016
enviar mensagem

    Página principal