Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...[[Linguagem de programação|linguagens de programação]]. A grande vantagem da recursão está na possibilidade de usar um [[programa de computador]] finito ...ior parte das arquiteturas baseadas em [[LIFO|pilhas]]) ou a implementação da linguagem registra as várias instâncias de uma função (em muitas arquitetur ...13 kB (2 156 palavras) - 00h43min de 28 de fevereiro de 2021
- ...avés da separação dos métodos de comunicação externa dos detalhes internos da operação, permitindo que esta entidade seja modificada sem afetar as entida ...zado em diferentes áreas da ciência da computação e é importante no estudo da interação homem-máquina, no projeto de dispositivos de ''hardware'', na esp ...5 kB (763 palavras) - 03h03min de 2 de fevereiro de 2020
- Em [[ciência da computação]] e em [[lógica matemática]], um '''alfabeto''' é um conjunto de [[símbolo] ...1 kB (184 palavras) - 02h12min de 5 de fevereiro de 2020
- ...aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação. ...adas. Isto significa que as chamadas "pessoas da teoria" usam regularmente ciência(s) experimental feita em áreas menos teóricas, tais como a investigação de ...42 kB (6 367 palavras) - 05h18min de 26 de março de 2024
- A '''produção''' ou '''regra de produção''' em ciência da computação é uma ''regra de reescrita'', especificando a substituição de símbolos que ...</math> (em vez de deixar o lado direito em branco). Então, produções são da forma: ...4 kB (639 palavras) - 21h07min de 26 de maio de 2022
Resultados no conteúdo das páginas
- ...ica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada em atribuir significado às construções das [[linguagens de pr ...uma máquina hipotética. Isto significa que interessa mais como o efeito da computação é produzido. ...2 kB (332 palavras) - 16h37min de 26 de junho de 2019
- ...ica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada em atribuir significado às construções das [[linguagens de pr ...máquina hipotética. Isto significa que interessa mais ''como'' o efeito da computação é produzido. ...2 kB (386 palavras) - 17h38min de 21 de maio de 2019
- ...ntico|computação quântica]] (estritamente falando, para todas as formas de computação). A taxa de processamento não pode ser maior que O teorema também é de interesse fora do campo da computação quântica, p. ex. relaciona-se com o [[princípio holográfico]], a [[física d ...2 kB (322 palavras) - 16h52min de 23 de outubro de 2019
- {{Sem-fontes|data=abril de 2012| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| sociedade=|1=|2=|3=|4=|5=|6=}} ...de uma [[Sub-rotina|função]] que recebe múltiplos [[Parâmetro (ciência da computação)|parâmetros]] (mais especificamente, uma n-[[tupla]] como parâmetro) de for ...2 kB (372 palavras) - 23h14min de 4 de abril de 2023
- Na [[Ciência da computação teórica|computação teórica]], uma [[máquina de Turing]] é um máquina teórica que é usada no [[ # ''c''<sub>0</sub> é a configuração inicial da entrada ''w'' ...2 kB (338 palavras) - 16h44min de 5 de agosto de 2016
- ...ica formal]]. A semântica formal é uma das áreas de estudo de [[ciência da computação]], preocupada em atribuir significado às construções das [[linguagens de pr Na semântica denotacional o efeito da computação interessa mais que como ela é produzida. ...3 kB (392 palavras) - 17h38min de 21 de maio de 2019
- ...cional| teoria da complexidade computacional]] e em [[Computador quântico| Computação quântica]], o '''problema de Simon''' nos é dado em uma função (implementad {{Computação}} ...2 kB (299 palavras) - 14h00min de 15 de maio de 2019
- Em [[matemática]], [[lógica]] e [[ciência da computação]], uma '''linguagem recursivamente enumerável''' é um tipo de [[Linguagem f ...mente enumerável no conjunto de todas as palavras possíveis sob o alfabeto da linguagem. ...3 kB (486 palavras) - 16h17min de 1 de janeiro de 2024
- '''Descomputação''' é uma técnica, utilizada em circuitos [[Computação reversível|reversíveis]], para limpar os efeitos temporários nos [[bits anc A descomputação é uma etapa fundamental em algoritmos de [[computação quântica]]. Se os efeitos intermediários foram ou não descomputados afeta c ...2 kB (356 palavras) - 15h29min de 7 de maio de 2024
- ...truncamento''' é a limitação do número de [[Algarismo|dígitos]] à direita da [[Separador decimal|vírgula decimal]]. * Precisão (ciência da computação) ...2 kB (329 palavras) - 14h49min de 29 de abril de 2023
- ...formal]]. A [[semântica formal]] é uma das áreas de estudo de [[ciência da computação]], preocupada em atribuir significado às construções das [[linguagens de pr ...des do efeito da execução das estruturas como asserções, que são sentenças da [[lógica de predicados]]. Estas sentenças são usualmente chamadas de axioma ...2 kB (363 palavras) - 16h37min de 26 de junho de 2019
- Em [[Ciência da Computação|computação]], o '''algoritmo de Brandes''' é um [[algoritmo]] utilizado para cálcular <math>//\ S\ retorna\ os\ vertices\ em\ ordem\ nao-crescente\ da\ distancia\ a\ partir\ de\ s</math> ...3 kB (440 palavras) - 15h40min de 31 de maio de 2019
- '''Semântica formal''' é a área de estudo de [[ciência da computação]] que se preocupa em especificar o significado (ou comportamento) de progra * Pode revelar ambiguidades na definição da linguagem (o que uma descrição informal não permitiria revelar); ...4 kB (632 palavras) - 17h38min de 21 de maio de 2019
- ...[[álgebra computacional]], [[Programação de computadores|programação]] e [[computação gráfica]].<ref name=":0">{{Citar web|url=https://www.reading.ac.uk/search/4 ...tou sua afirmação de “ter resolvido um problema de 1.200 anos”, ou seja, o da divisão por zero. No entanto, os comentaristas responderam rapidamente que ...5 kB (730 palavras) - 22h25min de 22 de fevereiro de 2025
- Na [[Ciência da Computação]] e na Teoria das [[linguagens formais]], a '''cadeia vazia''' é a única ca * O comprimento da cadeia vazia é zero: ...1 007 byte (140 palavras) - 10h29min de 19 de agosto de 2020
- |campo =[[matemática]], [[ciência da computação]] ...k|29|6|1953}}) é um [[matemático]] e [[Ciência da Computação|cientista da computação]] [[Franceses|francês]]. ...4 kB (452 palavras) - 03h33min de 9 de setembro de 2021
- ...e que aceita exatamente as palavras do alfabeto da linguagem que são parte da linguagem e rejeita todas as outras palavras. Linguagens recursivas são tam ...sivo]] no [[conjunto]] de todas as palavras possíveis sobre o [[alfabeto]] da [[linguagem formal |linguagem]]. ...4 kB (561 palavras) - 01h35min de 9 de agosto de 2024
- ...nadores para definir um resultado a partir de seus [[parâmetro (ciência da computação)|parâmetros]]. ...que se tornou mais popular que a lógica combinatória. Até que a ciência da computação tomasse interesse no assunto entre as décadas de 1960 e 1970, quase todo o ...8 kB (1 437 palavras) - 19h37min de 4 de fevereiro de 2020
- {{mais fontes|data=dezembro de 2011| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| sociedade=|1=Este artigo ou se(c)ção|2=|3 ...no processo de computar seu resultado para uma dada entrada. Histórias de computação são freqüentemente usadas em provas matemáticas sobre as capacidades de cer ...10 kB (1 734 palavras) - 14h43min de 4 de março de 2020
- ...oftware Educativo para Aprendizagem de Gerência de Processos e de Gerência da Memória em Sistemas Operacionais / Fabrício Pereira Reis. Lavras – MinasGer O cálculo da variável ''rr'' (response ratio) é feito da seguinte forma: ...1 kB (162 palavras) - 23h18min de 8 de setembro de 2020