Resultados da pesquisa a pedido "logic"

1 a resposta

Condição lógica enquanto o subconjunto não fornece valores corretos

Eu queria subconectar o quadro de dadosproject Eu estava trabalhando com, usando uma lógica. Estou obtendo um resultado paradoxal. A parte da lógica que precede oROLL.NO. argumento é irrelevante para a questão. Desculpe, não pude dar um exemplo ...

2 a resposta

Quando devo usar reg em vez de fio? [duplicado

Esta pergunta já tem uma resposta aqui: Usando fio ou reg com entrada ou saída no Verilog [/questions/5360508/using-wire-or-reg-with-input-or-output-in-verilog] 5 respostas Estou confuso sobre reg e wire quando estava fazendo minha lição ...

1 a resposta

Azure Data Lake Analytics: combine duração de tempo sobreposto usando U-SQL

Desejo remover a duração do tempo de sobreposição dos dados CSV colocados no Azure Data Lake Store usando U-SQL e combinar essas linhas. O conjunto de dados contém a hora de início e a hora de término com vários outros atributos para cada ...

1 a resposta

Representando restrições temporais no SMT-LIB

Estou tentando representar restrições temporais no SMT-LIB para verificar sua satisfação. Estou procurando feedback sobre a direção que estou tomando. Sou relativamente novo no SMT-LIB e aprecio muito as entradas. As restrições que tenho são ...

7 a resposta

Lógica do incrementador

Estou tentando me aprofundar com pós e pré-incrementadores, mas estou um pouco preso com a seguinte expressão: public static void main(String[] args) { int i = 0; i = i+=(++i + (i+=2 + --i) - ++i); // i = 0 + (++i + (i+=2 + --i) - ++i); // i = 0 ...

4 a resposta

Problema com lógica e loop em Java

Comecei a codificar um pequeno programa em Java. Eu queria exercitar o bloco try-catch, mas nem cheguei a essa parte e fiquei preso na parte do loop. Eu sei que este é um problema de loop muito básico, mas acho que me peguei em um problema lógico ...

1 a resposta

O que se entende por "pureza lógica" em Prolog?

O que se entende por "pureza lógica" (no contexto da programação Prolog)? o pureza lógica [/questions/tagged/logical-purity]as informações da tag dizem"programas usando apenas cláusulas de Horn", mas como predicados ...

1 a resposta

Por que conectivos lógicos e booleanos são separados no Coq?

Eu venho de um background de programação JavaScript / Ruby e estou acostumado a isso como true / false funciona (em JS): !true // false !false // trueEntão você pode usar esses valores verdadeiro / falso com&& gostar var a = true, b = false; a ...

1 a resposta

Precisa de ajuda no desenvolvimento da lógica do banco de dados

Este é um mini-projeto meu - sistema de reservas de companhias aéreas - vamos chamar essa companhia aérea FlyMi: Eu tenho um banco de dados (não decidi qual deles, amigo meu quer ir com o MongoDB). De qualquer forma, este é o meu requisito: ...

3 a resposta

Por que 2 && 3 resulta em 3 (javascript)? [duplicado]

Esta pergunta já tem uma resposta aqui: Operadores lógicos em JavaScript - como você os utiliza? [/questions/4535647/logical-operators-in-javascript-how-do-you-use-them] 2 respostasQuando digito no console do navegador: console.log(2 && ...