11 relações: Association for Computing Machinery, Bolsa Guggenheim, Ciência da computação teórica, Complementar, Fechamento, Juris Hartmanis, Prêmio Gödel, Prêmio Turing, Teorema de Immerman–Szelepcsényi, Universidade Cornell, Universidade Yale.
Association for Computing Machinery
A Association for Computing Machinery (ACM; lit. Associação para Maquinaria da Computação) foi fundada em 1947 como a primeira sociedade científica e educacional dedicada à computação.
Novo!!: Neil Immerman e Association for Computing Machinery · Veja mais »
Bolsa Guggenheim
A bolsa Guggenheim (Guggenheim Fellowship) é um financiamento concedido anualmente pela Fundação Memorial John Simon Guggenheim desde 1925, para aqueles "que demonstram excepcional capacidade para produtividade com a bolsa ou habilidade criativa excepcional em artes." A cada ano a fundação concede centenas de prêmios em cada uma de duas áreas separadas de competição.
Novo!!: Neil Immerman e Bolsa Guggenheim · Veja mais »
Ciência da computação teórica
Ciência da computação teórica (TCS) ou informática teórica é uma divisão ou subconjunto de ciências da computação e matemática que incide sobre os aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação.
Novo!!: Neil Immerman e Ciência da computação teórica · Veja mais »
Complementar
A área em vermelho é o complementar de ''A'' em ''U'', A^c~~~.
Novo!!: Neil Immerman e Complementar · Veja mais »
Fechamento
Em matemática, um conjunto é fechado em relação a uma dada operação quando o resultado dessa operação em elementos desse conjunto é ainda um elemento desse conjunto.
Novo!!: Neil Immerman e Fechamento · Veja mais »
Juris Hartmanis
Juris Hartmanis (Riga, 5 de julho de 1928 - 29 de julho de 2022) foi um informático estadunidense.
Novo!!: Neil Immerman e Juris Hartmanis · Veja mais »
Prêmio Gödel
O Prêmio Gödel é um prêmio por artigos de destaque em teoria da ciência da computação, homenageando Kurt Gödel e concedido conjuntamente pela Associação Europeia de Ciência Computacional Teórica (EATCS) e pela ACM SIGACT.
Novo!!: Neil Immerman e Prêmio Gödel · Veja mais »
Prêmio Turing
O Prêmio Turing é concedido anualmente pela Association for Computing Machinery (ACM) para uma pessoa selecionada por contribuições à computação.
Novo!!: Neil Immerman e Prêmio Turing · Veja mais »
Teorema de Immerman–Szelepcsényi
Na teoria de complexidade computacional, o teorema de Immerman–Szelepcsényi foi provado de forma independente por Neil Immerman e Róbert Szelepcsényi no ano de 1987.
Novo!!: Neil Immerman e Teorema de Immerman–Szelepcsényi · Veja mais »
Universidade Cornell
Universidade Cornell é uma universidade privada de pesquisa com concessão de terras estatutária da Ivy League com sede em Ithaca, Nova Iorque.
Novo!!: Neil Immerman e Universidade Cornell · Veja mais »
Universidade Yale
A Universidade Yale é uma instituição de ensino superior privada americana, situada em New Haven, Connecticut.
Novo!!: Neil Immerman e Universidade Yale · Veja mais »