Вопросы по теме '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 просмотров

Доказательство контрпримером в 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