4
ответа
Большая часть сжатого способа определить, равняется ли переменная значению из 'списка' значений
Если у меня есть переменная в C#, который должен быть проверен, чтобы определить, равно ли это одному из ряда переменных, что лучший способ состоит в том, чтобы сделать это? Я не ищу решение, которое хранит набор...
вопрос задан: 20 August 2008 22:28
3
ответа
Сортировка массива C ++ - проблема с учетом & ldquo; bbba & rdquo; и & ldquo; 0001 & rdquo; как неправильные сорта
// упорядочен ли массив? // если есть один или ноль элементов, по сути отсортированные // не могут сравниваться с другими элементами, если они не существуют if (len == 0 || len == 1) {return true; ...
вопрос задан: 3 March 2019 12:45
3
ответа
Становление операционным в Прологе быстро
Моя компания имеет проект, работающий в Прологе, и я хочу разъяснить немного вещей о том, как пойти об изучении его. Я знаю, что Пролог отличается. Это не должно быть изучено точно так же, как никакой другой язык. Наличие...
вопрос задан: 15 January 2016 19:10
3
ответа
Тестирование лестничной логики
Все мы знаем различные способы протестировать системы OO. Однако похоже, что я буду собираться сделать проект, где я буду иметь дело с лестничной логикой PLC (не спрашивайте:/), и я задавался вопросом, существует ли...
вопрос задан: 22 January 2012 12:11
3
ответа
Разделение презентации и бизнес-логики в PHP
Я программирую свой первый реальный веб-сайт PHP и задаюсь вопросом, как сделать мой код более читаемым мне. Справочник, который я использую, является PHP и веб-разработкой MySQL 4-й редактор вышеупомянутая книга...
вопрос задан: 15 June 2010 14:21
3
ответа
C: XNOR / Эксклюзивный - Ни логический элемент?
Я пытаюсь найти самый эффективный способ записать логический элемент XNOR в C. если (VAL1 XNOR VAL2) {БЛОК;} Какие-либо предложения?Спасибо.
вопрос задан: 6 June 2010 08:01
3
ответа
Пример реального мира Объединения в Логике первого порядка?
Я знаю, что это - только часть вопроса о программировании, но в данный момент, я делаю определенное логическое программирование. Одной вещью, которую я все еще не понимаю правильно, является Объединение в Логике первого порядка. Я...
вопрос задан: 2 June 2010 21:36
3
ответа
Как я могу управлять пулом ветвления в Perl?
Я устанавливаю что-то до SSH к нескольким серверам в 'пакетах'. Я в основном хочу поддержать 5 соединений за один раз, и когда каждый заканчивает, открывают другого (после массива дюйм/с сервера). Я'...
вопрос задан: 25 March 2010 18:47
3
ответа
Динамично оценивающая простая булева логика в Python
У меня есть некоторые динамично сгенерированные выражения булевой логики, как: (A или B) и (C или D) A или (A и B) пустое - оценивает к Истинному, заполнители заменяются булевскими переменными. Если я, Преобразовать...
вопрос задан: 18 March 2010 04:49
3
ответа
Логические переменные поддерживают для [закрытой].NET
Я ищу библиотеку/блок, которая позволяет мне работать с логическими переменными в F#. Я не хочу изобретать велосипед в реализации необходимой находки объединение datastructure, кода объединения...
вопрос задан: 3 March 2010 10:05
3
ответа
Механизм логики первого порядка
Я хотел бы создать приложение, которое может сделать простое обоснование с помощью логики первого порядка. Может любой рекомендовать "механизм", который может принять произвольное число выражений FOL, и позволять запрашивать...
вопрос задан: 22 February 2010 14:29
3
ответа
XSLT поразрядная логика
У меня есть существующий набор данных, который использует целое число для хранения нескольких значений; фронтэнд прежней версии сделал простую поразрядную проверку (например, в C#: iValues и 16 == 16), чтобы видеть, было ли конкретное значение установлено
вопрос задан: 9 July 2009 19:41
2
ответа
Почему ''> 0 Истинных в Python 2?
В Python 2.x:>>> ''> 0 Истинных, Почему это?
вопрос задан: 21 October 2019 15:38
2
ответа
Секвенциальное исчисление в прологе
Я действительно новое программирование в Прологе. Я должен запрограммировать правила последовательного исчисления в Прологе, что, я думаю, я сделал правильно. Код должен возвращать true, если формула верна, и false, если это не так. ...
вопрос задан: 2 March 2019 18:37
2
ответа
Неправильная троичная операция в Razor
У меня есть этот тег div, который использует троичную операцию, чтобы определить, следует ли использовать один стиль или другой стиль. < div class = "@ (Model.HeroBannerImageSmall?" --...
вопрос задан: 27 February 2019 17:30
2
ответа
Понимание модифицированного алгоритма умножения Боу-Вули
Для модифицированного алгоритма умножения Боу-Вули, почему это! (A0 * B5) вместо просто (A0 * B5)? Те же вопросы для! (A1 * B5),! (A2 * B5),! (A3 * B5),! (A4 * B5),! (A5 * B4),! (A5 * 3),! (A5 * B2 ),! (A5 * B1) и! ...
вопрос задан: 20 January 2019 03:57
2
ответа
Доказательство того, что одно условное выражение равно другому условному выражению
Как вы можете доказать, что два следующих выражения одинаково одинаковы? (A & amp; C) || (B & amp; C) (A || B) & amp; С
вопрос задан: 18 January 2019 21:06
2
ответа
Двумерное Движение Игрока Сетки Массива Java
Может ли кто-нибудь помочь мне решить движение игрока в моей сетке 2-го массива. Я также могу распечатать плеер на сетке. У меня только ...
вопрос задан: 15 January 2019 17:01
2
ответа
Почему Десятичный ('0')> 9999.0 Истинных в Python?
Это так или иначе связано с моим вопросом, Почему''> 0 Истинных в Python? В Python 2.6.4:>> Десятичное число ('0')> 9999.0 Истинных От ответа до моего исходного вопроса я понимаю это при сравнении...
вопрос задан: 23 May 2017 11:55
2
ответа
1 = ложь и 0 = правда?
Я наткнулся на функцию is_equals () в c API на работе, которая возвращает 1 для неравных таблиц sql (false) и 0 для равных (true). Я понял это только после запуска тестовых примеров в моем коде, один для ...
вопрос задан: 5 June 2015 17:24
2
ответа
Самый быстрый способ получить вход в Java?
Я хотел бы получить знак значения с плавающей запятой в виде значения int -1 или 1. Избегание условных выражений всегда является хорошей идеей в снижении вычислительных затрат. Например, один из способов, который я могу придумать, это использовать ...
вопрос задан: 21 December 2012 10:57
2
ответа
Как Objective-C может получить недействительный бул?
Как мне поступить получить значение bool, которое я могу присвоить true, false и nil в Objective-C? Как Objective-C способ сделать это? Очень похоже на C #'s Nullable. Я ищу возможность использовать ...
вопрос задан: 28 April 2012 11:14
2
ответа
Механизм логического вывода для вычисления соответствия набору согласно внутренним правилам
У меня есть ряд объектов с атрибутами и набором правил, который при применении к набору объектов обеспечивает подмножество тех объектов. Для создания этого легче понять, я обеспечу бетон...
вопрос задан: 18 April 2012 07:20
2
ответа
Что означает `true = false` в Coq?
[Я не уверен, что это подходит для переполнения стека, но здесь есть много других вопросов о Coq, так что, возможно, кто-то может помочь.] Я работаю над следующим из http: //www.cis.upenn.edu/~ ...
вопрос задан: 1 November 2011 12:09
2
ответа
Вопрос о логике и корреспонденции Карри-Howard
Вы могли объяснить меня, каково основное соединение между основными принципами логического программирования и явлением синтаксического подобия между системами типов и стандартной логикой?
вопрос задан: 17 May 2010 07:51
2
ответа
Как проанализировать строку булевой логики в PHP
Я создаю класс PHP с функцией члена парламента, не занимающего официального поста, которая возвращает строковое значение, такое как: 'верный && верный || ложь' к общедоступной функции членства. (Эта строка является результатом некоторого regex...
вопрос задан: 3 May 2010 21:09
2
ответа
Для чего используется естественный вычет за пределами академии?
Я изучаю естественный вычет как часть моего Формального курса Информатики Спецификации и Проверки в Университете/Колледже. Я нахожу это интересным, однако я изучаю намного лучше, когда я могу...
вопрос задан: 11 April 2010 14:42
2
ответа
Объединение высшего порядка
Я работаю над программой автоматического доказательства теоремы высшего порядка, которой объединение, кажется, самая трудная подпроблема. Если алгоритм Huet все еще считают современным, делает у любого есть любые ссылки на...
вопрос задан: 24 February 2010 12:32
2
ответа
Форма редактирования Django на основе добавляет форму?
Я сделал хорошую форму, и сложное большое 'добавляет' функцию для обработки ее. Это запускается как это... определение добавляет (req): если req.method == 'POST': сформируйтесь = ArticleForm (req. POST), если форма....
вопрос задан: 6 December 2009 03:18
2
ответа
Лучше всего измените размер и или обрежьте логику
Я столкнулся с этим несколько раз и думал, что было бы хорошо поместить его там. Каково Ваше лучшее изображение, изменяют размер и/или обрезают логику. Причем идея состоит в том, что некоторый метод называют с целевым изображением...
вопрос задан: 26 October 2009 20:01