0
ответов
Найти, если каждый ровный бит устанавливается на 0, используя побитовые операторы
, у меня есть 32 бит INT, я могу получить доступ только к нему 8 битов одновременно. Мне нужно выяснить, есть ли каждый ещё бит на 0 и возврат 0, если его верно и 1 иначе. До сих пор я собираюсь разделить свой int, используя смены ...
вопрос задан: 1 October 2012 11:30
0
ответов
Как делать дела с индуктивным типом в Coq
Я хочу использовать тактику разрушения, чтобы доказать утверждение по случаям. Я прочитал пару примеров в Интернете и запутался. Может кто-нибудь объяснить это лучше? Вот небольшой пример (есть и другие ...
вопрос задан: 20 September 2012 12:32
0
ответов
Как найти «если Q, то S» в этом классическом выводе CSL [закрыто]
Вот проблема: мне нужно получить Q> S из: (P ^ Q ^ R)> S
(~ P ^ Q ^ ~ R)> S Мне не разрешено использовать какие-либо производные правила или правила замены (правила Де Моргана, импликации, методы и т. Д.), Только ...
вопрос задан: 18 September 2012 16:58
0
ответов
Проблема компьютерной логики
Рассмотрим многоуровневый компьютер, в котором все уровни различны. На каждом уровне есть инструкции, которые в m раз мощнее инструкций уровня ниже него, т.е. одна инструкция r уровня может выполнять ...
вопрос задан: 16 September 2012 15:31
0
ответов
Определите знак 32 бита INT
, используя только:! ~ & ^ | + << >> Нет петлей, которые мне нужно определить знак 32-битного целого числа и мне нужно вернуть 1, если положительный, 0, если 0 и -1, если отрицательно. Есть идеи? Я впервые подумал о ...
вопрос задан: 14 September 2012 18:25
0
ответов
Почему если (n & -n) == n, то n - мощность 2?
Линия 294 java.util.random источник говорит, что если ((n & -n) == n) //, т.е. n - мощность 2 // Остальная часть кода, почему это?
вопрос задан: 20 August 2012 16:29
0
ответов
Использование логической монады в Haskell
Недавно я внедрил в Haskell наивный DPLL Sat Solver, адаптированный из «Руководства по практической логике и автоматическому рассуждению» Джона Харрисона. DPLL - это поиск в обратном направлении, поэтому я хочу ...
вопрос задан: 4 August 2012 14:04
0
ответов
Почему продукты называются минтермс, а суммы — макстермс?
Есть ли у них причина для этого? Я имею в виду, что в сумме минтермов вы ищете термины с выходом 1; Я не понимаю, почему они называют это "минтермами". Почему не maxterms, потому что 1 намного больше, чем 0?...
вопрос задан: 21 July 2012 15:31
0
ответов
Цель XOR -c
Есть ли способ поставить условие, которое возвращает true, только если один из двух компонентов возвращает true? BOOL var1 BOOL var2 что-то короче if ((var1 && !var2 )|| (!var1 && var2 ))...
вопрос задан: 11 July 2012 11:50
0
ответов
Что такое комбинаторно-логический эквивалент интуиционистской теории типов?
Недавно я закончил университетский курс, посвященный Haskell и Agda (, функциональному языку программирования с зависимой типизацией ), и мне было интересно, можно ли заменить лямбда-исчисление в этих...
вопрос задан: 11 July 2012 08:41
0
ответов
Логическая проблема -сколько / каких маленьких ящиков в большом ящике -PHP/MySQL
У меня есть проблема, и я постараюсь описать ее как можно проще. Используя комбинацию PHP и MySQL, мне нужно решить следующую логическую задачу, это упрощенная версия...
вопрос задан: 9 July 2012 21:59
0
ответов
Камень, ножницы, бумага. Определить выигрыш/проигрыш/ничью с помощью математики?
Итак, я писал игру «камень-ножницы-бумага», когда дошел до написания этой функции :a — ход первого игрока, b — ход второго игрока. Все, что мне нужно выяснить, это выиграл ли первый игрок, проиграл или сыграл вничью. //рок=...
вопрос задан: 7 July 2012 17:33
0
ответов
Преобразование строкового массива в хэш-карту [дубликат]
У меня есть следующий ответ T2269|175@@2a1d2d89aa96ddd6|45464047 С помощью разделения ("\\|" )Я преобразовал в объект строкового массива. Значение каждого поля следующее :T2269...
вопрос задан: 5 July 2012 08:31
0
ответов
Есть ли в Lua сравнения с оператором ИЛИ?
Я только начинаю использовать Lua, и мне было интересно (, потому что я не могу найти его на веб-сайте ), есть ли в Lua оператор ИЛИ, например, как в других языках есть || :если (условие == верно ||...
вопрос задан: 30 June 2012 04:57
0
ответов
Есть ли способ переключаться между двумя строками с помощью одного фрагмента JavaScript?
Я хочу сделать что-то вроде if (something.val () == 'string1')
{something.val ('строка2');
}
иначе если (something.val () == 'строка2')
{something.val ('строка1')
} Но в одной строчке кода. Я могу '...
вопрос задан: 27 June 2012 12:58
0
ответов
Оптимизация производительности оператора for-loop/switch-statement
пожалуйста, помогите мне определить, какой из следующих кодов является более оптимизированным? for(int i=0;i
вопрос задан: 26 June 2012 07:35
0
ответов
Какой логический оператор имеет приоритет
Итак, я пытаюсь написать несколько более сложную операцию с логическими операторами в операторе if-else. Я знаю, что могу заключать круглые скобки, и знаю, что это лучший способ сделать это, но я получил...
вопрос задан: 22 June 2012 14:16
0
ответов
Логика в Прологе
Как я могу выразить следующие 3 предложения на Прологе? Все лето теплое. Если не лето, то зима. Сейчас зима.
вопрос задан: 7 June 2012 08:47
0
ответов
Как найти оптимальный порядок обработки?
У меня интересный вопрос, но я не уверен, как именно его сформулировать... Рассмотрим лямбда-исчисление. Для данного лямбда-выражения существует несколько возможных порядков приведения. Но некоторые из...
вопрос задан: 4 June 2012 13:21
0
ответов
Арены, где доминирует core.logic [soft]
Community Wiki Меня не волнуют очки репутации, я просто хочу хорошие ответы. Не стесняйтесь отметить этот вопрос как вики сообщества. Контекст Я работал с The Reasoned Schemer и...
вопрос задан: 2 June 2012 00:55
0
ответов
В поисках более питонического логического решения
Я решал несколько практических задач в Coding Bat и наткнулся на это.. Учитывая 3 значения int, a b c, вернуть их сумму. Однако, если одно из значений совпадает с другим значением, это так...
вопрос задан: 30 May 2012 13:02
0
ответов
Сложный запрос SOLR, включающий НЕ и ИЛИ
У меня есть несколько довольно сложных требований к поиску SOLR, который мне нужно выполнить в моей базе данных с теговым контентом. Мне нужно сначала отфильтровать базу данных по тем результатам, которые соответствуют моим тегам фильтра. ...
вопрос задан: 21 May 2012 16:24
0
ответов
Android: Циклический просмотр массива строк - нужна помощь по логике для метода намерения
Я java novice, и я использую приведенный ниже код для отображения списка интерактивных TextView, которые вызывают определенный класс при нажатии. Это список названий футбольных команд. Например. Арсенал...
вопрос задан: 15 May 2012 16:40
0
ответов
JQuery .hasClass для нескольких значений в операторе if
У меня есть простой оператор if как таковой: if ($('html').hasClass('m320')) { // делаем что-то } Это работает как ожидал. Однако я хочу добавить в оператор if дополнительные классы, чтобы проверить, есть ли какие-либо из ...
вопрос задан: 11 May 2012 21:55
0
ответов
Можно ли вычислить китайский Зодиак или мне нужно использовать справочную таблицу?
Я разрабатываю приложение, которое распознает ваш китайский знак. Я посмотрел вокруг, но нашел только графики (с 1900 по 2020 год), и никакой логики создавать что-то более динамичное. Нет ли логики для...
вопрос задан: 1 May 2012 18:03
0
ответов
Изоморфизм Карри-Ховарда
Я поискал в Интернете и не смог найти никаких объяснений CHI, которые не превращались бы быстро в лекцию по теории логики, которая совершенно непосильна для меня. (Эти люди говорят так, как будто «...
вопрос задан: 18 April 2012 23:58
0
ответов
Как работает Джинн
Итак, я понимаю, что, вероятно, буду жалеть об этом всю оставшуюся жизнь, но... Как на самом деле работает Джинн? В документации сказано, что он использует алгоритм, который h является "расширением LJ" и...
вопрос задан: 18 April 2012 21:08
0
ответов
И/ИЛИ в Python? [дубликат]
Я знаю, что выражения и и или существуют в питоне, но есть ли какое-либо выражение и/или? Или каким-то образом объединить их, чтобы получить тот же эффект, что и выражение and/or? мой код выглядит...
вопрос задан: 14 April 2012 00:20
0
ответов
Понимание модели выполнения Mini-Kanren
Глава 5 SICP объясняет схему метакругового оценщика стажеров регистровой машины. Есть ли что-нибудь, что обеспечивает аналогичный тип Mini-Kanren с точки зрения примитивов схемы? Я знаю, что ...
вопрос задан: 12 April 2012 06:14
0
ответов
PHP || и && логическая оптимизация
Я немного помешан на оптимизации (по крайней мере, по моему определению), и этот вопрос не дает мне покоя уже довольно давно. Мне интересно, делает ли PHP некоторую оптимизацию для && и ||:
Возьмем...
вопрос задан: 8 April 2012 02:53