| Sigla | Nome da disciplina |
|---|
| GEN5711 | Preparação à Docência de Graduação |
| IBI5037 | Algoritmos em Bioinformática |
| IME4002 | Redação Científica em Inglês com Foco na Publicação Internacional: do Texto ao Contexto |
| MAC4722 | Linguagens, Autômatos e Computabilidade |
| MAC5700 | Seminários em Ciência da Computação |
| MAC5701 | Tópicos em Ciência da Computação |
| MAC5705 | Tópicos em Algoritmos Paralelos Usando MPI e BSP/CGM |
| MAC5710 | Estrutura de Dados e sua Manipulação |
| MAC5711 | Análise de Algoritmos |
| MAC5714 | Tópicos Avançados de Programação Orientada a Objetos |
| MAC5715 | Tópicos de Programação Orientada a Objetos |
| MAC5716 | Laboratório de Programação Extrema |
| MAC5717 | Laboratório Avançado de Métodos Ágeis de Desenvolvimento de Software |
| MAC5718 | Recuperação de Informação |
| MAC5719 | Tópicos em Bioinformática |
| MAC5720 | Teoria dos Autômatos Finitos |
| MAC5722 | Complexidade Computacional |
| MAC5723 | Introdução à Criptologia |
| MAC5724 | Palavras, Autômatos e Algoritmos |
| MAC5725 | Linguística Computacional |
| MAC5726 | Biologia Computacional |
| MAC5727 | Algoritmos de Aproximação |
| MAC5728 | Tópicos em Lógica Computacional |
| MAC5729 | Raciocínio sobre Conhecimento |
| MAC5732 | Introdução à Verificação de Programas |
| MAC5733 | Teoria de Programação em Lógica |
| MAC5734 | Técnicas de Programação Declarativa |
| MAC5737 | Tópicos em Inteligência Artificial |
| MAC5739 | Inteligência Artificial |
| MAC5740 | Algoritmos Paralelos e Arquiteturas VLSI |
| MAC5741 | Introdução a Algoritmos e Arquiteturas Paralelas |
| MAC5742 | Introdução à Computação Paralela e Distribuída |
| MAC5743 | Computação Móvel |
| MAC5744 | Introdução à Computação Gráfica |
| MAC5745 | Processamento Digital de Imagens Teoria e Aplicações |
| MAC5746 | Bases da Morfologia Matemática para Análise de Imagens |
| MAC5747 | Geometria Computacional |
| MAC5748 | Síntese de Imagens Digitais |
| MAC5749 | Análise e Reconhecimento de Formas: Teoria e Prática |
| MAC5750 | Teoria e Construção de Compiladores |
| MAC5753 | Sistemas Operacionais |
| MAC5754 | Conceitos de Linguagens de Programação |
| MAC5755 | Sistemas Operacionais Distribuídos |
| MAC5756 | Sistemas Distribuídos: Protocolos e Ambientes de Programação |
| MAC5757 | Redes de Dados |
| MAC5758 | Introdução ao Escalonamento e Aplicações |
| MAC5759 | Sistemas de Objetos Distribuídos |
| MAC5760 | Introdução aos Sistemas de Bancos de Dados |
| MAC5762 | Modelagem e Indexação de Dados em Sistemas de Bancos de Dados |
| MAC5763 | Controle de Concorrência e Distribuição de Dados |
| MAC5764 | Tópicos em Engenharia de Software |
| MAC5765 | Tópicos em Sistemas de Computação I |
| MAC5766 | Reutilização de Software e Hardware |
| MAC5767 | Introdução ao Processamento de Alto Desempenho |
| MAC5768 | Visão e Processamento de Imagens |
| MAC5769 | Visão e Processamento de Imagens – Parte II |
| MAC5770 | Introdução à Teoria dos Grafos |
| MAC5771 | Teoria dos Grafos |
| MAC5773 | Teoria dos Matróides |
| MAC5774 | Teoria Extremal dos Conjuntos |
| MAC5775 | Métodos Probabilísticos em Combinatória e em Teoria da Computação I |
| MAC5776 | Métodos Probabilísticos em Combinatória e em Teoria da Computação II |
| MAC5777 | Reconhecimento de Objetos por Análise Estrutural e Temporal de Padrões |
| MAC5778 | Sistemas Baseados em Conhecimento |
| MAC5779 | Engenharia de Software Experimental |
| MAC5780 | Otimização Inteira |
| MAC5781 | Otimização Combinatória |
| MAC5783 | Engenharia de Software |
| MAC5784 | Inteligência Artificial em Jogos de Computador |
| MAC5785 | Software Confiável: Desenvolvimento Formal |
| MAC5786 | Princípios de Interação Homem Computador |
| MAC5787 | Lógicas Não-Clássicas e suas Aplicações |
| MAC5788 | Planejamento em Inteligência Artificial |
| MAC5789 | Laboratório de Inteligência Artificial |
| MAC5790 | Otimização Linear |
| MAC5791 | Programação Não Linear |
| MAC5792 | Tópicos Especiais de Otimização I |
| MAC5793 | Problemas de Grande Porte em Programação Matemática |
| MAC5794 | Elementos de Economia Matemática |
| MAC5795 | Métodos Diretos para Sistemas Lineares Esparsos |
| MAC5796 | Métodos de Otimização em Finanças |
| MAC5797 | Otimização Não Linear |
| MAC5798 | Desenvolvimento de Sistemas Colaborativos |
| MAC5799 | Tópicos em Diferenciação Automática |
| MAC5800 | Informação, Comunicação e a Sociedade do Conhecimento |
| MAC5801 | Tópicos Especiais em Ciência da Computação |
| MAC5811 | Projeto e Análise de Algoritmos |
| MAC5820 | Teoria dos Semi-grupos e Aplicações |
| MAC5825 | Semigrupos Finitos e Álgebra Universal |
| MAC5826 | Métodos de Criptoanálise em Criptografia |
| MAC5827 | Tópicos em Combinatória |
| MAC5828 | Tópicos em Complexidade Computacional |
| MAC5829 | Quase-aleatoriedade |
| MAC5832 | Aprendizagem de Máquina: Modelos, Algoritmos e Aplicações |
| MAC5833 | Análise Idempotente |
| MAC5840 | Algoritmos e Arquiteturas Paralelas Sistólicas |
| MAC5841 | Técnicas de Paralelização em Compiladores |
| MAC5845 | Morfologia Matemática |
| MAC5850 | Computabilidade e Tratabilidade via Lógica |
| MAC5853 | Desenvolvimento de Sistemas de Computação |
| MAC5854 | Sistemas de Middleware |
| MAC5855 | Tópicos Especiais em Desenvolvimento para Web |
| MAC5856 | Desenvolvimento de Software Livre |
| MAC5857 | Desenvolvimento de Sistemas Web para Apoio ao Ensino/Aprendizagem |
| MAC5858 | Tópicos em Informática na Educação I |
| MAC5860 | Tópicos da Teoria do Modelo Relacional de Dados |
| MAC5861 | Modelagem de Banco de Dados |
| MAC5862 | Indexação de Dados |
| MAC5863 | Sistemas de Middleware Avançados |
| MAC5864 | Processamento de Transações |
| MAC5865 | Tópicos em Ciência e Engenharia de Dados |
| MAC5871 | Grafos Infinitos |
| MAC5872 | Tópicos em Teoria dos Grafos e Otimização |
| MAC5880 | Poliedros em Otimização Combinatória |
| MAC5881 | Combinatória Poliédrica e o Método dos Planos-de-corte |
| MAC5885 | Fundamentos Metodológicos para Inteligência Artificial |
| MAC5890 | Processos de Controle Descentralizado |
| MAC5891 | Métodos de Pontos Interiores em Programação Linear |
| MAC5892 | Análise Convexa e Otimização |
| MAC5900 | Computação Musical |
| MAC5910 | Programação para Redes de Computadores |
| MAC5911 | Tópicos em Visão Computacional e Processamento de Imagens |
| MAC5912 | Introdução a Redes Booleanas Probabilísticas |
| MAC5915 | Laboratório de Visão Computacional e Processamento de Imagens |
| MAC5917 | Introdução à Biologia de Sistemas |
| MAC5918 | Processamento e Análise de Imagens Médicas |
| MAC5920 | Introdução ao Processamento de Sinais Digitais |
| MAC5936 | Estudos Avançados em Otimização Contínua II |
| MAC5950 | Sistemas Humano-Computacionais |
| MAC6711 | Tópicos de Análise de Algoritmos |
| MAC6806 | Tradução Automática Estatística |
| MAC6900 | Tópicos Avançados de Coreografias de Serviços Web |
| MAC6901 | Raciocínio Espacial |
| MAC6902 | Programação Funcional Contemporânea |
| MAC6903 | Processamento de Imagens usando Grafos |
| MAC6904 | Tópicos em Combinatória Contemporânea I |
| MAC6905 | Tópicos em Combinatória Contemporânea II |
| MAC6906 | Teoria dos Jogos Algorítmica |
| MAC6907 | Tópicos Avançados de Composição de Serviços Web: Orquestrações e Coreografias |
| MAC6908 | Programação Semidefinida e Aplicações |
| MAC6909 | Empreendedorismo Digital |
| MAC6910 | Metodologia de Pesquisa para Ciência da Computação |
| MAC6911 | Introdução às Máquinas de Vetores de Suporte |
| MAC6912 | Ambientes de Desenvolvimento de Software |
| MAC6913 | Tópicos em Computação Gráfica |
| MAC6914 | Aprendizado de Máquina em Visão Computacional |
| MAC6915 | Topicos em Máquinas de Vetores de Suporte |
| MAC6916 | Modelos Probabilísticos Baseados em Grafos |
| MAC6917 | Tópicos em Computação Sonora e Musical |
| MAC6918 | Tópicos na Teoria Algébrica dos Grafos |
| MAC6919 | Teste de Software Baseado em Modelos |
| MAC6920 | Métodos Numéricos de Álgebra Linear |
| MAC6922 | Tópicos Avançados de Pesquisa em Cidades Inteligentes |
| MAC6923 | 3D Interaction in Mixed Realities |
| MAC6924 | Startup Enxuta |
| MAC6925 | Tópicos em Métodos da Análise de Fourier em Geometria Combinatória |
| MAC6926 | Introdução à Aprendizagem Estatística |
| MAC6927 | Teoria dos Números Computacional |
| MAC6928 | Tópicos na Teoria dos Números |
| MAC6929 | Fundamentos da Internet das Coisas |
| MAC6930 | Estudos Avançados em Otimização Combinatória |
| MAC6931 | Estudos Avançados em Sistemas de Software |
| MAC6932 | Métodos Qualitativos de Pesquisa |
| MAC6933 | Estudos Avançados em Sistemas Sócio-Técnicos |
| MAC6934 | Estudos Avançados em Sistemas de Distribuídos |
| MAC6935 | Estudos Avançados em Otimização Contínua I |
| MAC6936 | Estudos Avançados em Medidas de Conectividade I |
| MAC6937 | Estudos Avançados em Medidas de Conectividade II |
| MAC6938 | Estudos Avançados em Teste de Software Baseado em Modelos I |
| MAC6939 | Estudos Avançados em Teste de Software Baseado em Modelos II |
| MAC6940 | Estudos Avançados em Planejamento, Modelagem e Raciocínio sob Incerteza I |
| MAC6941 | Estudos Avançados em Planejamento, Modelagem e Raciocínio sob Incerteza II |
| MAC6942 | Estudos Avançandos de Modelos de Aprendizado Computacional: implementação e aplicação na área de
bioinformática I |
| MAC6943 | Estudos Avançandos de Modelos de Aprendizado Computacional: implementação e aplicação na área de
bioinformática II |
| MAC6944 | Estudos Avançados de Métodos Numéricos I |
| MAC6945 | Estudos Avançados de Métodos Numéricos II |
| MAC6946 | Estudos Avançados em Interação Humano Computador I |
| MAC6947 | Estudos Avançados em Interação Humano Computador II |
| MAC6948 | Estudos Avançados em Computação Musical I |
| MAC6949 | Estudos Avançados em Processamento de Imagens Usando Grafos I |
| MAC6950 | Estudos Avançados em Processamento de Imagens Usando Grafos II |
| MAC6951 | Estudos Avançados em Informática na Educação I |
| MAC6952 | Estudos Avançados em Informática na Educação II |
| MAC6953 | Seminários em Combinatória Extremal, Probabilística e Aditiva I |
| MAC6954 | Seminários em Combinatória Extremal, Probabilística e Aditiva II |
| MAC6955 | Tópicos sobre o Estado da Arte em Testes de Software |
| MAC6956 | Estudos Avançados em Aprendizado de Máquina Aplicado à Análise de Imagens |
| MAC6957 | Estruturas de Dados Avançadas |
| MAC6958 | Tópicos Avançados em Ciência de Dados para Redes de Computadores |
| MAC6959 | Ciência Urbana: Tecnologia, Ciência e Cidade |
| MAC6960 | Programação para Jogos Digitais |
| MAC6961 | Estudos Avançados em Lógica, Inteligência Artificial e Linguística Computacional |
| MAC6962 | Tópicos Matemáticos para Computação Contemporânea |
| MAC6963 | Biologia de Sistemas |
| MAC6964 | Estudos Avançados em Representação de Conhecimento |
| MAC6965 | Estudos Avançados em Redes Booleanas Probabilísticas I |
| MAC6966 | Using Coq and CLEARSY safety platform in software industry |
| MAC6967 | Laboratório Avançado de Ciência de Dados |
| MAC6988 | Cibersegurança |
