Публикации по теме 'boolean-logic'


Нейронная сеть — это многомерная булева функция.
Этот блок статей берет свое начало с этой лекции Ильи Суцкевера. Там он вообще рассматривает возможные решения для машинного обучения, акцентирует внимание на идее минимальной схемы и направляет ее на нейронные сети с обучением с обратным распространением. Эта идея «минимальной схемы» не давала мне покоя все это время. Что, если сама нейронная сеть является абстракцией слишком высокого уровня? Можно ли сформулировать процесс обучения в терминах схем? В настоящее время только..

Вопросы по теме 'boolean-logic'

Как я могу реализовать удобную логическую логику в графическом интерфейсе веб-формы?
В настоящее время у меня есть веб-приложение, в котором пользователь может использовать раскрывающиеся списки для создания операторов SQL SELECT, например: Выпадающий список выбора столбца | Выпадающий список операторов (= != > ‹ ‹= >=) |...
21119 просмотров
schedule 08.06.2022

Булева логика и таблицы истинности Объяснение
Мне нужно создать таблицу истинности, и мне действительно нужно найти ресурс, чтобы объяснить, как это работает. Я приведу пример проблемы. Мне нужно создать таблицу истинности на основе этого: A*(B+A B)=A B Таким образом, таблица истинности...
1328 просмотров
schedule 01.10.2022

Упрощение булевой алгебры
Нужна помощь, я понятия не имею о мыслительном процессе при таком упрощении. ! - Обозначает НЕ Допустим, у меня есть !((A+B) * (A+!B)) Мне нужно упростить это, используя все правила, кроме абсорции. Я знаю, что это A * !B + !A * B, но я нужно знать...
1797 просмотров
schedule 27.09.2023

Как и и или работают, когда объединены в одном утверждении?
Меня почему-то смутила эта функция: def protocol(port): return port == "443" and "https://" or "http://" Может ли кто-нибудь объяснить порядок того, что происходит за кулисами, чтобы это работало так, как оно работает. Я так понял,...
18393 просмотров
schedule 19.01.2023

Как работать с этой машиной Тьюринга?
Это снимок экрана апплета LogiCell 1.0 , ссылку на который я нашел здесь . Как показывает нижний левый угол, это сумма 0+1 , а результат 01b (нижняя правая часть). Я не могу связать отображаемое с входами и выходами. Например, в...
294 просмотров

Различия в логических операторах: & против && и | против ||
Я знаю правила для && и || , но что такое & и | ? Пожалуйста, объясните мне это на примере.
202563 просмотров

Оптимизация оценки дерева логической логики
У меня есть много истинных/ложных результатов, сохраненных в виде битов в массивах long[] . У меня их огромное количество (миллионы и миллионы лонгов). Например, скажем, у меня есть только пять результатов, я бы получил: +----- condition 5 is...
2940 просмотров

Найдите упрощенную сумму произведений логического выражения
Просто возникли некоторые проблемы с простым упрощением. Я делаю упрощение для мажоритарного декодера с 3 входами A, B и C. Его выход Y принимает 1, если 2 или все 3 входа принимают 1. Y принимает 0 в противном случае. Выберите правильную функцию...
15818 просмотров

Пакет оптимизатора логических функций для Python
Я хотел бы определить логическую функцию (с n входами и m выходами) в табличной форме. Я хотел бы найти оптимальное логическое выражение, реализующее функцию. Оптимальный здесь означает, что для аппаратной реализации потребуется как можно меньше...
1330 просмотров

Булева алгебра в javascript
Есть ли способ использовать булеву алгебру в JS? Например, я хотел бы перебрать массив, содержащий true и false, и упростить его до либо только true, либо false. Выполнение этого с помощью булевой алгебры кажется элегантным способом сделать...
3804 просмотров
schedule 13.09.2022

нечувствительный к регистру метод equals, основанный на одном атрибуте
Оригинальный вопрос Это действительно ужасный метод, который проверяет равенство на основе кода, но не зависит от регистра. def ==(another_country) (code.nil? ? nil : code.downcase) == (another_country.code.nil? ? nil :...
410 просмотров
schedule 15.12.2022

Преобразование функции из вентилей И, НЕ и ИЛИ в просто НЕ-ИЛИ
У меня есть схема, состоящая из вентилей И-НЕ и ИЛИ, мне нужно преобразовать ее так, чтобы в ней были только вентили НЕ-ИЛИ, у меня это не очень хорошо работает, поэтому любые советы будут очень признательны. Это исходная функция для преобразования:...
4433 просмотров
schedule 04.01.2023

Получение логической функции из таблицы, описывающей вывод d логической функции
Мне был задан следующий вопрос: В следующей таблице описываются выходные данные d логического развлечения с тремя входными значениями a, b и c. a b c | d ----------+---- 0 0 0 | 1 0 0 1 | 1 0 1 0 | 1 0 1 1 | 0 1...
3779 просмотров
schedule 26.01.2023

Где я ошибся с булевой логикой?
Для небольшой цифровой системы мне дается требование: «Двери не должны запираться (a = двери запираются), когда водитель вышел из машины (b = водитель в машине), но ключи все еще находятся внутри (c = ключи). внутри) двигатель, даже если водитель...
119 просмотров

Соглашение об установке типа возврата в логических функциях php
Хорошо ли явно «вернуть FALSE» в логической функции или просто «вернуть TRUE» Пример А: function check($link){ if(isset($link)){ return TRUE; }else{ return FALSE; } ИЛИ Пример Б: function check($link){...
237 просмотров
schedule 29.09.2022

Расширение шаблона спецификации на основе LINQ для реализации включения
Существует множество реализаций шаблона составной спецификации на основе LINQ. Я не видел ни одного, который использовал бы субсумпшн. Есть ли такие примеры, которые были задокументированы (блоги и т. д.) или опубликованы как открытый исходный...
445 просмотров

Как доказать тождество следующих булевых уравнений?
Используя логические манипуляции, как я могу доказать, что эти две стороны равны? Во-первых, я собирался манипулировать обеими сторонами, пока они не совпадут. Я не могу манипулировать им правильно, хотя. wy + w'yz' + wxz + w'xy' = wy + w'xz'...
896 просмотров
schedule 30.07.2023

Изменяет ли объединение сокращающих операторов с регулярными операторами результат выражения?
Я всегда считал, что использование условных логических операторов (так называемых коротких замыканий) вместо обычных логических операторов не влияет на результат выражения. var result = true | false & false; имеет тот же результат, что и...
136 просмотров
schedule 25.05.2024

Есть ли способ сказать ∃! в прологе?
Есть ли в прологе способ сказать «существует ровно один» ( ∃! )? Я думал о том, чтобы сделать что-то вроде % a predicate which is proven true if there is only one tall person only_one_tall() :- is_tall(X), is_tall(Y), X\=Y. а затем отрицание...
97 просмотров

Реализация C++ (XOR, ПРЕДПОЛАГАЕТ, IFF)
Таблица истинности: P-----------Q-----------XOR-----------ПРЕДПОЛАГАЕТ------- ----МКФ T-----------T--------------F---------------T-----------------T T-----------F--------------T---------------F-----------------F...
2327 просмотров
schedule 25.01.2024