Logic – вопросы и ответы

69
голосов
5
ответов
Когда вы задаете вопрос о переполнении стека, вы получаете поле текстовой области с такими параметрами, как "жирный", "курсив", "добавить гиперссылку" и все такое. Я хочу сделать то же самое... Но ...
5 месяцев, 3 недели назад the_
57
голосов
3
ответа
не на 100% уверен в заголовке, не стесняйтесь редактировать, чтобы быть более общим и полезным для всех пользователей У меня есть портал захвата заказов, который позволяет захватить заказы. Часть з...
5 месяцев, 3 недели назад Smudger
100
голосов
2
ответа
У меня проблемы с работой этой функции. Это мой проект базы данных Я работаю в приложении, в котором, когда пользователь удаляет родительскую категорию, вся подкатегория также будет удалена и так д...
5 месяцев, 3 недели назад PinoyStackOverflower
58
голосов
7
ответов
У меня есть таблица user_name с тремя полями, id, Name, Email ( id is auto_increment ). Я хочу выполнить следующий запрос в PHP, но он не возвращает никакого результата. INSERT INTO user_name (Name...
5 месяцев, 3 недели назад Prashant
56
голосов
2
ответа
Я хотел что-то запустить с тобой, ребята. Я начинаю новый проект, который примерно следующий: Важная информация: Я использую PHP и MySQL Каждую минуту я получаю список транзакций от API от разных п...
5 месяцев, 3 недели назад user4910881
57
голосов
1
ответ
Я не думаю, что задаю вопрос правильно, но, надеюсь, вы знаете, о чем я спрашиваю. Каковы плюсы и минусы использования строкового значения для представления поля базы данных (или любой переменной) ...
5 месяцев, 3 недели назад KRob
57
голосов
1
ответ
Я пытаюсь написать следующую функцию: justEq : ∀ {A} -> (x y : A) -> (just x ≡ just y) -> (x ≡ y) justEq x y pf = {!!} Я не знаю, как это написать. Для меня это интуитивно для аксиоматики,...
5 месяцев, 3 недели назад jmite
113
голосов
1
ответ
Я пытаюсь изучить python, решая проблему с projecteuler.net. Я пытался решить проблему 62, но я не могу найти, где я ошибаюсь. Проблема заключается в следующем: The cube, 41063625 (345^3), can be p...
5 месяцев, 3 недели назад Naren
57
голосов
2
ответа
У меня есть 3 переменные, a, b и c, и вы хотите случайным образом назначить им 3 возможных числа, 1,2 или 3. a может равняться b, но c может не совпадать. Поэтому, если a = 2 и = 1, то c = 3. Если ...
5 месяцев, 3 недели назад Ace
81
голос
2
ответа
Я пытаюсь создать базу данных для управления данными об автобусе CREATE TABLE Company( Company_Name VARCHAR(12), Tel INT, PRIMARY KEY(Company_Name) ); CREATE TABLE Line( ID_Line VARCHAR(3), NCompan...
5 месяцев, 3 недели назад Mitro
57
голосов
2
ответа
У меня есть объект, который может иметь 3 разных переменных состояния, которые являются логическими. Правило состоит в том, что только одно из трех может быть истинным в любой момент времени. Все о...
5 месяцев, 3 недели назад SASS_Shooter
71
голос
1
ответ
Я новичок в языке пролога, и я хочу реализовать 4 правила, которые они Rule 1: if the environment is papers or the environment is manuals or the environment is documents or the environment is textb...
5 месяцев, 3 недели назад Subhi Ayman
82
голоса
2
ответа
Я борюсь с логикой этого кода. Я думаю, что пустые записи появляются, когда используется кнопка "Назад". Это для системы вопросников для учащихся с ограниченными возможностями, где задается только ...
5 месяцев, 3 недели назад Mike Thrussell
106
голосов
3
ответа
Используя Perl, я хотел бы проверить, существуют ли две строки, выделенные ниже, в текстовом файле. Каждой строке предшествует вкладка. CF=CFU-ALL-PROV-NONE-YES-NO-NONE-YES; CF=CFB-ALL-PROV-NONE-YE...
5 месяцев, 3 недели назад user803271
119
голосов
5
ответов
У меня есть кнопка "добавить" и GridLayout с 6 слотами в ней, когда я нажимаю кнопку "добавить" , view1 добавляется в gridlayout, я нажимаю кнопку "добавить" , снова появляется view2 и т.д.. if (!t...
5 месяцев, 3 недели назад John Sardinha
79
голосов
1
ответ
В чем заключается сложность преобразования любой пропозициональной формулы в формат CNF? Это NP-полная проблема?
5 месяцев, 3 недели назад william007
126
голосов
2
ответа
Я пытаюсь изменить свой запрос, чтобы включить запись w/Plan.id == 848 (это очень специфическая запись, которая мне нужна независимо от других результатов). Поэтому 848 должен быть включен во все в...
5 месяцев, 3 недели назад OldWest
-4
голоса
2
ответа
CreatedDate = meta.CreatedDate.HasValue ? meta.CreatedDate.Value.ToShortDateString : null Эта строка кода вызывает исключение. Тип условного выражения не может быть определен, потому что не существ...
5 месяцев, 3 недели назад Ceylan Mumun Kocabaş
119
голосов
2
ответа
Я встретил головоломку slant в Ubuntu. Я хочу решить логику логически, а не путем проб и ошибок и т.д. Правила просты: Мы должны заполнить все поля правильным или левым наклоном. Число наклонов, пр...
5 месяцев, 3 недели назад Muthu Ganapathy Nathan
70
голосов
1
ответ
Я решил написать Prime Number Checker: import java.util.Scanner; public class PrimeChecker { int userEntry; int even_check; int odd_check; final void run(String[] args) { Scanner jaiho = new Scanne...
5 месяцев, 3 недели назад Dasman
88
голосов
1
ответ
У меня вопрос двух частей. Во-первых, я попытался заменить весь свой document.write на innerHTML, и теперь ничто не генерируется на странице правильно. Вторая часть моего вопроса заключается в том,...
5 месяцев, 3 недели назад riotgear
-4
голоса
2
ответа
У меня есть список. Когда этот список заполняется, у меня есть такие вещи: List<T> {Soc1, Soc2, Soc3} с комплексным объектом Soc. Затем я изменяю список: delete Soc2, добавьте Soc4: List<T...
5 месяцев, 3 недели назад Michele Boscagin
-4
голоса
1
ответ
У меня есть эта процедура задержки на ассемблере, может кто-нибудь объяснить мне, как это работает? Я очень новичок в сборке и стараюсь понять идеи. Может ли кто-нибудь помочь мне понять функционал...
5 месяцев, 3 недели назад NirAv JaIn
-4
голоса
1
ответ
Я считаю, что код будет говорить сам за себя, но, как правило, точкой кода является класс Map который будет принимать массив значений BufferedImages , x и y, чтобы составить карту многих слоев (пер...
5 месяцев, 3 недели назад matt murray
56
голосов
1
ответ
Я попытаюсь объяснить это как можно лучше, но не стесняйтесь просить разъяснений. Во-первых, я попытаюсь объяснить проблему. Мне нужно вычислить количество ресурсов (точек) для любой заданной итера...
5 месяцев, 3 недели назад tylerjgarland
101
голос
1
ответ
Im brandnew к Isabelle, и программированию HOL вообще. Одним из упражнений в учебнике является: Определить рекурсивную функцию double :: nat ⇒ nat и доказать double m = add m m. Im Все еще пытаюсь ...
5 месяцев, 3 недели назад Eridanis
57
голосов
2
ответа
Я столкнулся с вопросом, является ли текущее предложение действительным/условным/неудовлетворительным: p(x)⇒∀x.p(x) Я думаю, что ответ - это предложение. в разделе 6.10 учебника здесь http://logic....
5 месяцев, 3 недели назад badbye
70
голосов
2
ответа
Может ли кто-нибудь объяснить этот пример логики разделения? В чем разница между первой строкой и второй строкой?
5 месяцев, 3 недели назад Hoang-Mai Dinh
261
голос
3
ответа
Я искал в Интернете, и я не могу найти никаких объяснений CHI, которые не быстро вырождаются в лекцию по логической теории, которая резко над моей головой. (Эти люди говорят, будто "интуиционистско...
5 месяцев, 3 недели назад MathematicalOrchid
125
голосов
2
ответа
Учитывая инструкцию SQL: NOT (Count ≤ 10), что это упрощенная инструкция без NOT. Я мог видеть, что это либо Count> 10, либо Count ≥ 10
5 месяцев, 3 недели назад Paul G
56
голосов
2
ответа
У меня возникли проблемы с написанием логики для скрипта. Кажется, я не обволакиваю голову. У меня есть форма, содержащая 6 полей количества и две соответствующие флажки для каждого поля количества...
5 месяцев, 3 недели назад user1032775
57
голосов
2
ответа
По некоторым причинам в следующей логической оценке возникает синтаксическая ошибка: True is not None and not False is not not not None Ошибка можно сузить до этого утверждения: False is not not No...
5 месяцев, 3 недели назад user3002473
72
голоса
1
ответ
Мне нужно знать исходные номера столбцов вектора строк, отсортированные в порядке убывания. Вероятно, это простой вопрос для вас, но я не очень хорошо разбираюсь в кодировании. Спасибо.
5 месяцев, 3 недели назад Eddie
90
голосов
1
ответ
поэтому у меня проблемы с моим кодом. Моя цель - подсчитать и правильно использовать логическую "innerVowelGroup". Я хочу знать, как подсчитать гласные, если скажем, что две гласные расположены ряд...
5 месяцев, 3 недели назад MrTumble
89
голосов
1
ответ
Я надеюсь не путать людей, но я не могу понять это. У меня есть сценарий лайтбокса, который я написал сам, и я пытаюсь установить поля, высоту и ширину, чтобы поле всегда было вертикально вертикаль...
5 месяцев, 3 недели назад Josh Dredge
89
голосов
2
ответа
На стороне с прошлого года я писал интерпретатор для HTML. Я не думаю, что HTML - очень хороший язык, и я думал, что могу создать интерпретатор, который переводит мой красивый код в HTML для исполь...
5 месяцев, 3 недели назад user4910881
-4
голоса
2
ответа
Я работаю над получением текущей цены покупки и продажи от торгового API, сравниваю ее с позиции, в которой я купил, а затем предпринимаю соответствующие действия - продавать или покупать Существую...
5 месяцев, 3 недели назад MassiveOwl
106
голосов
1
ответ
Я пытаюсь написать случайную цифровую игру в JavaScript, но у меня много проблем с получением случайного числа, чтобы фактически генерировать что-то между min и max, если они изменены. Это то, что ...
5 месяцев, 3 недели назад Elegant.Scripting
58
голосов
2
ответа
мой probem, у меня есть две строки, такие как durgaprasad и spandana. здесь я хочу сравнить 1-ю строку сначала cahr со второй строкой всех символов, если первый первый символ sting сопоставлен, зат...
5 месяцев, 3 недели назад Durga Rao
88
голосов
13
ответов
Какая была бы лучшая логика для проверки всех букв в заданной строке. Если все 26 букв доступны в предоставленной строке, я хочу проверить это и выполнить так ops. например. Упакуйте мою коробку с ...
5 месяцев, 3 недели назад Vivek
Чтобы , пожалуйста,
Выберите тему жалобы:

Другая проблема