Вопросы по теме 'negation'
вопрос пролога найти максимум с помощью оператора отрицания \ +
У меня есть несколько значений H, и я хотел бы найти максимальное, используя \ +, как мне это сделать?
maxValue(X) :-
Get(Id, X),
\+( Get(Id, Y), X < Y ).
понятия не имею .... помогите пожалуйста, спасибо!
702 просмотров
schedule
23.06.2022
Обработка байтов C#
У меня возникла небольшая проблема при попытке преобразовать некоторую логику VB6 в C#. В одной из функций VB6 он имеет следующий оператор:
w = Not CByte(w)
Где w - это long .
В примере, после того как эта строка оценивается в VB6, я...
222 просмотров
schedule
16.12.2022
(F) Лекс, как мне сопоставить отрицание?
Некоторые языковые грамматики используют отрицания в своих правилах. Например, в спецификации Dart используется следующее правило:
~('\'|'"'|'$'|NEWLINE)
Это означает соответствие всему, что не является одним из правил внутри круглых скобок....
2445 просмотров
schedule
29.07.2023
Идиоматически отрицать фильтр
Какой самый идиоматический способ написания filter с отрицанием?
Пример:
is_even= lambda x : x % 2 == 0
odd_numbers= filter( lambda x: not is_even(x), range(10) )
Конечно, вы можете просто использовать понимание списка, но тогда вам все...
3515 просмотров
schedule
20.12.2022
Доказательство контрпримером в Coq
После доказательства десятков лемм в исчислении высказываний и предикатов (некоторые более сложные, чем другие, но, как правило, все же доказуемые на intro-apply-destruct автопилоте), я наткнулся на одну, начинающуюся с ~forall , и тут же попался....
706 просмотров
schedule
07.06.2022
CSS: использование отрицания для * всех элементов
Я хочу выбрать все элементы <img> , которые находятся внутри <article> , а не внутри <figure>
После этих 2: Как создать css для всех элементов, кроме одного класса?
https://www.w3.org/TR/css3-selectors/#negation
Все...
103 просмотров
schedule
30.01.2023
perl6 отрицает определяемый пользователем класс символов
Я пытаюсь игнорировать все строки, в которых есть кавычки, как-то это сливается:
> my $y='\"\""';
\"\""
> so $y ~~ m/<-[\"]>/
True # $y has a " mark, so I want it to be False
> $y ~~ m/<-[\"]>/
「\」
>...
74 просмотров
schedule
08.03.2023
Почему ядро Linux использует двойное логическое отрицание вместо приведения к bool?
Учитывая, что x является переменной типа int с числом 5 в качестве значения, рассмотрим следующий оператор:
int y = !!x;
Вот что, я думаю, происходит: x неявно приводится к bool и выполняется первое отрицание, после этого...
755 просмотров
schedule
25.02.2023
Является ли `{}` функционально эквивалентным `not null & not undefined`?
Я нахожусь в ситуации, когда я хотел бы ввести значение как «любое, кроме неопределенного». Я знаю, что тип {} представляет собой пустой объект, и поскольку каждое значение в JavaScript является объектом, за исключением undefined и null , {}...
27 просмотров
schedule
18.09.2022
Является ли это избыточным использованием !! логическая структура, когда значение равно true или false?
Есть другие вопросы о !! (двойное отрицание) уже ( здесь , и здесь ), и эти вопросы отвечают на мое замешательство по этому поводу. Но то, что я хочу узнать с этим вопросом, более конкретно... Вот это мой случай.
У меня есть eslint для моей...
27 просмотров
schedule
31.05.2023
Почему, согласно этой книге, композиция двух функций not в CL приводит к нулю?
Я изучаю книгу Common LISP: A Gentle Introduction to Symbolic Computation . Книге около 40 лет, и, судя по всему, она в некотором роде классика.
В главе 1 автор использует блоки как способ объяснения функций с входами и выходами. Это один из...
67 просмотров
schedule
09.12.2022