Resultados da pesquisa

{{Sem fontes|data=agosto de 2021}} ...nária é uma [[função (matemática)|função]] com três [[variável|variáveis]] de entrada. ...

...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. ...

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

...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]]: ...

...o]], preocupada em atribuir significado às construções das [[linguagens de programação]]. Na [[semântica operacional]], o significado de uma construção da linguagem é especificado pela computação que ela induz qu ...

A '''Fórmula BBP''' é uma fórmula de [[cálculo]] do [[número]] [[Pi|π]], descoberta em 1995 por [[David Harold B ...a uma fórmula derivada da fórmula BBP, o 4.000.000.000.000.000° algarismo de π em base 2 foi obtido em 2001. ...

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

...efinida em termos do [[cálculo lambda]]. '''Zot''' é uma versão continuada de Iota, que inclui entrada e saída. O combinador universal de Iota é o [[cálculo lambda|termo lambda]] <math>U = \lambda f.((fS)K)</math> ...

...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. ...

....htm Aplicação: Avaliador de Expressões Aritméticas]. UFPA - Curso Virtual de ICC</ref><ref>[RICARTE, Ivan. [http://books.google.com.br/books?id=75XGCaui ...alisar a infixa, mas muitas [[linguagens de programação]] a usam por causa de sua familiaridade. ...

{{Sem-fontes|data=abril de 2012| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| so ...[tupla]] como parâmetro) de forma que ela pode ser chamada como uma cadeia de funções que recebem somente um parâmetro cada. Foi inventada por [[Moses Sc ...

{{Mais fontes|data=Outubro de 2008}} Como a barra vertical não é usada em textos normais, ela não conta como sinal de pontuação em si. ...

...ficar o significado (ou comportamento) de programas de computador e partes de ''[[hardware]]''. ...mputador, que se preocupa em descrever as estruturas de uma [[linguagem de programação]]. ...

...primos entre si|coprimo]] com <math>a</math>, a '''ordem multiplicativa''' de <math>a</math> [[Aritmética modular|módulo]] <math>n</math> é o menor intei ..., a ordem multiplicativa de <math>a</math> módulo <math>n</math> é a ordem de <math>a</math> no [[grupo multiplicativo]] das [[Unidade (teoria dos anéis) ...

{{mais notas|data=maio de 2015}} ...nfatiza a aplicação de [[Método (programação)|funções]], em contraste da [[programação imperativa]] (que enfatiza mudanças no estado do programa).<ref>{{Referênci ...

{{Mais notas|data=abril de 2021}} ...ir as propriedades da linguagem (propriedades intrínsecas) de propriedades de uma gramática específica (propriedades extrínsecas). ...

...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]]. ...

{{sem notas|data=maio de 2011|1=Este artigo ou secção}} ...argumentos ou operandos tomados. A aridade de uma relação é o número ''n'' de elementos que compõem as ''n''-uplas ordenadas pertencentes à relação. ...

...Uma solução é portanto um conjunto de valores que satisfazem as variáveis de forma a atender todas as restrições que existem para o mundo em que se enco ...que, a resolução de problemas nestes mundos é feita por meio da eliminação de variáveis ou do [[algoritmo simplex]]. ...

[[Imagem:Venn1010.svg|thumb|220px|A área em vermelho é o complementar de ''A'' em ''U'', <math>A^c~~~=~~~U \setminus A</math>. <br> No exemplo, o co ...>, também chamado de diferença de conjuntos, como o conjunto dos elementos de <math>B\,</math> que não estão em <math>A\,</math>. ...