Resultados da pesquisa

...ou ''2''-[[aridade|ária]] é uma operação com dois operandos. Uma operação binária é uma [[função (matemática)|função]] com duas variáveis de entrada. Dados três conjuntos ''A'', ''B'' e ''C'', uma operação binária é uma função do [[produto cartesiano]] ''A''×''B'' em ''C''. ...

...s são precisamente os números cuja expansão [[Sistema de numeração binário|binária]] é finita. ==Aritmética== ...

...a de Peano]]. Os conjuntos aritméticos são classificados pela [[hierarquia aritmética]]. ...ica. Similarmente, uma relação ''k''-ária <math>R(n_1,\ldots,n_k)</math> é aritmética se existe uma fórmula <math>\psi(n_1,\ldots,n_k)</math> tal que <math>R(n_1 ...

...ões de grupos de acordo a propriedade de comutatividade ou não. E mesmo na aritmética existem exemplos de operações que '''não são comutativas''', como a [[subtr Dado um conjunto qualquer <var>S</var> e um [[operação binária]] <var>f</var>, dizemos que <var>f</var> é comutativa se: ...

: O [[quadrado (aritmética)|quadrado]] de um número real (²): ''a²'' * [[Operação binária]] ...

...ro, então <math>b = a</math> também é verdadeiro. Formalmente, uma relação binária <math>R</math> sobre um [[conjunto]] <math>X</math> é simétrica [[se e some ...tem uma representação particular para cada modo de descrever uma [[relação binária]]. ...

...tipo especial de elemento de um [[conjunto]] com relação a uma [[operação binária]] naquele conjunto. O resultado de combinar um elemento absorvente com qual Formalmente, seja (''S'', ∘) um conjunto ''S'' com uma operação binária fechada ∘ sobre ele (conhecido como um [[Grupoide (estrutura algébrica)|mag ...

...ra de [[Mojżesz Presburger]], o qual a apresentou em 1929. A assinatura da aritmética de Presburguer contém apenas a operação de adição e equalização, suprimindo ...nguagem da aritmética Presburger, se essa frase é dedutível dos axiomas da aritmética de Presburger. O tempo de funcionamento assintótico [[complexidade computac ...

...Nowrap|''D'' ≡ 0, 1 (mod 4)}} é o discriminante de alguma forma quadrática binária com coeficientes inteiros. Sendo assim, todos esses inteiros são referidos Existem [[Aritmética modular|condições de congruência]] explícitas que fornecem o [[conjunto]] d ...

...'''ntidade valer ('''y''') ou não ('''n'''), e a definição de uma operação binária ⊕ correspondente sobre os [[Número inteiro|números inteiros]] para quase to ...s, "rock", "paper" e "scissor"), respectivamente, e considere a [[operação binária]] <math>\cdot : M \times M \to M</math> decorrente das regras do jogo da se ...

{{Ver desambig|este=a relação de congruência|congruência módulo ''n''|Aritmética modular}} {{Ver desambig|a operação ''mod'' binária|Operação módulo}} ...

São chamadas de ULA (unidade lógica aritmética) ou ALU do inglês.<ref>{{citar web|url=http://paginapessoal.utfpr.edu.br/ni ...ão Binária''' é a operação mais simples de Circuitos Aritméticos. A adição binária (0 1) é executada da mesma forma que a decimal (0 1 2 3 4 5 6 7 8 9), inclu ...

A '''codificação binária decimal''' e/ou '''codificação binária''', também conhecida como '''BCD''' ('''Binary-coded decimal'''), é um sist ...it|Binary Digit]]), já um [[byte]] é composto por oito bits (uma sequência binária de oito dígitos) e a partir de então segue: 1 [[KB]] (1024 bytes), 1[[MB]] ...

...os]] foi provada por [[Kurt Gödel]] em 1930 e a prova de consistência para aritmética restrita que serve para o [[Indução matemática|axioma da indução matemática == Consistência e completude na aritmética e na teoria dos conjuntos== ...

...de dois''' é um tipo de [[representação de números com sinal|representação binária de números com sinal]] amplamente usada nas arquiteturas dos dispositivos c * Positivos: Sua magnitude é representada na sua forma binária direta, e um bit de sinal '''0''' é colocado na frente do MSB. ...

Em [[aritmética]] e em [[teoria dos números]], o '''mínimo múltiplo comum''' ('''mmc''') de O [[Teorema Fundamental da Aritmética|Teorema da factorização única]] diz que todo o número maior que 1 pode ser ...

...ys]] em seu livro [[Grundlagen der Mathematik]]. A axiomatização padrão da aritmética de segunda ordem é denotada Z₂. ...zar os [[números reais]] em aritmética de segunda ordem. Por esta razão, a aritmética de segunda ordem é chamada algumas vezes de "[[Análise matemática|análise]] ...

</math> e uma [[operação binária]] <math>v \diamond w = (v+w)\bmod 10</math>, temos ...inito]] X de vetores <math>x=(x_1,x_2)</math>, tendo como componentes os [[Aritmética modular|resíduos]] de 10 e função iterativa <math>f</math> definida por <ma ...

[[Imagem:Relación binaria 11.svg|thumb|200px|Relação binária]] ...ca para definir conceitos como, por exemplo: "é múltiplo" e "maior que" da aritmética; "é congruente" da geometria; e outros. ...

Por exemplo, considere a linguagem com uma [[relação binária]] de símbolo '<'. O modelo '''R''' de [[Número real|números reais]] com sua ...odelo de aritmética não-padrão|modelos não-padrão]] da [[Axiomas de Peano| aritmética de Peano]], que contém outros objetos além dos números 0, 1, 2, etc., e ain ...