Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...icos, utilizados em cálculos e fórmulas matemáticas. Alguns dos principais símbolos, são:<ref>{{Citar web |url=http://educar.sc.usp.br/matematica/m2l1.htm |tit == Símbolos Especiais == ...12 kB (1 656 palavras) - 00h45min de 10 de janeiro de 2023
- <p style="font-family:georgia;font-size:1.7em;text-align:center">''Símbolos lógicos''</p> ...1 012 byte (168 palavras) - 20h54min de 3 de junho de 2018
- ...denada são normalmente chamadas de símbolos de Christoffel. Utilizam-se os símbolos de Christoffel sempre que [[cálculo]]s práticos que implicam [[geometria]] No [[espaço euclideano]], podemos definir os símbolos Christoffel do segundo tipo ou coeficientes de uma [[conexão afim]]<ref nam ...15 kB (2 679 palavras) - 20h25min de 17 de janeiro de 2020
- ...e produção de uva por estado brasileiro em 2022.|miniaturadaimagem|Mapa de símbolos proporcionais apresentando a quantidade de produção de uva por estado brasi ...rcional à variável, mas métodos mais indiretos (por exemplo, categorizando símbolos como "pequeno", "médio" e "grande") também são utilizados. ...29 kB (4 648 palavras) - 00h06min de 14 de janeiro de 2025
- * [[Símbolos matemáticos]] * [[Lista de símbolos lógicos]] ...23 kB (3 391 palavras) - 00h18min de 16 de maio de 2024
- ...cos já são familiarizados estudantes da lógica, a tabela a seguir lista os símbolos mais comuns, junto com seu nome, leitura e área da matemática relacionada. Fora do campo da lógica, diferentes símbolos têm o mesmo significado, e para um mesmo símbolo, a depender do contexto, o ...25 kB (3 442 palavras) - 15h20min de 9 de abril de 2024
- ...Enquanto as duas propostas abordam exatamente o mesmo problema físico, os símbolos 3-j são mais [[simetria|simétricos]] e, portanto, têm propriedades de simet Os símbolos 3-''j'' são dados em termos dos coeficientes Clebsch-Gordan por ...6 kB (902 palavras) - 12h00min de 26 de fevereiro de 2025
- Na [[mecânica quântica]], os '''símbolos 9-''j'' de Wigner''' foram introduzidos por [[Eugene Paul Wigner]] em 1937. ...2 kB (302 palavras) - 06h02min de 10 de março de 2018
- ...do em 1965. Eles são definidos como uma soma sobre os produtos de quatro [[símbolos 3-j de Wigner]],<ref>{{citar periódico|primeiro1 =J. |último1 =Rasch |prime ...seis {{math|''m''<sub>''i''</sub>}} permitidos pelas regras de seleção dos símbolos 3-''J''. ...5 kB (805 palavras) - 00h19min de 17 de março de 2018
- Na [[Ciência da Computação]], '''símbolos terminais e não terminais''' são os elementos léxicos usados na especificaç == Símbolos Terminais == ...8 kB (1 246 palavras) - 23h17min de 27 de julho de 2021
Resultados no conteúdo das páginas
- O conjunto dos {{AO-pAO|símbolos não lógicos|símbolos não-lógicos}} é a parte de uma linguagem de [[Lógica de primeira ordem|prim ...[[constante matemática|constante]]s, por serem funções 0-árias, são também símbolos não-lógicos. ...2 kB (323 palavras) - 18h50min de 15 de maio de 2016
- ...icadas.<Ref>{{MathWorld|title=Doublestruck|urlname=Doublestruck}}</ref> Os símbolos geralmente denotam [[conjuntos de números]]. Uma maneira de produzir negrit Em alguns textos estes símbolos são simplesmente mostrados em [[negrito]]. A fonte na verdade originou-se d ...2 kB (328 palavras) - 23h17min de 29 de agosto de 2024
- ...emática]], regras de formação são regras que descrevem quais sequências de símbolos formados a partir do alfabeto da lógica formal são sintáticamente validos d ...r interpretação.Uma gramática formal determina que símbolos e conjuntos de símbolos são formulas em uma linguagem formal. ...2 kB (378 palavras) - 11h26min de 12 de janeiro de 2025
- ...o alfabeto binário. Uma cadeia finita é uma sequência finita de letras de símbolos de um determinado alfabeto; por exemplo, uma cadeia binária é uma cadeia fo ...1 kB (184 palavras) - 02h12min de 5 de fevereiro de 2020
- ...ráfico de uma inequação que no lugar da igualdade é utilizada algum desses símbolos: <, >, ≤ e ≥.]] ...e dois elementos. Nos [[números reais]], esta relação é representada pelos símbolos <math><,\leq,>,\geq</math>, significando, menor, menor ou igual, maior, mai ...2 kB (218 palavras) - 00h45min de 23 de março de 2024
- ...mos que podem ser compostos aplicando uma composição funcional a partir de símbolos básicos. ...e L. Levando em conta a definição de termo básico, podemos observar que os símbolos que aparecem em um universo de Herbrand são [[functor|funtores]] e [[consta ...4 kB (730 palavras) - 14h41min de 3 de março de 2019
- onde '''''P''''' é um conjunto enumerável de símbolos de proposições. ...] da lógica de primeira ordem. <math>\mathcal{} S</math> é um conjunto de símbolos de funções e <math>\mathcal{} ar _S : S \to N</math> (onde <math>\mathcal{} ...3 kB (449 palavras) - 12h44min de 25 de março de 2013
- ...tica]], uma '''assinatura''' compreende o conjunto de [[símbolo não-lógico|símbolos não-lógicos]] que caracteriza uma [[linguagem formal]]. * ''R'' é um conjunto de ''símbolos de relação ou predicado''. Exemplos: ≤, ≥, ∈. ...7 kB (1 163 palavras) - 14h51min de 28 de junho de 2020
- ...sem uma justificativa rigorosa. Isso significa que estamos manipulando os símbolos em uma expressão usando uma substituição genérica, sem provar que as condiç === Manipulação de Símbolos === ...3 kB (499 palavras) - 00h01min de 8 de outubro de 2023
- ...onde <math>n \geq m</math>. Essa transformação é função dos últimos ''k'' símbolos na entrada do codificador, e a razão ''m/n'' é conhecida como taxa de códig ...2 kB (348 palavras) - 01h56min de 13 de setembro de 2019
- Na [[Ciência da Computação]], '''símbolos terminais e não terminais''' são os elementos léxicos usados na especificaç == Símbolos Terminais == ...8 kB (1 246 palavras) - 23h17min de 27 de julho de 2021
- ...um conjunto finito (conhecido como um alfabeto) <math> \ Sigma </math> de símbolos terminais ''s'', que é [[Conjuntos_disjuntos|disjunto]] de <math> N </math> ...tá feito. Podemos escrever esta série de escolhas mais rapidamente, usando símbolos: <math>S \Rightarrow aSb \Rightarrow aaSbb \Rightarrow aababb</math>. A lin ...4 kB (639 palavras) - 21h07min de 26 de maio de 2022
- No [[TeX]], os símbolos de catracas <math>\vdash</math> e <math>\models</math> são obtidos pelos co * [[Lista de símbolos lógicos]] ...5 kB (712 palavras) - 08h43min de 22 de novembro de 2018
- == Símbolos == Existem dois tipos de [[símbolos]] (Normas [[ANSI]] e [[IEC]]) para a função inversora: ...3 kB (443 palavras) - 19h33min de 26 de setembro de 2022
- ...\beta</math> onde <math>\alpha</math> e <math>\beta</math> são cadeias de símbolos em <math>N \cup \Sigma</math> e <math>\alpha</math> não é uma cadeia vazia. ...te disjuntos, uma vez que gramáticas irrestritas não fazem distinção entre símbolos terminais e não-terminais. Tal distinção existe apenas para indicar quando ...4 kB (691 palavras) - 16h24min de 1 de janeiro de 2024
- ...dos os [[Átomo básico|átomos basicos]] que podem ser formados a partir dos símbolos predicados de uma cláusula na forma [[Skolemização|Skolemizada]] ''S'' e te ...to do conjunto de todos os átomos básicos que podem ser construídos usando símbolos de L. ...2 kB (384 palavras) - 01h25min de 10 de janeiro de 2023
- ...ultaneamente. A posição da fita na máquina de Turing com n-faixas contém n símbolos do alfabeto da fita. Isso é equivalente a máquina de Turing padrão e portan * <math>\Sigma</math> é um conjunto finito de símbolos chamado ''alfabeto da fita'' ...3 kB (500 palavras) - 12h38min de 27 de outubro de 2016
- <p style="font-family:georgia;font-size:1.7em;text-align:center">''Símbolos lógicos''</p> ...1 012 byte (168 palavras) - 20h54min de 3 de junho de 2018
- .... Por outro lado, em um '''código não sistemático''' a saída não contém os símbolos de entrada. ...nização e monitoramento), é desejável obter boas estimativas razoáveis dos símbolos de origem recebidos sem passar pelo longo processo de decodificação que pod ...5 kB (791 palavras) - 01h05min de 16 de abril de 2021
- ...a de “itens” (definido posteriormente). Os argumentos xi são sequências de símbolos terminais e/ou variáveis que definem o padrão. No caso em que um padrão pos ...cias de y são substituídas por palavras, e em α e β são produzidas como se símbolos terminais ali estivessem. Um item <math id="alpha">x/y</math>, onde x é al ...4 kB (771 palavras) - 12h43min de 19 de maio de 2016