Resultados da pesquisa

|data_morte ={{nowrap|{{morte|13|2|1956|21|12|1878}}}} ...Łukasiewicz''' ([[21 de dezembro]] de [[1878]] — [[13 de fevereiro]] de [[1956]]) foi um [[lógico]] [[Polónia|polonês]].<ref>{{citar web|url= https://www. ...

...Instituto de Matemática da Universidade de Viena. Em 1945 foi [[lecturer]] na ''Hochschule für Bodenkultur'' em Viena. Em 1949 foi professor da [[Univers ...aren linearen partiellen Differentialgleichungen'', Jahresbericht DMV, 58, 1956, p. 103–109 ...

O acordo para o estabelecimento do Instituto foi assinado em 26 de março de 1956 em Moscou, tendo [[Wang Ganchang]] e [[Vladimir Veksler]] entre os fundador ...} fotografias que registraram milhares de interações nucleares acontecidas na [[câmara de bolhas|câmara de bolhas de propano]], produzida pelo sincrofaso ...

..., '''símbolos terminais e não terminais''' são os elementos léxicos usados na especificação das regras de produção que constituem uma [[gramática formal] ...sobre o token. Essa informação adicional não faz parte da gramática, então na nossa discussão de análise sintática, frequentemente nos referimos aos toke ...

{{mais-notas|ciência=sim|data=fevereiro de 2014}} {{Wikificação|ciência=sim|data=fevereiro de 2014}} ...

..., que inclui a teoria de [[dualidade onda-corpúsculo]] da matéria, baseada na teoria dos quanta proposta por [[Max Planck]] e [[Albert Einstein]]. Este t ...ondulatoire: la théorie de la double solution.'' Paris: Gauthier-Villars, 1956. ...

...experimento de Wu''' foi um experimento de [[física nuclear]] conduzido em 1956 pela física sino-americana [[Chien-Shiung Wu]] em colaboração com o Grupo d ...ento e liderou a equipe que realizou o teste de conservação de paridade em 1956]] ...

...língua. As regras descrevem como formar cadeias ― a partir do [[Alfabeto (ciência da computação)|alfabeto]] da linguagem ― que são válidas de acordo com a [[ .... Suas aplicações podem ser encontradas na [[Ciência da computação teórica|Ciência da Computação Teórica]], [[Linguística|Linguística Teórica]], [[Semântica f ...

Na área da [[matemática]] da [[teoria dos grafos]], um '''clique''' em um [[gr ...emas matemáticos e construções em grafos. O Clique vem sendo estudado na [[ciência da computação]]: a tarefa de achar se existe um clique de um dado tamanho e ...

{{sem notas|data=maio de 2012| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| sociedade=|1=Este artigo ou secção|2=|3=| ...das cilíndricas parabólicas possuem inúmeras aplicações como, por exemplo, na [[teoria potencial]] das arestas. ...

...ia da computação|cientista da computação]] holandês [[Edsger Dijkstra]] em 1956 e publicado em 1959,<ref name="Dijkstra Interview">{{citar periódico|último // insere na fila ...

...]], [[12 de agosto]] de [[1862]] - [[Châteauroux]], [[14 de outubro]] de [[1956]]) foi um [[matemático]] [[França|francês]].<ref>J. Itard: ''Richard, Jules Em um tratado mais filosófico sobre a natureza de axiomas na geometria, Richard discute e rejeita os seguintes princípios básicos: ...

...= [[Pafnuti Tchebychev|Chebyshev]] (1981), [[Trabalhador Honrado da Ciência da Federação Russa]] (1999), [[Ivan Vinogradov|Vinogradov]] (2001) Enquanto era estudante na [[Universidade Estatal de Moscou]], Karatsuba participou das atividades pro ...

...] e do desenvolvimento da [[navegação astronômica]] na Europa.<ref>Taylor (1956); Parry (1974)</ref> ...que uma ampulheta se esgotasse e os "[[Nó (unidade)|nós]]" fossem contados na sequência. O log do chip foi mencionado pela primeira vez por [[William Bou ...

...ef> foi um [[matemático]], [[físico]] e [[Filosofia da ciência|filósofo da ciência]] [[Franceses|francês]]. ...doutorou em matemática em 1879. Foi nomeado professor de física matemática na [[Sorbonne]] (1881), posto que manteve até sua morte. Antes de chegar aos t ...

{{sem notas|data=maio de 2012| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| sociedade=|1=Este artigo ou secção|2=|3=| ...tido <math>-y</math>). Os focos de todas essas parábolas estão localizados na origem. ...

...dos grafos|teoria de grafos]], o '''problema do caminho mínimo''' consiste na minimização do ''custo'' de travessia de um [[grafo]] entre dois nós (ou vé ...o Engenharia de Transportes, Pesquisa Operacional, [[Ciência da computação|Ciência da Computação]] e Inteligência Artificial. Isso decorre do seu potencial de ...

...vez injustificada. Num desenvolvimento que prenunciava um outro similar em ciência da computação, Prior tomou o fato em consideração; e desenvolveu duas teori |'''''U'''ntil'' (Até): <math>\psi</math> detém na atual ou futura posição; e <math>\phi</math> tem de manter até essa posição ...

Em 1907, Harry Bateman lecionava na [[Universidade de Liverpool]] junto com outro wrangler sênior, [[Ebenezer C ...ordagem geral. Bateman, talvez influenciado pelo ponto de vista de Hilbert na física matemática como um todo, foi o primeiro a ver que as idéias básicas ...

Na [[lógica]] tradicional, um '''axioma''' ou '''postulado''' é uma [[Sentença Na [[matemática]], um ''axioma'' é uma [[hipótese]] inicial de qual outros enu ...