Disciplinas do Programa

SiglaNome
GEN5711Preparação à Docência de Graduação
IBI5037Algoritmos em Bioinformática
MAC4722Linguagens, Autômatos e Computabilidade
MAC5700Seminários em Ciência da Computação
MAC5701Tópicos em Ciência da Computação
MAC5705Tópicos em Algoritmos Paralelos Usando MPI e BSP/CGM
MAC5710Estrutura de Dados e sua Manipulação
MAC5711Análise de Algoritmos
MAC5714Tópicos Avançados de Programação Orientada a Objetos
MAC5715Tópicos de Programação Orientada a Objetos
MAC5716Laboratório de Programação Extrema
MAC5717Laboratório Avançado de Métodos Ágeis de Desenvolvimento de Software
MAC5718Recuperação de Informação
MAC5719Tópicos em Bioinformática
MAC5720Teoria dos Autômatos Finitos
MAC5722Complexidade Computacional
MAC5723Introdução à Criptologia
MAC5724Palavras, Autômatos e Algoritmos
MAC5725Linguística Computacional
MAC5726Biologia Computacional
MAC5727Algoritmos de Aproximação
MAC5728Tópicos em Lógica Computacional
MAC5729Raciocínio sobre Conhecimento
MAC5732Introdução à Verificação de Programas
MAC5733Teoria de Programação em Lógica
MAC5734Técnicas de Programação Declarativa
MAC5737Tópicos em Inteligência Artificial
MAC5739Inteligência Artificial
MAC5740Algoritmos Paralelos e Arquiteturas VLSI
MAC5741Introdução a Algoritmos e Arquiteturas Paralelas
MAC5742Introdução à Computação Paralela e Distribuída
MAC5743Computação Móvel
MAC5744Introdução à Computação Gráfica
MAC5745Processamento Digital de Imagens Teoria e Aplicações
MAC5746Bases da Morfologia Matemática para Análise de Imagens
MAC5747Geometria Computacional
MAC5748Síntese de Imagens Digitais
MAC5749Análise e Reconhecimento de Formas: Teoria e Prática
MAC5750Teoria e Construção de Compiladores
MAC5753Sistemas Operacionais
MAC5754Conceitos de Linguagens de Programação
MAC5755Sistemas Operacionais Distribuídos
MAC5756Sistemas Distribuídos: Protocolos e Ambientes de Programação
MAC5757Redes de Dados
MAC5758Introdução ao Escalonamento e Aplicações
MAC5759Sistemas de Objetos Distribuídos
MAC5760Introdução aos Sistemas de Bancos de Dados
MAC5762Modelagem e Indexação de Dados em Sistemas de Bancos de Dados
MAC5763Controle de Concorrência e Distribuição de Dados
MAC5764Tópicos em Engenharia de Software
MAC5765Tópicos em Sistemas de Computação I
MAC5766Reutilização de Software e Hardware
MAC5767Introdução ao Processamento de Alto Desempenho
MAC5768Visão e Processamento de Imagens - Parte I
MAC5769Visão e Processamento de Imagens - Parte II
MAC5770Introdução à Teoria dos Grafos
MAC5771Teoria dos Grafos
MAC5773Teoria dos Matróides
MAC5774Teoria Extremal dos Conjuntos
MAC5775Métodos Probabilísticos em Combinatória e em Teoria da Computação I
MAC5776Métodos Probabilísticos em Combinatória e em Teoria da Computação II
MAC5777Reconhecimento de Objetos por Análise Estrutural e Temporal de Padrões
MAC5778Sistemas Baseados em Conhecimento
MAC5779Engenharia de Software Experimental
MAC5780Otimização Inteira
MAC5781Otimização Combinatória
MAC5783Engenharia de Software
MAC5784Inteligência Artificial em Jogos de Computador
MAC5785Software Confiável: Desenvolvimento Formal
MAC5786Princípios de Interação Homem Computador
MAC5787Lógicas Não-Clássicas e suas Aplicações
MAC5788Planejamento em Inteligência Artificial
MAC5789Laboratório de Inteligência Artificial
MAC5790Otimização Linear
MAC5791Programação Não Linear
MAC5792Tópicos Especiais de Otimização I
MAC5793Problemas de Grande Porte em Programação Matemática
MAC5794Elementos de Economia Matemática
MAC5795Métodos Diretos para Sistemas Lineares Esparsos
MAC5796Métodos de Otimização em Finanças
MAC5797Otimização Não Linear
MAC5798Desenvolvimento de Sistemas Colaborativos
MAC5799Tópicos em Diferenciação Automática
MAC5800Informação, Comunicação e a Sociedade do Conhecimento
MAC5801Tópicos Especiais em Ciência da Computação
MAC5811Projeto e Análise de Algoritmos
MAC5820Teoria dos Semi-grupos e Aplicações
MAC5825Semigrupos Finitos e Álgebra Universal
MAC5826Métodos de Criptoanálise em Criptografia
MAC5827Tópicos em Combinatória
MAC5828Tópicos em Complexidade Computacional
MAC5829Quase-aleatoriedade
MAC5832Aprendizagem de Máquina: Modelos, Algoritmos e Aplicações
MAC5833Análise Idempotente
MAC5840Algoritmos e Arquiteturas Paralelas Sistólicas
MAC5841Técnicas de Paralelização em Compiladores
MAC5845Morfologia Matemática
MAC5850Computabilidade e Tratabilidade via Lógica
MAC5853Desenvolvimento de Sistemas de Computação
MAC5854Sistemas de Middleware
MAC5855Tópicos Especiais em Desenvolvimento para Web
MAC5856Desenvolvimento de Software Livre
MAC5857Desenvolvimento de Sistemas Web para Apoio ao Ensino/Aprendizagem
MAC5858Tópicos em Informática na Educação I
MAC5860Tópicos da Teoria do Modelo Relacional de Dados
MAC5861Modelagem de Banco de Dados
MAC5862Indexação de Dados
MAC5863Sistemas de Middleware Avançados
MAC5864Processamento de Transações
MAC5865Tópicos em Ciência e Engenharia de Dados
MAC5871Grafos Infinitos
MAC5872Tópicos em Teoria dos Grafos e Otimização
MAC5880Poliedros em Otimização Combinatória
MAC5881Combinatória Poliédrica e o Método dos Planos-de-corte
MAC5885Fundamentos Metodológicos para Inteligência Artificial
MAC5890Processos de Controle Descentralizado
MAC5891Métodos de Pontos Interiores em Programação Linear
MAC5892Análise Convexa e Otimização
MAC5900Computação Musical
MAC5910Programação para Redes de Computadores
MAC5911Tópicos em Visão Computacional e Processamento de Imagens
MAC5912Introdução a Redes Booleanas Probabilísticas
MAC5915Laboratório de Visão Computacional e Processamento de Imagens
MAC5917Introdução à Biologia de Sistemas
MAC5918Processamento e Análise de Imagens Médicas
MAC5920Introdução ao Processamento de Sinais Digitais
MAC5936Estudos Avançados em Otimização Contínua II
MAC5950Sistemas Humano-Computacionais
MAC6711Tópicos de Análise de Algoritmos
MAC6806Tradução Automática Estatística
MAC6900Tópicos Avançados de Coreografias de Serviços Web
MAC6901Raciocínio Espacial
MAC6902Programação Funcional Contemporânea
MAC6903Processamento de Imagens usando Grafos
MAC6904Tópicos em Combinatória Contemporânea I
MAC6905Tópicos em Combinatória Contemporânea II
MAC6906Teoria dos Jogos Algorítmica
MAC6907Tópicos Avançados de Composição de Serviços Web: Orquestrações e Coreografias
MAC6908Programação Semidefinida e Aplicações
MAC6909Empreendedorismo Digital
MAC6910Metodologia de Pesquisa para Ciência da Computação
MAC6911Introdução às Máquinas de Vetores de Suporte
MAC6912Ambientes de Desenvolvimento de Software
MAC6913Tópicos em Computação Gráfica
MAC6914Métodos de Aprendizagem em Visão Computacional
MAC6915Topicos em Máquinas de Vetores de Suporte
MAC6916Modelos Probabilísticos Baseados em Grafos
MAC6917Tópicos em Computação Sonora e Musical
MAC6918Tópicos na Teoria Algébrica dos Grafos
MAC6919Teste de Software Baseado em Modelos
MAC6920Métodos Numéricos de Álgebra Linear
MAC6922Tópicos Avançados de Pesquisa em Cidades Inteligentes
MAC69233D Interaction in Mixed Realities
MAC6924Lean Startup
MAC6925Tópicos em Métodos da Análise de Fourier em Geometria Combinatória
MAC6926Introdução à Aprendizagem Estatística
MAC6927Teoria dos Números Computacional
MAC6928Tópicos na Teoria dos Números
MAC6929Fundamentos da Internet das Coisas
MAC6930Estudos Avançados em Otimização Combinatória
MAC6931Estudos Avançados em Sistemas de Software
MAC6932Métodos Qualitativos de Pesquisa
MAC6933Estudos Avançados em Sistemas Sócio-Técnicos
MAC6934Estudos Avançados em Sistemas de Distribuídos
MAC6935Estudos Avançados em Otimização Contínua I
MAC6936Estudos Avançados em Medidas de Conectividade I
MAC6937Estudos Avançados em Medidas de Conectividade II
MAC6938Estudos Avançados em Teste de Software Baseado em Modelos I
MAC6939Estudos Avançados em Teste de Software Baseado em Modelos II
MAC6940Estudos Avançados em Planejamento, Modelagem e Raciocínio sob Incerteza I
MAC6941Estudos Avançados em Planejamento, Modelagem e Raciocínio sob Incerteza II
MAC6942Estudos Avançandos de Modelos de Aprendizado Computacional: implementação e aplicação na área de bioinformática I
MAC6943Estudos Avançandos de Modelos de Aprendizado Computacional: implementação e aplicação na área de bioinformática II
MAC6944Estudos Avançados de Métodos Numéricos I
MAC6945Estudos Avançados de Métodos Numéricos II
MAC6946Estudos Avançados em Interação Humano Computador I
MAC6947Estudos Avançados em Interação Humano Computador II
MAC6948Estudos Avançados em Computação Musical I
MAC6949Estudos Avançados em Processamento de Imagens Usando Grafos I
MAC6950Estudos Avançados em Processamento de Imagens Usando Grafos II