UNIVERSIDADE FEDERAL DE PERNAMBUCO

PRÓ-REITORIA PARA ASSUNTOS DE PESQUISA E PÓS-GRADUAÇÃO

ESTRUTURA CURRICULAR STRICTO SENSU

(baseada na Res. 03/98 do CCEPE )

NOME DO CURSO: Pós-Graduação em Ciência da Computação

NÍVEL: [ X ] MESTRADO [ ] DOUTORADO

Á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

PERÍODO DE VIGÊNCIA: A partir de 2008

CRÉDITOS DO CURSO
BÁSICOS (Obrigatórios)	ELETIVOS	TOTAL GERAL
12	12	24

Código	Disciplinas (Obrigatórias/Básicas (12 créditos)	Carga Horária	Créditos
IN1002	Administração e Integração de Sistemas	60	4
IN1100	Agentes Cognitivos e Adaptativos	60	4
IN1076	Algoritmos I	60	4
IN1101	Algoritmos e Métodos para Bio-Informática e Biologia Computacional	60	4
IN1013	Algoritmos para Processamento de Cadeias	60	4
IN1102	Aprendizagem de Máquina	60	4
IN1103	Arquiteturas Não Convencionais de Computadores	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
IN1107	Cálculo Lambda e Lógica Combinatória	60	4
IN1005	Computabilidade e Lógica	60	4
IN1092	Computação Gráfica	60	4
IN1020	Engenharia de Requisitos	60	4
IN1110	Engenharia de Sistemas Embarcados	60	4
IN0953	Engenharia de Software	60	4
IN1111	Engenharia de Software Orientada a Agentes	60	4
IN1112	Especificação de Sistemas Distribuídos	60	4
IN1113	Fundamentos da Criptografia Moderna	60	4
IN1114	Interação Humano-Computador	60	4
IN1115	Introdução à Bio-Informática e Biologia Computacional	60	4
IN1116	Introdução aos Agentes Inteligentes	60	4
IN1117	Modelos para Sistemas Comunicantes	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
IN1008	Projeto Conceitual de Banco de Dados	60	4
IN1009	Prototipação de Circuitos Digitais	60	4
IN1122	Raciocínio Automático e Representação do Conhecimento Simbólico	60	4
IN1123	Realidade Virtual e Aumentada	60	4
IN1010	Redes de Computadores	60	4
IN0997	Redes Neurais	60	4
IN1124	Sistema de Banco de Dados Não Convencionais	60	4
IN1125	Sistemas Digitais: Concepção, Síntese e Verificação	60	4
IN0984	Sistemas Distribuídos	60	4
IN1126	Teoria Axiomática dos Conjuntos	60	4

Código	Disciplinas Eletivas (12 créditos)	Carga Horária	Créditos
IN1011	Álgebra e Semântica de Processos Concorrentes	60	4
IN1012	Algoritmos II	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
IN1085	Aritmética da Exatidão Máxima	60	4
IN0967	Avaliação de Desempenho de Redes	60	4
IN1128	Bancos de Dados Distribuídos e Móveis	60	4
IN1129	Biometria	60	4
IN1130	Ciência de Serviços	60	4
IN1018	Compilação de Linguagens Funcionais	60	4
IN1131	Computação Evolucionária	60	4
IN1132	Computação Musical	60	4
IN1133	Contexto Computacional	60	4
IN1134	Data Warehousing	60	4
IN1135	Engenharia de Requisitos Avançada	60	4
IN1093	Engenharia de Software Educativo	60	4
IN1078	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
IN1000	Gerenciamento de Redes	60	4
IN1137	Integração de Dados	60	4
IN1138	Introdução à Biologia Sistêmica e Redes Biológicas	60	4
IN1139	Introdução à Inteligência Artificial Simbólica	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
IN1146	Modelos Teóricos em Interação Humano-Computador	60	4
IN1147	Processamento de Sinais e Imagens Biológicos	60	4
IN1025	Processamento do Conhecimento	60	4
IN1027	Programação Paralela	60	4
IN1028	Projeto de Administração e Integração de Sistemas	60	4
IN1148	Projetos de Circuitos Integrados VLSI	60	4
IN1149	Qualidade, Processos e Gestão de Software	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
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
IN1031	Sistemas de Informação	60	4
IN1156	Sistemas de Tempo Real	60	4
IN1157	Sistemas Inteligentes Híbridos	60	4
IN1032	Sistemas Multimídia Distribuídos	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

UNIVERSIDADE FEDERAL DE PERNAMBUCO

PRÓ-REITORIA PARA ASSUNTOS DE PESQUISA E PÓS-GRADUAÇÃO

ESTRUTURA CURRICULAR STRICTO SENSU

(baseada na Res. 03/98 do CCEPE )

NOME DO CURSO: Pós-Graduação em Ciência da Computação

NÍVEL: [ ] MESTRADO [ X ] DOUTORADO

Á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

PERÍODO DE VIGÊNCIA: A partir de 2008

CRÉDITOS DO CURSO
ELETIVOS		TOTAL GERAL
24		24
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
IN1112	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

Universidade Federal de Pernambuco-UFPE

Centro de Informática - CIn

Pós-Graduação em Ciência da Computação

Curso de Doutorado em Ciência da Computação

reconhecido através da Portaria nº 2.878/05, do

MEC em 24/08/2005, publicado no DOU em 26/08/2005.