MESTRADO

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

DOUTORADO

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