Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
- Em [[geometria computacional]], é utilizado em lugar do [[sistema de coordenadas cartesiano]] devido às * [[Geometria computacional]] ...1 kB (192 palavras) - 09h27min de 29 de maio de 2024
- ...r números primos grandes deterministicamente também é um problema de custo computacional elevado, e, portanto, podem ser usados [[teste de primalidade|testes de pri [[Categoria:Matemática]] ...2 kB (282 palavras) - 19h26min de 21 de fevereiro de 2025
- Na [[teoria da complexidade computacional]] o '''teorema do intervalo''' é um importante teorema sobre a complexidade ...Para qualquer [[função computável]] que represente um aumento em [[recurso computacional|recursos computacionais]], pode-se encontrar um limite do recurso tal que o ...4 kB (567 palavras) - 15h17min de 27 de setembro de 2024
- ...dio/funcoes/funcoes.php |titulo=Funções |acessodata=2021-03-06 |website=Só Matemática |lingua=pt-br}}</ref> Exemplos de [[função (matemática)|funções]] elementares incluem: ...1 kB (185 palavras) - 18h52min de 19 de agosto de 2022
- {{Portal:Matemática/Montagem}} {{Portal:Matemática/cabeçalho|''Matemática''|Portal:Matemática/Intro}} ...3 kB (487 palavras) - 15h56min de 13 de junho de 2018
- ...ntersecção (nome)|autor=ILTEC|autorlink=Instituto de Linguística Teórica e Computacional|data=|publicado=[[Portal da Língua Portuguesa]]|acessodata=24 de Fevereiro * [[União (matemática)]], representada por um símbolo parecido com o da interseção. ...4 kB (644 palavras) - 15h05min de 23 de junho de 2021
- ...ensões e o tempo característico da duração do experimento (ou da simulação computacional). Ela dá a relação do escoamento do material no tempo de observação. {{Portal3|Matemática}} ...1 kB (235 palavras) - 00h15min de 16 de julho de 2021
- A [[função (matemática)|função]] que descreve a força a que estão sujeitas as partículas é o negat Em geral, para poupar tempo computacional, o potencial de Lennard-Jones é truncado na distância limite de ...5 kB (737 palavras) - 19h56min de 5 de novembro de 2019
- |campo =[[Matemática]] ...[lógica matemática]], particularmente [[teoria dos conjuntos]] e [[ciência computacional teórica]]. ...4 kB (453 palavras) - 14h12min de 11 de junho de 2018
- {{Ver desambig|a técnica computacional|Método de ajuste de nível}} ...uclidiano#Espaço coordenado real|espaço]] para os quais uma dada [[função (matemática)|função]] de três variáveis é igual a ''k''<ref name="calculo_5aed">STEWART ...2 kB (309 palavras) - 01h59min de 10 de abril de 2024
- ...rde se ele não pode mover durante o seu turno. Na [[teoria da complexidade computacional]], a linguagem JOGO-DE-FORMULA é definida como todas as formulas <math>\Phi [[Categoria:Teoremas de matemática]] ...1 kB (194 palavras) - 20h16min de 5 de agosto de 2021
- Em [[visão computacional]], o filtro de '''Marr-Hildreth''' é um técnica de detecção de bordas basea {{esboço-matemática}} ...1 kB (220 palavras) - 20h12min de 18 de julho de 2024
- ...m conexão com a teoria da codificação, na criptografia por causa da dureza computacional conjecturada de vários problemas de rede e são usados de várias maneiras na {{Portal3|Matemática}} ...2 kB (280 palavras) - 20h01min de 15 de agosto de 2021
- Em [[lógica matemática]], uma '''testemunha''' é um determinado valor de ''t'' para ser substituíd ...entença <math>\exists x\, \phi(x)</math> em uma teoria ''T'' é um [[Termo (matemática)|termo]] ''c'' tal que ''T'' prova que φ(''c'') (Hinman 2005:196). O ...4 kB (577 palavras) - 18h07min de 5 de fevereiro de 2023
- ...Computabilidade]] e na [[Complexidade computacional|Teoria da Complexidade Computacional]], '''RE''' ([[Conjuntos recursivamente enumeráveis|recursivamente enumeráv ...do [[problema da palavra (matemática)|problema da palavra]] para [[Grupo (matemática)|grupos]] ou [[semigrupo]]s. [Na verdade, o [[problema da palavra para grup ...4 kB (599 palavras) - 20h51min de 7 de dezembro de 2022
- ...math> se eficientemente implementada, requer o mesmo espaço e complexidade computacional para construir e usar, mas evita extrair raízes quadradas.<ref name="kri">{ ==Algoritmo computacional== ...8 kB (1 170 palavras) - 21h49min de 30 de julho de 2023
- | genero = [[Sistema algébrico computacional]] '''SymbolicC++''' é um [[Sistema algébrico computacional]] de propósito geral incorporado na linguagem de programação [[C++]]. É um ...7 kB (995 palavras) - 20h54min de 16 de abril de 2020
- ...lemas geométricos que foram tratados na origem do estudo de [[complexidade computacional]] de [[algoritmo]]s geométricos. ...ero de pontos do conjunto considerado. Porém, pesquisadores em [[geometria computacional]] descobriram que este problema pode ser resolvido em tempo ''O(n'' log ''n ...5 kB (812 palavras) - 14h39min de 8 de outubro de 2022
- ...grande, geralmente é usada para transmitir aproximadamente a complexidade computacional de um [[algoritmo]] específico. A notação L é usada principalmente na [[teoria computacional dos números]], para expressar a complexidade de algoritmos para problemas d ...6 kB (970 palavras) - 10h24min de 8 de outubro de 2023
- ...complexidade computacional]], um '''problema de função''' é um [[problema computacional]] onde uma única saída (de uma [[função total]]) é esperada pra cada entrad {{esboço-matemática}} ...4 kB (638 palavras) - 01h24min de 20 de outubro de 2015