PóS-GRADUAçãO
EVENTOS
-
23 MAI
Defesa de Dissertação de Mestrado Nº 1.276: "Um framework para avaliação da experiência de uso de instrumentos musicais digitais"
O aluno Jerônimo Barbosa da Costa Junior irá defender seu trabalho dia 23 de maio, às 15h, no Auditório -
10 MAI
Defesa de Tese de Doutorado Nº 188: "Business Process Configuration with NFRs and Context-Awareness"
O aluno Emanuel Batista dos Santos irá defender seu trabalho dia 10 de maio, às 9h, no Anfiteatro -
30 ABR
Defesa de Dissertação de Mestrado Profissional Nº 128: "Gestão da Inovação: Um estudo de caso em instituição de ensino superior privada"
O aluno Fabio Batista Santos irá defender seu trabalho dia 30 de abril, às 15h, na sala B20
Estrutura Curricular
Área de Concentração
- Banco de Dados;
- Inteligência Computacional;
- Engenharia da Computação;
- Engenharia de Software e Linguagens de Programação;
- Mídia e Interação;
- Redes de Computadores e Sistemas Distribuídos;
- Teoria da Computação.
|
Código
|
Disciplina Obrigatória (02 créditos)
|
Carga Horária
|
Créditos
|
|---|---|---|---|
|
IN1030
|
Seminários
|
30
|
2
|
Código
|
Disciplinas Eletivas (24 créditos)
|
Carga Horária
|
Créditos
|
|---|---|---|---|
|
IN1002
|
Administração e Integração de Sistemas
|
60
|
4
|
|
IN1100
|
Agentes Cognitivos e Adaptativos
|
60
|
4
|
|
IN1011
|
Álgebra e Semântica de Processos Concorrentes
|
60
|
4
|
|
IN1076
|
Algoritmos I
|
60
|
4
|
|
IN1012
|
Algoritmos II
|
60
|
4
|
|
IN1101
|
Algoritmos e Métodos para Bio-Informática e Biologia Computacional
|
60
|
4
|
|
IN1013
|
Algoritmos para Processamento de Cadeias
|
60
|
4
|
|
IN1014
|
Algoritmos de Aproximação em Grafos
|
60
|
4
|
|
IN1090
|
Ambientes de Projeto de Sistemas Embarcados
|
60
|
4
|
|
IN1015
|
Ambientes para Desenvolvimento de Software
|
60
|
4
|
|
IN1127
|
Análise de Dados Simbólicos
|
60
|
4
|
|
IN1102
|
Aprendizagem de Máquina
|
60
|
4
|
|
IN1085
|
Aritmética da Exatidão Máxima
|
60
|
4
|
|
IN1103
|
Arquiteturas Não Convencionais de Computadores
|
60
|
4
|
|
IN0967
|
Avaliação de Desempenho de Redes
|
60
|
4
|
|
IN1077
|
Avaliação de Desempenho de Sistemas
|
60
|
4
|
|
IN1105
|
Avaliação de Sistemas Críticos
|
60
|
4
|
|
IN0940
|
Banco de Dados
|
60
|
4
|
|
IN1128
|
Bancos de Dados Distribuídos e Móveis
|
60
|
4
|
|
IN1129
|
Biometria
|
60
|
4
|
|
IN1107
|
Cálculo Lambda e Lógica Combinatória
|
60
|
4
|
|
IN1130
|
Ciência de Serviços
|
60
|
4
|
|
IN1018
|
Compilação de Linguagens Funcionais
|
60
|
4
|
|
IN1005
|
Computabilidade e Lógica
|
60
|
4
|
|
IN1131
|
Computação Evolucionária
|
60
|
4
|
|
IN1092
|
Computação Gráfica
|
60
|
4
|
|
IN1132
|
Computação Musical
|
60
|
4
|
|
IN1133
|
Contexto Computacional
|
60
|
4
|
|
IN1134
|
Data Warehousing
|
60
|
4
|
|
IN1020
|
Engenharia de Requisitos
|
60
|
4
|
|
IN1135
|
Engenharia de Requisitos Avançada
|
60
|
4
|
|
IN1110
|
Engenharia de Sistemas Embarcados
|
60
|
4
|
|
IN0953
|
Engenharia de Software
|
60
|
4
|
|
IN1093
|
Engenharia de Software Educativo
|
60
|
4
|
|
IN1111
|
Engenharia de Software Orientada a Agentes
|
60
|
4
|
|
N1078
|
Especificação de Sistemas Distribuídos
|
60
|
4
|
|
IN1021
|
Especificação e Projeto de Sistemas
|
60
|
4
|
|
IN1136
|
Expressão e Redação Científica
|
60
|
4
|
|
IN1113
|
Fundamentos da Criptografia Moderna
|
60
|
4
|
|
IN1000
|
Gerenciamento de Redes
|
60
|
4
|
|
IN1137
|
Integração de Dados
|
60
|
4
|
|
IN1114
|
Interação Humano-Computador
|
60
|
4
|
|
IN1115
|
Introdução à Bio-Informática e Biologia Computacional
|
60
|
4
|
|
IN1138
|
Introdução à Biologia Sistêmica e Redes Biológicas
|
60
|
4
|
|
IN1139
|
Introdução à Inteligência Artificial Simbólica
|
60
|
4
|
|
IN1116
|
Introdução aos Agentes Inteligentes
|
60
|
4
|
|
IN1140
|
Jogos Digitais
|
60
|
4
|
|
IN1023
|
Lógica e Língua Natural
|
60
|
4
|
|
IN0911
|
Lógica Matemática
|
60
|
4
|
|
IN1084
|
Matemática Intervalar
|
60
|
4
|
|
IN1141
|
Metodologia de Desenvolvimento de Sistemas Multiagentes
|
60
|
4
|
|
IN1142
|
Metodologia de Experimentação Científica
|
60
|
4
|
|
IN1143
|
Métodos Numéricos para Biologia Molecular
|
60
|
4
|
|
IN1144
|
Mineração de Dados
|
60
|
4
|
|
IN1145
|
Modelagem Geométrica
|
60
|
4
|
|
IN1117
|
Modelos para Sistemas Comunicantes
|
60
|
4
|
|
IN1146
|
Modelos Teóricos em Interação Humano-Computador
|
60
|
4
|
|
IN1007
|
Paradigmas de Linguagens de Programação
|
60
|
4
|
|
IN1118
|
Plataformas de Distribuição
|
60
|
4
|
|
IN1119
|
Princípios e Técnicas da Análise Estatística Experimental
|
60
|
4
|
|
IN1024
|
Processamento de Imagens
|
60
|
4
|
|
IN1047
|
Processamento de Sinais e Imagens Biológicos
|
60
|
4
|
|
IN1025
|
Processamento do Conhecimento
|
60
|
4
|
|
IN1027
|
Programação Paralela
|
60
|
4
|
|
IN1008
|
Projeto Conceitual de Banco de Dados
|
60
|
4
|
|
IN1028
|
Projeto de Administração e Integração de Sistemas
|
60
|
4
|
|
IN1148
|
Projetos de Circuitos Integrados VLSI
|
60
|
4
|
|
IN1009
|
Prototipação de Circuitos Digitais
|
60
|
4
|
|
IN1149
|
Qualidade, Processos e Gestão de Software
|
60
|
4
|
|
IN1122
|
Raciocínio Automático e Representação do Conhecimento Simbólico SimSimbólico
|
60
|
4
|
|
IN1123
|
Realidade Virtual e Aumentada
|
60
|
4
|
|
IN1150
|
Realidade Virtual e Aumentada Avançada
|
60
|
4
|
|
IN1151
|
Reconhecimento de Padrões e Previsão
|
60
|
4
|
|
IN1029
|
Redes de Alta Velocidade
|
60
|
4
|
|
IN1010
|
Redes de Computadores
|
60
|
4
|
|
IN0997
|
Redes Neurais
|
60
|
4
|
|
IN1152
|
Recuperação Inteligente de Informação
|
60
|
4
|
|
IN1153
|
Robótica Cognitiva
|
60
|
4
|
|
IN1154
|
Segurança Computacional
|
60
|
4
|
|
IN0934
|
Semântica de Linguagens de Programação
|
60
|
4
|
|
IN1155
|
Síntese de Imagens
|
60
|
4
|
|
IN1124
|
Sistemas de Bancos de Dados Não Convencionais
|
60
|
4
|
|
IN1031
|
Sistemas de Informação
|
60
|
4
|
|
IN1156
|
Sistemas de Tempo Real
|
60
|
4
|
|
IN1125
|
Sistemas Digitais: Concepção, Síntese e Verificação
|
60
|
4
|
|
IN0984
|
Sistemas Distribuídos
|
60
|
4
|
|
IN1157
|
Sistemas Inteligentes Híbridos
|
60
|
4
|
|
IN1032
|
Sistemas Multimídia Distribuídos
|
60
|
4
|
|
IN1126
|
Teoria Axiomática dos Conjuntos
|
60
|
4
|
|
IN1158
|
Teoria da Recursão
|
60
|
4
|
|
IN1033
|
Teoria das Categorias
|
60
|
4
|
|
IN1034
|
Teoria dos Domínios
|
60
|
4
|
|
IN1079
|
Teoria dos Modelos
|
60
|
4
|
|
IN1036
|
Teoria da Prova
|
60
|
4
|
|
IN1037
|
Tópicos Avançados em Administração e Integração de Sistemas 1
|
60
|
4
|
|
IN1038
|
Tópicos Avançados em Administração e Integração de Sistemas 2
|
60
|
4
|
|
IN1096
|
Tópicos Avançados em Agentes Inteligentes 1
|
60
|
4
|
|
IN1097
|
Tópicos Avançados em Agentes Inteligentes 2
|
60
|
4
|
|
IN1159
|
Tópicos Avançados em Agentes Inteligentes 3
|
60
|
4
|
|
IN1039
|
Tópicos Avançados em Algoritmos e Complexidade 1
|
60
|
4
|
|
IN1040
|
Tópicos Avançados em Algoritmos e Complexidade 2
|
60
|
4
|
|
IN0990
|
Tópicos Avançados em Arquitetura de Computadores 1
|
60
|
4
|
|
IN1041
|
Tópicos Avançados em Arquitetura de Computadores 2
|
60
|
4
|
|
IN1160
|
Tópicos Avançados em Avaliação de Desempenho de Sistemas
|
60
|
4
|
|
IN1161
|
Tópicos Avançados em Biologia Computacional 1
|
60
|
4
|
|
IN1162
|
Tópicos Avançados em Biologia Computacional 2
|
60
|
4
|
|
IN1163
|
Tópicos Avançados em Desenvolvimento de Software de Código
Abde Código Aberto
|
60
|
4
|
|
IN0977
|
Tópicos Avançados em Engenharia de Software 1
|
60
|
4
|
|
IN0979
|
Tópicos Avançados em Engenharia de Software 2
|
60
|
4
|
|
IN0980
|
Tópicos Avançados em Engenharia de Software 3
|
60
|
4
|
|
IN1098
|
Tópicos Avançados em Inteligência Artificial Simbólica 1
|
60
|
4
|
|
IN1164
|
Tópicos Avançados em Inteligência Computacional 1
|
60
|
4
|
|
IN1165
|
Tópicos Avançados em Inteligência Computacional 2
|
60
|
4
|
|
IN1166
|
Tópicos Avançados em Inteligência Computacional 3
|
60
|
4
|
|
IN1167
|
Tópicos Avançados em Inteligência Computacional 4
|
60
|
4
|
|
IN1045
|
Tópicos Avançados em Linguagens de Programação 1
|
60
|
4
|
|
IN1046
|
Tópicos Avançados em Linguagens de Programação 2
|
60
|
4
|
|
IN1080
|
Tópicos Avançados em Linguagens de Programação 3
|
60
|
4
|
|
IN1047
|
Tópicos Avançados em Lógica e Sistemas Dedutivos 1
|
60
|
4
|
|
IN1048
|
Tópicos Avançados em Lógica e Sistemas Dedutivos 2
|
60
|
4
|
|
IN1087
|
Tópicos Avançados em Matemática da Computação
|
60
|
4
|
|
IN1168
|
Tópicos Avançados em Mídia e Interação 1
|
60
|
4
|
|
IN1169
|
Tópicos Avançados em Mídia e Interação 2
|
60
|
4
|
|
IN1170
|
Tópicos Avançados em Mídia e Interação 3
|
60
|
4
|
|
IN1171
|
Tópicos Avançados em Mídia e Interação 4
|
60
|
4
|
|
IN1172
|
Tópicos Avançados em Prototipação de Circuitos Integrados 1
|
60
|
4
|
|
IN1173
|
Tópicos Avançados em Prototipação de Circuitos Integrados 2
|
60
|
4
|
|
IN1053
|
Tópicos Avançados em Redes de Computadores 1
|
60
|
4
|
|
IN1054
|
Tópicos Avançados em Redes de Computadores 2
|
60
|
4
|
|
IN1055
|
Tópicos Avançados em Redes de Computadores 3
|
60
|
4
|
|
IN1174
|
Tópicos Avançados em Reuso de Software
|
60
|
4
|
|
IN1058
|
Tópicos Avançados em Sistemas Digitais 1
|
60
|
4
|
|
IN1059
|
Tópicos Avançados em Sistemas Digitais 2
|
60
|
4
|
|
IN1060
|
Tópicos Avançados em Sistemas Distribuídos 1
|
60
|
4
|
|
IN1061
|
Tópicos Avançados em Sistemas Distribuídos 2
|
60
|
4
|
|
IN1062
|
Tópicos Avançados em Sistemas Distribuídos 3
|
60
|
4
|
|
IN1175
|
Tópicos Avançados em Sistemas Embarcados 1
|
60
|
4
|
|
IN1176
|
Tópicos Avançados em Sistemas Embarcados 2
|
60
|
4
|
|
IN1177
|
Tópicos Especiais em Banco de Dados 1
|
60
|
4
|
|
IN1178
|
Tópicos Especiais em Banco de Dados 2
|
60
|
4
|
|
IN1179
|
Tópicos Especiais em Banco de Dados 3
|
60
|
4
|
|
IN1180
|
Trabalho Individual em Banco de Dados 1
|
60
|
4
|
|
IN1181
|
Trabalho Individual em Banco de Dados 2
|
60
|
4
|
|
IN1182
|
Trabalho individual em Engenharia da Computação 1
|
60
|
4
|
|
IN1183
|
Trabalho individual em Engenharia da Computação 2
|
60
|
4
|
|
IN1184
|
Trabalho Individual em Engenharia de Software 1
|
60
|
4
|
|
IN1185
|
Trabalho Individual em Engenharia de Software 2
|
60
|
4
|
|
IN1186
|
Trabalho Individual em Inteligência Computacional 1
|
60
|
4
|
|
IN1187
|
Trabalho Individual em Inteligência Computacional 2
|
60
|
4
|
|
IN1120
|
Trabalho Individual em Mídia e Interação 1
|
60
|
4
|
|
IN1121
|
Trabalho Individual em Mídia e Interação 2
|
60
|
4
|
|
IN1108
|
Trabalho Individual em Redes de Computadores e Sistemas Distribuídos 1 Distribuídos 1
|
60
|
4
|
|
IN1109
|
Trabalho Individual em Redes de Computadores e Sistemas Distribuídos 1 Distribuídos 2
|
60
|
4
|
|
IN1104
|
Trabalho Individual em Teoria da Computação 1
|
60
|
4
|
|
IN1106
|
Trabalho Individual em Teoria da Computação 2
|
60
|
4
|
|
IN0996
|
Visão Computacional
|
60
|
4
|
-
-
© Centro de Informática UFPE - Todos os direitos reservados
Tel +55 81 2126.8430 - Cidade Universitária - 50740-560 - Recife/PE
