Resultados da pesquisa

...dinal|Cardeais fortemente compactos]] são definidos de maneira semelhante, sem a restrição da cardinalidade do conjunto de sentenças. * {{Citation|último=Drake|título=Set Theory: An Introduction to Large Cardinals|series=Studies in Logic and ...

...por uma distância maior que o raio de Hubble, elas não podem comunicar uma com a outra a partir de agora (como estão agora, não como foram no passado). No ...tempo <math>t</math> é dada por<ref>{{Citar livro|url=https://books.google.com/books?id=4ziIOYR1qZQC&pg=PA70|titulo=A Primer on the Physics of the Cosmic ...

{{título itálico}} ...eb |url= http://www.cas.org/expertise/cascontent/caplus/corejournals.html |título= CAplus Core Journal Coverage List |obra= [[American Chemical Society]] |ac ...

...negativo; do lado direito, cada etapa do processo está colorido de acordo com a probabilidade na medida ''Q''. A densidade de transformação de ''P'' a '' [[Categoria:!Páginas com citações sem título]] ...

...iado ''PTL''.<ref name="Gabbay2003">{{Citar livro|url=https://books.google.com/books?id=P8jZwiExZYEC&pg=PA46|isbn=978-0-444-50826-3}}Falta o <code>&#x7C;t ...também definem um ''fraco até que o'' operador binário, denotado '''W''', com semântica semelhante ao do operador até, mas a condição de parada não é nec ...

{{Sem notas|data=dezembro de 2016}} ...(lógica)|modelos]] (estruturas) que tem um domínio vazio. Uma lógica livre com a última propriedade é uma '''lógica inclusiva'''. ...

...listas de referências. A ferramenta BibTeX é normalmente usada em conjunto com o sistema de preparação de documentos LaTeX. Dentro do sistema de composiçã ...LaTeX) e cria como saída um arquivo ''.bbl'' contendo essas entradas junto com os comandos de formatação especificados pelo arquivo ''.bst'' (...). O LaTe ...

...eoria dos modelos]] (TM). A TM é um ramo da [[Lógica matemática]] que lida com a relação entre a [[linguagem formal]] (sintaxe) e suas interpretações ([[s |título=Finite-model theory – a personal perspective ...

...o para ela. Não é o único algoritmo utilizado pelo Google para classificar páginas da internet, mas é o primeiro utilizado pela companhia e o mais conhecido. ...336 milhões de [[Dólar|dólares]].<ref>{{Citar web|url=https://www.redorbit.com/news/education/318480/stanford_earns_336_million_off_google_stock/|titulo=S ...

...ebates no mundo de língua inglesa.<ref name="EnglishPreface">{{Citar livro|título=Intellectual Impostures|ultimo=Sokal|primeiro=Alan|ultimo2=Jean Bricmont|an ...gualmente apaixonados de Sokal [...] Alguns de nós, que ficaram encantados com a farsa de Sokal, tiveram uma visão mais positiva do pós-modernismo.<br/> ...

...h Company.<ref name="companyfiling">{{Citar web|url=https://opencorporates.com/companies/us_de/5638987|titulo=THE ZEROCOIN ELECTRIC COIN COMPANY LLC}}</re ...milhões de unidades.<ref name="NYT">{{Citar jornal|url=https://www.nytimes.com/2016/11/01/business/dealbook/zcash-a-harder-to-trace-virtual-currency-gener ...

...o de Cremona]] na cidade de [[Toledo]] do {{séc|XII}} confundiram ''jiba'' com ''jaib'' (جب), que significa "baía", provavelmente porque ''jiba'' (جب) e ' ...enjamin Boyer|título=|ano=1991|capítulo=Greek Trigonometry and Mensuration|páginas=166-167|citação=It should be recalled that form the days of Hipparchus unti ...

...cristãos, que não conseguiram conciliar a concepção aristotélica do eterno com a [[história da criação no Gênesis]].{{sfn|Feldman|1967|pp=113-37}} ...dievais]] desenvolveram o conceito de que o universo tem um passado finito com um começo. Essa visão foi inspirada no [[Mito de criação|mito da criação]] ...

...''A'', ''B'', ''C'', ''x'', ''y'', e ''z'' são números inteiros positivos, com ''x'', ''y'', ''z'' > 2, então ''A'', ''B'', e ''C'' possuem um [[fator pri ...eal Conjecture|url=http://www.bealconjecture.com/|publicado=Bealconjecture.com|acessodata=2014-03-06}}</ref> Desde 1997, Beal oferece um prêmio em dinheir ...

...eos da teoria dos conjuntos também estudam axiomas que não são compatíveis com o axioma da escolha, como o axioma da determinação. O axioma da escolha é e ...nstrada a existência de um conjunto de escolha com os demais axiomas de ZF sem usar o axioma da escolha, usando um argumento por indução. Por outra parte, ...

{{Sem notas|data=outubro de 2016}} ...que considere uma declaração inserida e responda "sim" ou "não" de acordo com se ela é universalmente válida, ou seja, válida em todas as [[Estrutura|est ...

...s 3 entradas são falsas.<ref>{{citar livro|primeiro =Eldon C.|último =Hall|título=Journey to the Moon: The History of the Apollo Guidance Computer|publicado= ...> avaliado por todas as 8 combinações de três variáveis, que vai coincidir com a tabela. ...

| hand = Elegantemente escrito, mas com erros ...|último = Wettstein |primeiro = J. J. |autorlink = Johann Jakob Wettstein |título= Novum Testamentum Graecum editionis receptae cum lectionibus variantibus c ...

...= Aland |primeiro = Kurt |autorlink = Kurt Aland |coautor= Barbara Aland |título= The Text of the New Testament: An Introduction to the Critical Editions an ...mas numerosos erros foram feitos durante este processo. A relação do codex com a [[Vulgata]] não era clara e inicialmente os estudiosos não estavam ciente ...

...cessodata=21 de outubro de 2024}}</ref><ref name="GIMPS-2018">{{citar web |título=GIMPS Project Discovers Largest Known Prime Number: 2^82,589,933- Várias questões históricas relacionadas a números primos continuam sem solução. Estas incluem a [[conjectura de Goldbach]], que afirma que todo nú ...