Contato
Links úteis
Ciência da Computação
Engenharia de Computação
Contato
Telefones Internos
Localização
Webmail
Institucional
Apresentação
História
Prêmios
Prêmio Alumni
Localização
Identidade Visual
Vídeos
Regimento
Graduação
Apresentação
Ingresso
Informações básicas aos alunos
Intercâmbio
Ciência da Computação
Engenharia de Computação
Perguntas Frequentes
Pós-Graduação
Apresentação
PPGC
PGMICRO
PPGIE
Especializações
Pesquisa
Grupos de Pesquisa
Comissão de Pesquisa
Extensão
Cursos de Extensão
Cursos de Especialização
Projetos de Extensão
Inscrições Abertas
Série de seminários do INF
Estrutura
Direção
NAU
Conselho
Comissões
Departamentos
Programas
CEI INCUBADORA
PET Computação
DACOMP
Pessoas
Corpo docente
Técnicos Administrativos
Alumni (ex-alunos)
Publicações
Livros didáticos
RITA
Coop. Internacional
Protocolos e Intercâmbios Ativos
Departamento de Informática Teórica
Chefia e Plenário
Professores do departamento
Planos de Ensino Informática Teórica
Departamento de Informática Teórica | Planos de Ensino Informática Teórica
Biologia Computacional (INF05018)
Complexidade de Algoritmos B (INF05515)
Fundamentos de Algoritmos (INF05008)
Linguagens Formais e Autômatos N (INF05005)
Lógica para Computação (INF05508)
Otimização combinatória (INF05010)
Semântica Formal N (INF05516)
Teoria da Computação N (INF05501)
Teoria dos Grafos e Análise Combinatória (INF05512)
Tópicos Especiais em Computação V (INF05504)
Tópicos Especiais em Computação XXVI (INF05021)
Tópicos Especiais em Computação XXVIII (INF05023)
Compartilhe isso:
Facebook
Twitter
LinkedIn
Imprimir