Описание тега theorem
В математике теорема - это утверждение, которое было доказано на основе ранее установленных утверждений, таких как другие теоремы, и ранее принятых утверждений, таких как аксиомы.
1
ответ
Нужна помощь в понимании основной теоремы в этом доказательстве
Буду очень признателен, если кто-нибудь поможет мне с парой вопросов, Для каждого из следующих определений рекурсивных функций используйте основную теорему, чтобы определить ее асимптотический порядок роста (т. Е. Big-Tetha). Если вы считаете, что о…
16 окт '13 в 01:24
2
ответа
Задача с десятичной нумерацией теоремы в LaTeX
Ниже приведено начало моего кода LaTeX. Когда я компилирую, числа теорем не показывают десятичную точку. Например, вывод показывает теорему 11 вместо теоремы 1.1. Как я могу это исправить? \documentclass[smallcondensed]{svjour3} \smartqed \usepackag…
01 окт '10 в 03:44
1
ответ
Проверка согласованности модели FOL
Я разрабатываю модель в логике первого порядка. Я хотел бы доказать, что это соответствует. Является ли это возможным? Есть ли бесплатный инструмент, который я могу использовать для этого? Или это невозможно из-за теорем Годеля? С наилучшими пожелан…
17 мар '17 в 12:43
1
ответ
Теорема Вильсона в C++, неверный вывод?
Я написал функцию, которая должна проверять, является ли целое число простым, используя теорему Вильсона. Однако это выводит, что 5 не простое число, которое очевидно. Я хочу спросить, почему это? #include <iostream> using namespace std; long …
25 янв '18 в 08:11
1
ответ
Z3 и Eclipse IDE
Я пытаюсь использовать Z3 ( http://z3.codeplex.com/) в Eclipse IDE. Я установил PyDev и скачал предварительно скомпилированные двоичные файлы Z3 для Windows. Я также добавил подкаталог bin в переменные окружения PYTHONPATH и PATH. В этом очень прост…
20 дек '13 в 14:13
4
ответа
Теорема Бёма-Якопини
Согласно теореме Бёма-Якопини, алгоритм может быть написан с использованием только трех утверждений: последовательность выбор итерация Многие учителя предполагают, что теорема является актом веры, и они учат не использовать (переход, прыжок, разрыв,…
30 окт '16 в 21:44
1
ответ
Использование основной теоремы для расчета асимптотической временной сложности алгоритма
Проблема: у вас есть алгоритм, который делит проблему размера n на шесть подзадач размером с четверть оригинала. Для деления алгоритм составляет 100 шагов, а для слияния 75н. Сколько времени асимптотическая сложность алгоритма? Итак, формула для осн…
18 июн '15 в 21:27
2
ответа
Доказательство теоремы в Coq
Я пытаюсь доказать теорему в Coq, и я не могу решить возникшую проблему. Я пытаюсь решить: forall A B C: Prop, A\/(B\/C)->(A\/B)\/C. Proof. intros. destruct H as [H1 | [H2 | H3 ]]. Case H1. and in this last line I get the following error "Error: …
25 ноя '12 в 15:04
1
ответ
Булева алгебра - теоремы
У меня есть домашний вопрос: "Покажи следующее, используя теоремы. Укажите, какую теорему вы используете на каждом этапе". Это только одна из многих проблем, которые у меня есть! Так что, если вы можете помочь мне решить эту проблему, я смогу примен…
21 окт '10 в 23:32
2
ответа
Как использовать встроенный R-код в теореме уценки или в примере среды
Я использую bookdown для генерации документов как в html, так и в PDF. Как я могу использовать результаты встроенного R-кода в теоремах и примерах окружения? Вот что я попробовал: --- title: "Test" output: bookdown::pdf_book: toc: false html_documen…
26 сен '17 в 15:55
1
ответ
Реализация математических теорем
Это общий вопрос проектирования по реализации математических теорем. Я пытаюсь реализовать некоторые математические теоремы, из дифференциальной геометрии, в языке программирования (неважно, какой; для простоты я использую язык Python, но это не дол…
05 дек '17 в 06:56
2
ответа
Стоимость алгоритма с использованием основной теоремы
Здравствуйте, может кто-нибудь, пожалуйста, помогите мне с вопросом T(n)=T(n^(1/2)) + theta (lg lg n) Это то, что я сделал до сих пор m = lg n s(m)=s(m/2) + theta (lg m) Применяя основную теорему здесь a=1 b=2 m^log 2 (1) = m^0 =1 сейчас застрял.
06 мар '15 в 18:25
2
ответа
Кто-нибудь пробовал доказывать Z3 с самим Z3?
Кто-нибудь пробовал доказывать Z3 с самим Z3? Можно ли даже доказать, что Z3 является правильным, используя Z3? Более теоретически, возможно ли доказать, что инструмент X является правильным, используя сам X?
03 авг '11 в 09:56
0
ответов
Разделительная ось Теория - ложное срабатывание на вертикальной оси
Я реализовал обнаружение столкновений с использованием SAT, и я получаю ложные срабатывания, если другой bbox выше или ниже ограничительной рамки. Я проецирую каждую (пока что) выровненную по оси грань ограничительной рамки на свою собственную, а др…
11 сен '15 в 10:55
1
ответ
Попробую ещё лемму с существующим
Я застрял на лемме "оставил как упражнение" из этой лекции. Это выглядит так: Lemma even_double : forall n, even n -> exists k, n = 2 * k. Proof. intros n H. induction H. ... куда even индуктивный предикат, определенный следующим образом: Inducti…
11 апр '14 в 21:50
4
ответа
Пролог логики первого порядка
Я пытаюсь найти способ поместить следующее логическое выражение первого порядка в Пролог: (p(0) or p(1)) and not (p(0) and p(1)) Это означает, что он должен отвечать на запросы следующим образом: ?- p(0) Yes. ?- p(1) Yes. ?- p(0),p(1). No. Я попытал…
28 сен '12 в 13:10
5
ответов
Возврат функции: PHP
Я не уверен, что мне не хватает, но я не могу получить $c правильно выводить. <?php function pythThm($a, $b){ $a2 = pow($a, 2); $b2 = pow($b, 2); $c = sqrt($a2 + $b2); if(is_int($c)){return $c;} } echo pythThm(3, 4); //outputs nothing, should be …
25 фев '12 в 06:03
2
ответа
Как нумеровать непоследовательные добавления в LaTeX, не нарушая оригинальную нумерацию теоремы?
Я пишу тезис с определениями, теоремами, леммами и тому подобным. Мне нужно дать базовое определение понятия, а затем в тезисе раскрыть это определение, поскольку дополнительные параметры усложняют его и, следовательно, определяют. Поэтому мне нужно…
19 ноя '09 в 15:53
4
ответа
cleveref терпит неудачу для теоремных сред с одним счетчиком
Я хочу пронумеровать все теоремы и следствия на одном счетчике (разделе). Но когда я делаю это, умница называет их обоих "теоремой". Вот минимальный пример: \documentclass{amsart} \usepackage{amsthm, cleveref} %\crefname{theorem}{theorem}{theorems} …
27 июн '11 в 22:07
2
ответа
Агда - обратный помощник
Я пытаюсь доказать эту лему reverse-++ : ∀{ℓ}{A : Set ℓ}(l1 l2 : A) → reverse (l1 ++ l2) ≡ (reverse l2) ++ (reverse l1) reverse-++ [] [] = refl reverse-++ l1 [] rewrite ++[] l1 = refl reverse-++ l1 (x :: xs) = {!!} Но другая функция, обратный помощн…
19 фев '14 в 22:38