Resultados da pesquisa

{{Ver desambig|lema, visto pela [[matemática]]|lema (desambiguação)}} ...o=5. Um pouco sobre a linguagem matemática – Finalizando . . . – Clubes de Matemática da OBMEP|url=http://clubes.obmep.org.br/blog/linguagem-matematica-sala-5/|o ...

[[Categoria:Lemas (matemática)]] ...

[[Categoria:Lemas (matemática)]] ...

Na [[matemática]] e [[lógica]], uma '''prova direta''' é uma forma de mostrar que certa afi ...

Em [[matemática]], o '''lema de Artin-Rees''' é um resultado básico sobre [[Módulo (álgebra {{Esboço-matemática}} ...

...é uma [[Identidade (matemática)|identidade matemática]] usada como [[Lema (matemática)|lema matemático]] durante o [[método chakravala]]. Diz que: == Prova matemática == ...

Em [[matemática]], especialmente na [[teoria dos conjuntos]], o '''lema de Fodor''' afirma {{Portal3|Matemática}} ...

Em [[matemática]], o '''lema de Grönwall''' estabelece uma importante [[estimativa]] aplicá [[Categoria:Lemas (matemática)]] ...

...ira [[função (matemática)|função]] publicada a apresentar tal [[patologia (matemática)|patologia]]. :Aqui, usamos os lemas 3.2 e 3.3 do Capítulo 4 do livro de '''Shakarchi''' <ref>{{citar livro|últ ...

O [[Lema (matemática)|lema]] pode ser visto como uma generalização da equação de Lyapunov na teo [[Categoria:Lemas (matemática)]] ...

...vre-contexto''', também conhecido como o lema de Bar-Hillel, é um [[lema (matemática)|lema]] que dá uma propriedade compartilhada por todas as [[linguagem livre [[Categoria:Lemas]] ...

...cido como '''o lema de [[Yehoshua Bar-Hillel|Bar-Hillel]]''', é um [[Lema (matemática)|lema]] que dá uma propriedade compartilhada por todas as [[Linguagem livre [[Categoria:Lemas]] ...

[[Categoria:Lemas (matemática)]] ...

Na [[lógica matemática]], o '''cálculo proposicional implicacional''' é um fragmento do [[cálculo ...da uma das subfórmulas de ''S'' para uma dada [[valoração]]. Por [[indução matemática]] sobre o comprimento das subfórmulas, mostraremos que a partir de proposiç ...

|interesses =[[Matemática]] e [[Astronomia]] ...scido entre [[201]] e [[214]] — falecido entre [[284]] e [[298]]) foi um [[Matemática grega|matemático grego]]. É considerado por muitos como "o pai da [[álgebra ...

...ter–Tarski''', por Bronisław Knaster e [[Alfred Tarski]], é um resultado [[matemática|matemático]] em [[teoria da ordem]] sobre [[reticulado]]s que diz o seguint Dos lemas 3 e 4 resulta que <math display="inline">\bigvee Pos\in (Pos\cap Pre)</math ...

Em [[estatística]], o '''método''' ou [[Lema (matemática)|lema]] '''de Neyman–Pearson''' foi introduzido pelo matemático polonês [[J [[Categoria:Lemas (matemática)]] ...

...ia da computabilidade. Tal teorema também desempenha papeis importantes na matemática construtiva e na [[teoria da prova]]. ...ira, uma caminho simples infinito pode ser construído através de [[indução matemática]]. A cada passo, a hipótese de indução afirma que existe uma quantidade inf ...

...to de traduções que cobrirá todo o espaço aleatório. Em uma linguagem mais matemática: Um corolário importante dos lemas mostra que o resultado da prova pode ser expresso como uma Σ₂, c ...

Na [[Teoria dos grafos|teoria do grafos]], um ramo da matemática, o '''lema do aperto de mão''' é a afirmação que todo grafo não-direcionado De modo alternativo, é possível utilizar uma [[indução matemática]] para provar que o número de vértices de grau ímpar é par, removendo uma a ...