Resultados da pesquisa

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

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

...cações de funções e outros combinadores para definir um resultado a partir de seus [[parâmetro (ciência da computação)|parâmetros]]. ...que a ciência da computação tomasse interesse no assunto entre as décadas de 1960 e 1970, quase todo o trabalho no assunto foi publicado por Curry e seu ...

...ipificada do universo, mesmo no nível de sintaxe: substituição e argumento de passagem só pode ser feito em conformidade, respeitando os "tipos". ...a intenção acima mencionada; a '' Lógica polissortida '' é qualquer pacote de informação que o preenche. Na maioria dos casos, são os seguintes dados: ...

Na [[lógica matemática]], uma '''assinatura''' compreende o conjunto de [[símbolo não-lógico|símbolos não-lógicos]] que caracteriza uma [[linguagem * ''R'' é um conjunto de ''símbolos de relação ou predicado''. Exemplos: ≤, ≥, ∈. ...

...tzen''' e a '''tradução Kuroda''' para [[Lógica de primeira ordem|a lógica de primeira ordem]]. A tradução da dupla-negação mais fácil de descrever vem do '''teorema de Glivenko''', provado por [[Valery Glivenko]] em 1929. Ele mapeia cada fórmu ...

...-us/um/people/simonpj/papers/slpj-book-1987/}}</ref>''' é uma função ''y'' de alta ordem que satisfaz a equação ...r definição <math> x = y\ f </math>, representa uma solução para a equação de [[ponto fixo]] ...

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

{{Formatar referências|data=agosto de 2022}} {{Mais notas|data=agosto de 2022}} ...

{{Mais notas|data=setembro de 2021}} ...mais e menos|sinais “mais” e “menos”]] são utilizados para mostrar o sinal de um número inteiro, racional ou real.]] ...

...es de grandes conjuntos de dados, e o [[Dedução|dedutivo]]), o aprendizado de máquina só se preocupa com o indutivo. ...preditiva. Esses modelos analíticos permitem que pesquisadores, cientistas de dados, engenheiros, e analistas possam "produzir decisões e resultados conf ...

...positivos de computação de diferentes épocas – da esquerda para a direita, de cima para baixo: |Computador de [[Válvula termiônica|tubo de vácuo]] ([[ENIAC]]) ...