Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...9}}</ref> É uma das duas divisões tradicionais do cálculo, sendo a outra o cálculo [[integral]] – o estudo da área sob uma curva.<ref>{{Cite web|title=Definit Os principais objetos de estudo no cálculo diferencial são a [[derivada]] de uma [[Função (matemática)|função]], noçõe ...3 kB (489 palavras) - 13h58min de 15 de abril de 2023
- Na [[lógica matemática]], o '''cálculo formal''' é um cálculo que é sistemático, porém sem uma justificativa rigorosa. Isso significa que Ao substituir <math>q=2</math> na prova da primeira equação, obtém-se um cálculo formal que produz a última equação. Mas isto é errado sobre os [[Número rea ...3 kB (499 palavras) - 00h01min de 8 de outubro de 2023
- {{Cálculo}} ...''' é uma notação especial para tratar o [[Cálculo com múltiplas variáveis|cálculo multivariável]], especialmente em espaços de [[Matriz (matemática)|matrizes ...5 kB (776 palavras) - 00h34min de 9 de abril de 2019
- {{cálculo}} ...ontrário deste, o cálculo das variações lida com os funcionais, enquanto o cálculo ordinário trata de funções. Funcionais podem, por exemplo, ser formados por ...4 kB (784 palavras) - 15h03min de 9 de abril de 2020
- {{Cálculo}} ...ial|diferenciação parcial]] e [[Integral múltipla|integrais múltiplas]]. O Cálculo vectorial possui um importante papel na [[geometria diferencial]] e no estu ...21 kB (3 547 palavras) - 03h05min de 14 de janeiro de 2025
- {{Cálculo}} ...mento ou crescimento em que forças variáveis agem produzindo aceleração, o cálculo é a matemática a ser empregada. Foi criado como uma ferramenta auxiliar em ...35 kB (5 753 palavras) - 20h44min de 12 de outubro de 2024
- '''Cálculo operacional,''' também conhecido como '''análise operacional''', é uma técn A ideia de representar os processos de cálculo, derivação e integração como operadores tem uma longa história que remonta ...8 kB (1 329 palavras) - 00h22min de 6 de novembro de 2023
- ...[[ciência da computação]], o '''cálculo lambda''', também escrito como '''cálculo-λ''' é um [[sistema formal]] que estuda [[Função (matemática)|funções]] [[r ...o lambda para computação ficou conhecida como cálculo lambda não tipado. O cálculo lambda tipado e o não tipado tem suas ideias aplicadas nos campos da [[lógi ...39 kB (6 369 palavras) - 06h29min de 8 de outubro de 2024
- [[ciência da computação]], '''kappa cálculo''' é um Ao contrário do [[cálculo lambda]], o cálculo kappa não tem ...17 kB (2 500 palavras) - 17h39min de 31 de março de 2023
- '''O Cálculo de Ordem Não inteira,''' tradicionalmente conhecido como '''cálculo fracionário''' é um ramo da [[análise matemática]] que estuda as possibilid ...e que precise ser um [[Números racionais|racional]], mas que a expressão ''cálculo fracionário'' torne-se padrão por tradição. ...4 kB (596 palavras) - 17h52min de 26 de outubro de 2019
- {{Cálculo}} O '''cálculo tensorial''' é o ramo da [[matemática]] que lida com transformações gerais ...6 kB (995 palavras) - 00h51min de 22 de maio de 2022
- '''Cálculo algébrico''' é a reunião dos processos empregados para efetuar as operações ...atica/demonstracoes-atraves-calculo-algebrico.htm Demonstrações através de cálculo algébrico] ...7 kB (1 092 palavras) - 13h50min de 25 de fevereiro de 2024
- ...menagem ao [[matemático]] japonês [[Kiyoshi Itō]], estende os métodos do [[cálculo]] aos [[Processo estocástico|processos estocásticos]], como o [[movimento b ...ham em satisfazer os requisitos para que se apliquem as técnicas padrão do cálculo. Sendo o integrando um processo estocástico, a integral estocástica de Itō ...31 kB (5 393 palavras) - 08h46min de 8 de março de 2024
- [[Imagem:Slide rule cursor.jpg|thumb|Cursor de uma Régua de Cálculo]] ...spostas, que têm a função de correlacionar as diversas escalas da régua de cálculo. ...11 kB (2 157 palavras) - 05h34min de 13 de fevereiro de 2023
- ...ente aos teoremas de incompletude de Gödel. Desde esse trabalho inicial, o cálculo de sequentes(também conhecido como sistemas de Gentzen) e os conceitos gera ...primeira ordem(ou que a lógica de sistemas de dedução se aplica, ''e.g.'', cálculo proposicional ou lógica de ordem superior ou lógica modal). Os teoremas são ...34 kB (5 457 palavras) - 09h50min de 15 de abril de 2021
- ...emática]], o '''cálculo proposicional implicacional''' é um fragmento do [[cálculo proposicional]] clássico (bivalente) que usa somente um [[conectivo lógico| * [[Cálculo proposicional]] ...9 kB (1 387 palavras) - 21h49min de 2 de março de 2023
- ...ições mais recentes incluíram o π-calculus, o cálculo de ambiente, PEPA, o cálculo de fusão e o join-calculus. Embora a variedade de cálculo de processos existentes seja muito grande (incluindo variantes que incorpor ...17 kB (2 749 palavras) - 03h46min de 19 de março de 2023
- ...e costumava ser chamado de '''cálculo diferencial absoluto''' (a base do [[cálculo tensorial]]), desenvolvido por [[Gregorio Ricci-Curbastro]] em 1887-1896, e ...8 kB (1 183 palavras) - 16h06min de 23 de setembro de 2024
- ...]] de termos lambda, e o uso de [[Máquina de Turing|máquina universal]]. O cálculo lambda binário foi uma nova ideia introduzida por John Tromp em 2004.<ref n O cálculo lambda binário foi projetado para fornecer uma definição concreta muito sim ...21 kB (2 983 palavras) - 21h52min de 24 de junho de 2023
- ...]]s são talvez as mais simples [[Função (matemática)|funções]] usadas em [[cálculo]]. Suas [[derivada]]s e [[Primitiva|integrais indefinidas]] são dadas pelas [[Categoria:Cálculo]] ...931 byte (150 palavras) - 22h34min de 16 de março de 2020
Resultados no conteúdo das páginas
- == Cálculo lambda== === Cálculo lambda não tipado === ...3 kB (514 palavras) - 21h28min de 11 de setembro de 2017
- Em [[Derivada fracionária|cálculo fracional]], na área de [[matemática aplicada]], a '''diferintegral''' é um [[Categoria:Cálculo]] ...879 byte (120 palavras) - 17h09min de 26 de agosto de 2021
- Na teoria do [[cálculo lambda]], um termo se encontra na '''forma normal beta''' se não é possível No cálculo lambda, uma '''redex do tipo beta''' é um termo da forma ...1 kB (170 palavras) - 00h52min de 9 de setembro de 2021
- Uma '''sequência''', em [[análise combinatória]], é o cálculo de quantas formas é possível colocar <math>d</math> elementos de um conjunt A fórmula de cálculo de uma permutação com repetição é a seguinte: ...568 byte (87 palavras) - 22h22min de 28 de setembro de 2017
- ...do na [[fórmula de Heron]] para o cálculo da área de um [[triângulo]] e no cálculo da [[área]] de um [[polígono]] regular. ...608 byte (101 palavras) - 17h44min de 14 de março de 2025
- A '''Fórmula BBP''' é uma fórmula de [[cálculo]] do [[número]] [[Pi|π]], descoberta em 1995 por [[David Harold Bailey]], e Essa fórmula permite [[cálculo|calcular]] facilmente a enésima [[decimal]] [[binário|binária]] ou [[hexade ...1 kB (156 palavras) - 14h35min de 11 de agosto de 2018
- == Formas de cálculo == ...1 kB (200 palavras) - 00h07min de 10 de janeiro de 2023
- == Cálculo da área em função do ângulo central == == Cálculo da área em função do comprimento do arco == ...3 kB (436 palavras) - 04h08min de 11 de novembro de 2019
- ==Cálculo== ...2 kB (236 palavras) - 20h50min de 8 de abril de 2024
- == Cálculo == ...1 kB (219 palavras) - 16h25min de 15 de setembro de 2022
- == Cálculo da distância focal resultante == ...1 kB (212 palavras) - 16h21min de 18 de fevereiro de 2023
- ...e sequentes; as provas analíticas são aquelas que são livres-de-corte. Seu cálculo [[dedução natural]] também suporta uma noção de prova analítica, como foi m ...equentes]]: os operadores estruturais são utilizados em todas as regras do cálculo, e não são considerados quando se pergunta se a propriedade da subfórmula s ...3 kB (547 palavras) - 13h49min de 27 de dezembro de 2023
- ...ref>RODRIGUES, Fabio G. and OLIVEIRA, E.C. de. Introdução às técnicas do cálculo fracionário para estudar modelos da física matemática. Rev. Bras. Ensino Fí == Formulação para derivada do Cálculo Clássico == ...3 kB (509 palavras) - 14h00min de 21 de novembro de 2016
- ...9}}</ref> É uma das duas divisões tradicionais do cálculo, sendo a outra o cálculo [[integral]] – o estudo da área sob uma curva.<ref>{{Cite web|title=Definit Os principais objetos de estudo no cálculo diferencial são a [[derivada]] de uma [[Função (matemática)|função]], noçõe ...3 kB (489 palavras) - 13h58min de 15 de abril de 2023
- Em [[cálculo|cálculo diferencial]], a '''diferenciação logarítmica'''<ref>{{citar livro|título=C [[Categoria:Cálculo diferencial]] ...1 kB (234 palavras) - 18h09min de 7 de janeiro de 2024
- ...]]s são talvez as mais simples [[Função (matemática)|funções]] usadas em [[cálculo]]. Suas [[derivada]]s e [[Primitiva|integrais indefinidas]] são dadas pelas [[Categoria:Cálculo]] ...931 byte (150 palavras) - 22h34min de 16 de março de 2020
- === Cálculo de integrais múltiplas === ...plas podem ser encontrados em livros de Cálculo<ref>{{citar livro|título = Cálculo - volume 2|sobrenome = Thomas|nome = George B.|edição = 12|local = |editora ...2 kB (418 palavras) - 11h50min de 19 de outubro de 2020
- ...fluxo utilizamos recursos do cálculo, já que o cálculo destas não passa do cálculo da soma das linhas do campo elétrico. Desta forma, podemos escrever em uma ...2 kB (324 palavras) - 14h49min de 3 de junho de 2021
- ...imais. Posteriormente, foi usada por [[William Shanks]] (1812-1882) para o cálculo de pi com 707 casas decimais. *GUIDORIZZI, Hamilton Luiz. ''Um Curso de Cálculo'', vol. 4. 3ª edição. Rio de Janeiro: Livros Técnicos e Científicos Editora ...2 kB (268 palavras) - 15h52min de 11 de agosto de 2018
- == Interpretação e cálculo de conversão para grau Gay-Lussac == ...idades do etanol e da água (de 0,789 e 1,0 g/mL), realizando-se o seguinte cálculo: <math display="block">(m_1\div0.789)\times100\over(m_1\div0.789)+(m_2\div1 ...2 kB (278 palavras) - 21h04min de 16 de fevereiro de 2021