Resultados da pesquisa

...booliana|função booliana}} (lógica), que em alguns casos é um [[Predicado (lógica matemática)|predicado]] ou uma [[proposição]], é uma função do tipo <math>f Nas [[ciências formais]], [[matemática]], [[lógica matemática]], [[estatística]], e suas disciplinas aplicadas, uma função boo ...

...lógica sequencial tem ''[[memória (computador)|memória]]'', enquanto que a lógica combinacional não. ...aritmética]] (ULA) que faz cálculos matemáticos é construída com o uso de lógica combinatória. ...

...de" e "Falso" são estudadas na [[Lógica Matemática]] ou [[Álgebra booleana|Lógica de Boole]]; origem do nome destas portas. O comportamento das portas lógica ...Sobre as Leis do Pensamento), apresentou um sistema matemático de análise lógica conhecido como [[Álgebra booleana|álgebra de Boole]]. ...

* É uma base para implementação (síntese), análise e verificação formal. ...execução das estruturas como ''asserções '', que são sentenças da [[lógica|lógica de predicados]]. Estas sentenças são usualmente chamadas de ''axiomas'', e ...

...[tabela matemática]] usada em [[lógica]] para determinar se uma [[Fórmula (lógica)|fórmula]] é válida ou se um sequente é correto. * [[Lógica]] ...

...ção que está a ser analisada. Ele é utilizado para simplificar uma equação lógica ou para converter uma tabela verdade no seu circuito lógico correspondente. ...gh de 2 até 8 variáveis, além de outras ferramentas relacionadas a síntese lógica. LogiCS, [[UFRGS]].}} ...

:''Esse artigo utiliza formas da notação da [[Lógica]]. Para uma descrição concisa dos símbolos usados nessa notação, veja [[Lis Na [[Lógica clássica]], o '''princípio da não-contradição'''{{Nota de rodapé|{{Nota lin ...

...ma lei, que diz que, para toda sentença condicional, há uma [[equivalência lógica]] entre a mesma e sua '''contrapositiva'''. Na contrapositiva de uma senten Em síntese, para qualquer sentença em que A implica B, então ''não B'' sempre implica ...

...ast</math> ou por <math>\cdot</math>, é geralmente chamado de "[[conjunção lógica|e]]"), uma [[operação unária]] <math>\neg</math> (também denotada por <math ...a</math>, é uma álgebra booliana. Essa álgebra booliana recebe o nome de [[lógica fuzzy]]. ...

...s transições rápidas serem aplicáveis para o [[trigger]] de circuitos de [[lógica síncrona]] em intervalos de [[tempo]] precisos. Entretanto, as ondas quadra ...ons de [[Instrumento de sopro|instrumentos de sopro]] criados através da [[síntese subtrativa]]. ...

...etc.). Tradicionalmente, as modalidades mais comuns são ''[[Possibilidade (lógica)|possibilidade]]'' e ''[[Necessidade (filosofia)|necessidade]]''. Lógicas p Uma lógica modal formal representa modalidades usando ''operadores modais''. Por exemp ...

...o as representações no lambda cálculo tipado dos combinadores básicos da [[lógica combinatória]]. ...nado ao fragmento implicacional da [[lógica intuicionista]] proposicional (lógica minimal) através do [[Isomorfismo de Curry-Howard]]: termos correspondem pr ...

Em lógica e matemática, uma '''lógica proposicional''' (ou cálculo sentencial) é um [[sistema formal]] no qual as ...nária específica, que se pretende interpretar como a noção de equivalência lógica, no espaço das expressões. ...

...anos 50, a maior parte dos economistas tinha aceitado o ponto de vista da síntese sobre a macroeconomia.<ref name="Não_nomeado-x_R7-2"/> Economistas como [[P ...recentes é também implausível.<ref>Blanchard (2011), 587.</ref> Dentro da lógica do RBC, os agentes são extremamente racionais, ao ofertarem mais trabalho q ...

...ia abiogênica sugere que o petróleo seja formado através de reações tipo [[Síntese Fischer-Tropsch]] a partir de serpentinização do manto peridotítico, atravé ...de polimerizar no interior da Terra, através de reações de catálise tipo [[Síntese Fischer-Tropsch]], formando hidrocarbonetos líquidos e gasosos (petróleo), ...

...ta ao oxigênio. Isso resulta em uma SWNT única que funciona como uma porta lógica NOT em ambos p e n-type FETs dentro de uma mesma molécula. ...omo as elétricas. No caso dos DWNT, somente a parede externa é modificada. Síntese de DWNT em escala de grama foi primeiramente exposto em 2003<ref>{{citar p ...

O planejamento automatizado está relacionado com as formas gerais de síntese de [[plano]]. Embora teoricamente, esteja ainda em seus estágios iniciais, ...ioria das abordagens de planejamento adotam uma representa são baseadas em lógica para descrever estados, ações e para definir e computar facilmente o próxim ...

...ta. Para isso, é preciso de algum argumento da “realidade” para executar a lógica. No caso da Microeletrônica, o 1 pode ser a passagem de corrente ou voltage ...s na livre rotação de uma ligação simples são favorecidas possibilitando a síntese de espécies como Catenanos e Rotaxanos. ...

...o. Mas pontos de interação permitem interferência (i.e. interação). Para a síntese de sistemas compactos, mínimos, a habilidade de restringir a interferência ...sencialmente) propriedades arbitrárias de processos, seguindo as ideias da lógica Hoare. ...

...zando [[análise]], [[diagnóstico]], [[prognóstico]], enfim, a necessária [[síntese]] quanto ao que há de ser - se consumado for - o empreendimento, com referê ...implesmente "lucro", se inequívoco. Então, por uma questão de consistência lógica matemática, se "negativo", é incluído como elemento de custo indireto, deve ...