Описание тега real-number
1
ответ
Монотонное свойство с плавающей точкой
Я читала книгу. В книге написано, что Добавление с плавающей запятой удовлетворяет следующему свойству монотонности: если a>=b затем (x + a) >= (x+b) для любого значения a,b а также x Кроме как NaN, Это свойство вещественного (и целочисленного…
12 авг '17 в 15:57
0
ответов
Как продолжать читать реальное число, пока символ не будет нажат? (Паскаль)
Я новичок в паскале, и я пытаюсь сделать простой калькулятор.Я хочу метод, который позволяет программе работать так:например для 15,5+15,5=31:пользователь вводит первое действительное число (15.5), затем набирает '+', затем второе действительное чис…
13 ноя '18 в 18:40
5
ответов
Что такое регулярное выражение для десятичных чисел в Java?
Я не совсем уверен, что является правильным регулярным выражением для периода в Java. Вот некоторые из моих попыток. К сожалению, все они имели в виду любого персонажа. String regex = "[0-9]*[.]?[0-9]*"; String regex = "[0-9]*['.']?[0-9]*"; String r…
29 мар '17 в 04:44
0
ответов
Формализация бесконечной суммы от отрицательной бесконечности до бесконечности в Coq?
Я могу видеть, что есть формализации для сумм по натуральным, но я не могу найти ничего для суммы по целым числам. Я хочу закодировать свертку, которая была бы convolution: (Z -> R) -> (Z -> R) -> (Z -> R) forall (f g: Z -> R) (x: …
12 янв '18 в 12:26
0
ответов
В чем разница между `Reals` и`Coq.Reals.*`В Coq?
При доказательстве общих фактов, таких как неравенства и полиномиальные уравнения, в чем разница между Reals и тому подобное Coq.Reals.{Rineq, R_sqrt, ...}? Я начал с поиска конкретных фактов / теорем и в итоге использовал последний, но я видел, как…
22 дек '15 в 16:00
1
ответ
Функция Matlab, которая генерирует случайные действительные числа в закрытом интервале
В Matlab есть какая-либо функция, которая генерирует случайные действительные числа в закрытом интервале. Я нашел что-то с unifrnd() но он генерирует числа в открытом интервале. Если я использую unifrnd(x,y); Я получаю (x,y) интервал вместо [x,y].
10 май '16 в 17:12
2
ответа
Как я могу выбрать только реальные числа из массива? (Python 3)
Я хочу найти вертикальную асимптоту для: f = (3x ^ 3 + 17x ^ 2 + 6x + 1) / (2x^3 - x + 3) Итак, я хочу найти корни для (2x^3 - x + 3), поэтому я написал: import sympy as sy x = sy.Symbol('x', real=True) asym1 = sy.solve(2*x**3-x+3,x) for i in range(…
28 июл '18 в 19:46
1
ответ
ML реальный список вернуть реальное число
В настоящее время я работаю над небольшим проектом ML и учусь работать с ним, но вот некоторые проблемы, с которыми я сталкиваюсь, но я не могу найти какой-либо источник в Интернете. Я хочу иметь функцию для возврата последнего номера в списке, кото…
23 апр '17 в 09:42
2
ответа
Delphi - как вы форматируете реальное число с ведущими нулями?
Мне нужно отформатировать действительное число с ведущими нулями в целой части числа до десятичной точки. Я знаю, как добиться этого с помощью целых чисел, но синтаксис для вещественных чисел ускользает от меня. Number := 1.234 ; SNumber := Format (…
25 окт '16 в 21:43
3
ответа
Две цифры после десятичной точки в вещественном числе в Паскале
Итак, для примера у меня есть действительное число, скажем, 17.4578, но я хочу отобразить его в паскале с двумя цифрами после точки, поэтому оно составляет 17.45. Что я пишу в моей программе?
05 янв '17 в 16:21
1
ответ
Coq Reals и Ssreflect GRings
Я хотел бы использовать леммы ssreflect на реалах, определенных в Coq.Reals.Raxioms, Как я могу это сделать? Например, я хотел бы иметь возможность использовать add, mulи т. д. операции, определенные для ssralg.GRing.Ring непосредственно на переменн…
16 апр '18 в 16:42
1
ответ
Coq Вещественные числа - сбор и разбор 3.14
С импортированной библиотекой Reals Require Import Reals. Как я могу определить константы, такие как 3.14 или 10.1, и использовать их для определения функции или вычисления?
09 фев '17 в 10:03
1
ответ
Как вы переводите дробную часть короткого действительного числа, возвращенного сопроцессором 8087?
Я написал простую программу, которая загружает число пи в верхнюю часть стека регистров в 8087, а затем возвращает эту константу в короткую переменную реальной памяти. FLDPI ;load pi FSTP DWORD PTR shortReal ;store pi in memory, then pop stack Значе…
18 ноя '16 в 03:35
1
ответ
Как вводить и выводить действительные числа на ассемблере
Мы решаем проблемы с действительными числами на языке ассемблера, используя FPU. Обычно мы пишем код ввода и вывода, используя язык C или готовые функции. Например: ; Receiving input and output descriptors for the console invoke GetStdHandle, STD_IN…
28 ноя '17 в 16:23
1
ответ
Чтение из байтового массива и преобразование в двойной
Я просто пытаюсь получить 8-байтовое РЕАЛЬНОЕ число с плавающей точкой из массива BYTE, который я ранее сгенерировал из содержимого файла, как число с плавающей точкой. На данный момент я знаю, что 8-байтовый реал такой же, как двойной. Следовательн…
08 авг '18 в 12:34
0
ответов
"Неявное" определение предела функции в Coq
В Coq мы можем формализовать понятие предела функции, определенной на R, определив функцию lim типа (R -> R) -> R -> R -> Prop следующее: Require Import Coq.Reals.Reals. Open Scope R. Definition lim (f : R -> R) (c : R) (L : R) := for…
11 июн '17 в 17:47
2
ответа
Восстановление неявной информации из существующих в Coq
Предположим, у нас есть что-то вроде этого: Предположим, что x - действительное число. Покажите, что если существует действительное число y такое, что (y + 1) / (y - 2) = x, то x <> 1". Если сформулировать это очевидным образом: forall x : R, (exist…
06 дек '17 в 11:21
1
ответ
Как автоматически доказать простое неравенство действительных чисел в Coq?
Есть ли способ автоматически доказывать простые неравенства, такие как 1/2 >= 0?, т.е. Require Export Coq.Reals.RIneq. Local Open Scope Z_scope. Local Open Scope R_scope. Example test: /2 >= 0. У меня мало опыта с ring или же fieldи у меня воз…
21 дек '15 в 00:51
1
ответ
Bash скрипт игнорирует отрицательный префикс на отрицательных числах
a=4; b=7; c=5; x =[ a-b ] if (x -gt c) then { echo "x is greater" } else { echo " something" } Я хочу сравнить x а также c игнорируя отрицательный префикс c,
22 ноя '16 в 09:11
2
ответа
Как определяется "меньше чем" для действительных чисел в Coq?
Мне просто интересно, как отношения "меньше чем" определены для действительных чисел. Я так понимаю для натуральных чисел (nat), < может быть определен рекурсивно с точки зрения одного числа, являющегося (1+) преемник S другого номера. Я слышал, …
21 дек '15 в 18:04