Resultados da pesquisa

|nacionalidade ={{USAb}} [[Estados Unidos|Estadunidense]] ...|matemático]] [[Estados Unidos|estadunidense]]. É especialista em [[teoria dos conjuntos]]. ...

|nacionalidade =[[Povo dos Estados Unidos|Estadunidense]] ...vo dos Estados Unidos|estadunidense]], que trabalhou nas áreas de [[teoria dos conjuntos]], [[lógica matemática]] e [[Topologia (matemática)|topologia]].< ...

|pais_de_residencia = [[Estados Unidos]] Um dos estudantes mais notórios de [[Alonzo Church]], Kleene é reconhecido junto c ...

...po, a concretização dessas exceções - que muitas vezes constituem direitos dos destinatários - é impossibilitada na cadeia de ações subsequente, seja no c ...um bombardeiro da [[Força Aérea dos Estados Unidos|força aérea dos Estados Unidos]], que deseja ser proibido de realizar combates aéreos. Para ser proibido, ...

...ca distingue dois tipos de axiomas: '''axiomas lógicos''' e '''axiomas não-lógicos'''. ...co evoluído e ora válido, devem manter-se sempre corroborados pela íntegra dos fatos científicos conhecidos até a data em questão. ...

...Em 1929, ele foi eleito para a [[Academia de Artes e Ciências dos Estados Unidos|Academia  Americana de Artes e Ciências]]. Em 1933, ele presidiu a Associaç ...ra da sua publicação, que incluía a única discussão em Inglês dos escritos lógicos de [[Charles Sanders Peirce|Charles Peirce]] e apenas o segundo, depois da ...

...er nasceu na [[Ucrânia]] em [[1882]] e imigrou em [[1892]] para os Estados Unidos da América com seus pais. Ele estudou na [[Universidade de Harvard]], onde ...vô na Rússia (de acordo com sua mãe, ele escreveu poemas em hebraico antes dos dez anos de idade), fez uma base sólida para a aquisição de idiomas moderno ...

...[[máx-min (lógica difusa)|máx-min]] para os ''ou'' e ''e'' [[lógica difusa|lógicos]], e para as união e intersecção de [[conjunto difuso|conjuntos difusos]]. A lógica 'fuzzy' decorre dos mesmos axiomas que a probabilidade, com uma única exceção: a do [[axioma do ...

...nal dos anos 60 ao começo dos anos 70 em paralelo em pesquisas dos Estados Unidos e [[União Soviética]]. ...esse no documento de Cook gerando a [[Karp's 21 NP-complete problems|lista dos 21 problemas NP-completos]]. Cook e Karp receberam um [[Prêmio Turing]] por ...

...mentos de [[Sócrates]] registrados por [[Platão]]. Estes incluem uma parte dos primeiros diálogos de Platão, em que Sócrates discute com um ou mais interl ...ecionando de perto as suposições e apoiando-se em evidências e fundamentos lógicos. Platão registrou os ensinamentos de Sócrates e manteve a tradição do pensa ...

...tejam vazias. Cada coluna, linha e região só pode ter um número de cada um dos 1 a 9. Resolver o problema requer apenas [[raciocínio lógico]] e algum temp ...ao [[jogo]], o nome de ''Number Place'', que é usado até hoje nos Estados Unidos. ...

...ue se restringe apenas aos aspectos lógicos do seu funcionamento (memória, estados e transições), e não a sua implementação física. Numa máquina de Turing pod ...cações alemãs durante a [[Segunda Guerra Mundial]], tendo utilizado alguns dos conceitos teóricos desenvolvidos para o seu modelo de ''computador universa ...

...los pixels de uma imagem de entrada. Os dados adquiridos por essa ativação dos neurônios são então repassados​​, ponderados e transformados por uma função ...o outros métodos de aprendizado de máquina, sistemas que aprendem a partir dos dados, redes neurais têm sido usadas para resolver uma grande variedade de ...

Os núcleos ''Bulldozer'' suportam a maioria dos conjuntos de instruções implementados pelos processadores [[Intel]] ([[Sand ...data=13 de novembro de 2011}}</ref> Em outras palavras, ao eliminar alguns dos elementos "redundantes" que naturalmente aparecem em designs multicore, a A ...

...por um suposto "espírito animal" (''animal spirit'' no original em inglês) dos empresários. [[Macroeconomia]] é o estudo dos fatores que se aplicam a uma economia como um todo. As variáveis ​​macroeco ...

...icrocomputador]] na década de 1970. A velocidade, potência e versatilidade dos computadores têm aumentado dramaticamente desde então, com a contagem de tr ...ue remonta à [[Grécia Antiga|Grécia antiga]] por volta de 150-100 aC, é um dos primeiros dispositivos [[Computador analógico|de computação analógicos]] .] ...

...o entanto, as redes neurais atuais não pretendem modelar a função cerebral dos organismos e são geralmente vistas como modelos de baixa qualidade para ess A maioria dos modelos modernos de aprendizagem profunda são baseados em [[Rede neural art ...