Última pergunta sobre Logic

1
Responda

Como escrever bigvee e big wedge em Isabelle

Estou tentando usar o Isabelle para fazer a prova automática. No entanto, tive um problema ao especificar fórmulas em Isabelle. Por exemplo, tenho fórmulas como esta Então, eu defino conjuntos e uso os símbolosbig_wedgeebig_veeno Isabelle da seguinte maneira: E o resultado é"Erro léxico interno⌂ Falha ao analisar prop". Você poderia explicar o que está errado aqui, por favor? Muito obrigado.

logic higher order functions isabelle formal methods set

1
Responda

Em bash/ash como construir uma lógica para verificar o cron?

Estou tentando criar um script que comparará o cron e se o dia/hora atual estiver dentro do horário de início/parada do cron, então execute uma função. Se houvesse apenas uma entrada cron para iniciar/parar, isso seria simples, mas não consigo descobrir como permitir vários crons. Estou usando posix/ash, mas se alguém puder oferecer um exemplo de bash, espero que eu possa adaptá-lo. Estou preso para entender como construir a lógica?

logic sh bash posix ash

1
Responda

Preciso do meu programa para calcular a quantidade de dinheiro que as líderes de torcida levantaram durante a arrecadação de fundos para doces

Há 12 barras de chocolate em uma caixa e elas são vendidas por 1,00 cada. O custo de um processo é de 8,00 e 10% dos rendimentos vão para a associação do governo estudantil. O programa precisa perguntar ao usuário quantas barras foram vendidas, em seguida, calcular e exibir os rendimentos do SGA ', os rendimentos da equipe de torcida. Se a receita líquida (valor após a doação do SGA) ultrapassar US $500, preciso que o programa exiba a mensagem"Parabéns! Você arrecadou US $500 ou mais!"Se a equipe não arrecadou $500, preciso que o programa exiba a mensagem"Desculpe! Você não atingiu sua meta!"O código que tenho pede a entrada, mas não calcula nada nem exibe a mensagem final"meta". Você pode ajudar com os erros lógicos que eu tenho? Eu postei o código abaixo. Agradecemos antecipadamente e agradeço toda a ajuda!

python logic

0
Responda

Como encontrar a localização de um elemento no React DOM

Estou tentando fazer uma roda giratória (como a roda da fortuna ou roleta) em reagir e agarrar a parte da roda (8 peças cada com uma classe) que cai ao lado da seta fixa. Eu olhei para agarrar o offsetHeight e outros att's, mas não consigo encontrar um atributo que me dê sua localização atual depois que ele para de girar. Portanto, acho que minha pergunta é como posso saber quando, digamos, a parte vermelha (ex.className="um") da roda está alinhada com a seta. Obrigado por toda a ajuda.

css javascript reactjs dom logic

Etiquetas quentes

© 2021   OlaMundo.Org