Resultados da pesquisa

{{Sem notas|data=fevereiro de 2019}} ...ação]], preocupada em atribuir significado às construções das [[linguagens de programação]]. ...

...funções semânticas definidas composicionalmente, que representam o efeito de executar uma estrutura. ...ificados das estruturas das linguagens de programação. A abordagem faz uso de [[cálculo lambda]] para modelar as funções. ...

|ultima_data = {{data de lançamento|2019|06|10}} |genero = Software de Geometria Dinâmica ...

...o de tradução para entidades que não falam a mesma linguagem, como no caso de humanos e computadores. ...terfaces utilizadas para conectar componentes de ''hardware'' são chamadas de [[interface física|interfaces físicas]]. ...

...ência em '''11''' partes ''aproximadamente'' iguais pelo '''Processo Geral de Rinaldini'''. A ilustração mostra o [[hendecágono]] inscrito.]] ...ivro|autor=[[Denis Mandarino|Mandarino, Denis]]|título=Desenho geométrico, construções com régua e compasso|editora=Plêiade|ano=2007|páginas=57-65|id=}}</ref> ...

{{Mais notas|data=fevereiro de 2022}} | legenda = Captura de tela do Kig ...

...de funções de [[Mapa (função de ordem superior)|mapa]] e [[Filtro (função de ordem superior)|filtro]]. Considere o seguinte exemplo na [[notação de definição de conjunto]]: ...

|data_da_última_versão = {{data de lançamento|2013|06|14}} |linguagem = [[Java (linguagem de programação)|Java]] ...

...to de instruções]] [[quântica]] que introduziu pela primeira vez um modelo de memória quântica/clássica compartilhada. Foi introduzido por Robert Smith, ...ront-end e back-end|backend]] Quil também é suportado por outros ambientes de programação quântica.<ref>{{Citar web|url=https://ornl-qci.github.io/xacc/a ...

...e isolam do mundo exterior os detalhes de implementação de um [[componente de software]]. ...hecidos do programador. Este esquema isola e protege o sistema operacional de eventuais erros cometidos pela aplicação. ...

{{Mais notas|data=agosto de 2022}} ...363235.363259}}</ref> A idéia original havia sido idealizada pelo trabalho de [[Robert Floyd]], que publicou um sistema similar<ref>[[Robert Floyd|R. W. ...

{{Uma-fonte|data=setembro de 2023}} ...de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, ...

...nal: a prova de comutatividade da adição de números naturais no assistente de provas [[Coq]]. ''nat_ind'' está para a [[indução matemática]], ''eq_ind'' ...os, ele se refere à generalização de uma analogia sintática entre sistemas de [[lógica formal]] e cálculos computacionais que foi descoberto pela primeir ...

{{mais notas|data=março de 2016}} ...em:Gospers glider gun.gif|miniaturadaimagem|Uma única ''Arma de Planadores de [[Bill Gosper|Gosper]]'' criando ''planadores''.]] ...

{{Sem notas|data=outubro de 2022}} ...ade]] o [[experimento mental]] do '''problema da parada''' é um [[problema de decisão]] que pode ser declarado informalmente da seguinte forma: ...

...os integrados, conduzidos com instrumentação, ou escritos em uma linguagem de programação para uso com um [[Computação quântica|computador quântico]] ou ...rtigo está livremente disponível como [[Software de código aberto|software de código aberto]].<ref>{{Cite web|url=https://github.com/qosf/awesome-quantum ...

...ita|miniaturadaimagem|300x300px|Screenshot do TeXnicCenter, uma [[Ambiente de desenvolvimento integrado|IDE]] para o {{TeX}} em ambiente [[Microsoft Wind {{se procura|o personagem de banda desenhada|Tex}} ...

{{sem notas||ci|data=abril de 2013}} ...e ponto de vista envolve uma interpretação verificacional do quantificador de existência, o que está em desacordo com a sua interpretação clássica. ...

...enamento e o [[Adversário (criptografia)|adversário]] está fora do sistema de participantes (um bisbilhoteiro do emissor e do receptor), a criptografia n ...ocultar informações parciais sobre os dados enquanto calcula com os dados de várias fontes e produz resultados corretamente. ...

...ias para a vida extraterrestre inteligente|problemas de estimação|Problema de Fermi}} ...[[Mensagem de Arecibo]], a primeira tentativa da humanidade de usar ondas de rádio para comunicar sua existência à civilizações extraterrestres]] ...