Somos UnB
UnB
Última atualização do sistema: 02.09.2024
HOME
INDICADORES
CONTATO
SOBRE
Professor
Claus Akira Horodynski-Matsushigue
http://lattes.cnpq.br/8190086937647585
Última atualização do Lattes: 11.05.2015
Unidade:
Instituto de Ciências Exatas (IE)
Departamento:
DEPTO MATEMATICA
Nome de citação:
HORODYNSKI-MATSUSHIGUE, C. A.
Exibir Gráficos
Gráfico de Produção Bibliográfica
Gráfico de Orientações Concluídas
Produção Bibliográfica
Artigos Publicados
(2, 0% com DOI)
+
Trabalho em Eventos
(7, 0% com DOI)
+
Orientações Concluídas
Mestrado:
0
Doutorado:
0
Pos-Doutorado:
0
Outras:
1
9 Especialidades
Por ordem de relevância
Nome da especialidade
(número de vezes que aparece no Lattes)
Computabilidade e Modelos de Computação
(6)
+
maiores informações sobre esta especialidade
Análise de Algoritmos e Complexidade de...
(5)
+
maiores informações sobre esta especialidade
Lógica Matemática
(5)
+
maiores informações sobre esta especialidade
Lógica matemática
(2)
+
maiores informações sobre esta especialidade
Análise de Algoritmos e Complexidade de...
(1)
+
maiores informações sobre esta especialidade
Conjuntos
(1)
+
maiores informações sobre esta especialidade
Matemática Discreta e Combinatória
(1)
+
maiores informações sobre esta especialidade
Sistemas formais
(1)
+
maiores informações sobre esta especialidade
Teoria dos Grafos
(1)
+
maiores informações sobre esta especialidade
Coautores
Total: 0
Professor da UnB (0)
Externo Identificado no Lattes (0)
Não identificado (0)
21 Palavras Chave
utilizadas pelo professor
Sistemas Lógicos Formais
Teoria da Computação
Metamatemática
Axiomatização de teorias
Finitismo
Complexidade Computacional
Aritmética de Peano
Classes de Complexidade Probabilísticas
Métodos Probabilísticos em Computação
Caracterização de Classes de Complexidade
Fundamentos da Matemática - Lógica
Problema P = NP
Classe PCP
Indemonstrabilidade e Independência em Teorias
Resultados de independência/indemonstrabilidade
Problema do colapso da hierarquia polinomial
Problema NP = coNP
Leis zero-um
Grafos aleatórios
Indemonstrab. e Independência em Sistemas Formais
teoria dos conjuntos
CTIT UFMG