Componentes Curriculares
Acesse as ementas das disciplinas no seguinte link: https://si3.ufc.br/sigaa/public/componentes/busca_componentes.jsf?nivel=S&aba=p-stricto, selecionando a unidade responsável: “PROGRAMA DE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO – FORTALEZA”.
Disciplinas do Grupo A
CKP7544 – Aspectos Formais da Computação
CKP7477 – Construção e Análise de Algoritmos
CKP8077 – Estruturas de Dados
CKP7466 – Probabilidade e Processos Estocásticos
Disciplinas do Grupo B
CKP8122 – Álgebra Linear Computacional
CKP8277 – Aprendizagem Automática
CKP8555 – Avaliação de Desempenho de Sistemas Computacionais
CKP7788 – Engenharia de Software
CKP8088 – Geometria Computacional
CKP8211 – Programação Linear
CKP7500 – Sistemas Distribuídos e Redes de Comunicação
CKP8322 – Teoria dos Grafos
Demais Disciplinas (Grupo C)
CKP8099 – Algoritmos Aproximativos
CKP8133 – Algoritmos Paralelos e Distribuídos I
CKP8266 – Algoritmos Paralelos e Distribuídos II
CKP8511 – Algoritmos Probabilísticos
CKP8100 – Animação por Computador
CKP8111 – Arquitetura de Computadores
CKP7833 – Automatização do Raciocínio
CKP7944 – Banco de Dados
CKP8200 – Banco de Dados Avançados
CKP8599 – Complexidade Computacional
CKP8611 – Complexidade Descritiva
CKP7588 – Computação de Alto Desempenho
CKP7644 – Computação Gráfica I
CKP7655 – Computação Gráfica II
CKP8622 – Computação Móvel e Ubíqua
CKP8255 – Decomposições de Grafos
CKP8677 – Desenvolvimento de Software para Nuvem
CKP8644 – Engenharia de Ontologias
CKP7733 – Equações Diferenciais para Computação
CKP7577 – Especificação Formal e Validação de Protocolo
CKP7555 – Gerenciamento de Redes
CKP8166 – Implementação de Sistemas de Bancos de Dados
CKP7822 – Inteligência Artificial
CKP8666 – Interação Humano-Computador
CKP9011 – Introdução à Ciência de Dados
CKP7799 – Linguagem de Programação
CKP8466 – Lógica da Pesquisa Científica
CKP8155 – Lógicas Não Clássicas
CKP9000 – Manutenção e Evolução de Software
CKP7744 – Métodos das Diferenças Finitas
CKP7755 – Métodos dos Elementos Finitos
CKP7766 – Métodos Híbridos Analítico-Numéricos
CKP7955 – Modelagem e Projeto de Banco de Dados
CKP8288 – Modelagem em Eng. do Petróleo e Fluido-Térmlca
CKP8199 – Modelagem Geométrica
CKP7599 – Otimização Combinatória
CKP8488 – Processamento de Alto Desempenho
CKP8177 – Processamento Digital de Imagens
CKP8477 – Programação Concorrente
CKP7866 – Programação Heurística
CKP8244 – Programação Inteira
CKP8188 – Programação Simbólica
CKP8655 – Qualidade de Software
CKP8522 – Realidade Virtual e Aumentada
CKP7566 – Redes de Alta Velocidade
CKP8222 – Redes Móveis e Sem Fio
CKP8500 – Reutilização de Software
CKP8233 – Segurança em Redes
CKP8299 – Sistemas de Bancos de Dados Distribuídos
CKP7811 – Teoria da Computação
CKP8300 – Teoria da Prova
CKP8311 – Teoria das Categorias
CKP8600 – Teoria dos Modelos Finitos
CKP9012 – Verificação e Validação de Software
CKP8533 – Visualização Científica
CKP8633 – Web Semântica
Tópicos (Grupo D)
CKP8333 – Tópicos Especiais em Combinatória
CKP8344 – Tópicos Especiais em Computação Gráfica I
CKP8355 – Tópicos Especiais em Computação Gráfica II
CKP8544 – Tópicos Avançados em Computação Gráfica III
CKP8366 – Tópicos Especiais em Lógica I
CKP8377 – Tópicos Especiais em Lógica II
CKP8388 – Tópicos Especiais em Matemática Computacional I
CKP8399 – Tópicos Especiais em Matemática Computacional II
CKP8400 – Tópicos Especiais em Otimização Combinatória
CKP8499 – Tópicos Especiais em Programação Concorrente e Distribuição Paralela
CKP8411 – Tópicos Especiais em Redes e Sist. Distribuídos I
CKP8422 – Tópicos Especiais em Redes e Sist. Distribuídos II
CKP8433 – Tópicos Especiais em Sistemas de Informação I
CKP8444 – Tópicos Especiais em Sistemas de Informação II
CKP8455 – Tópicos Especiais em Teoria dos Grafos
