Вопросы по теме 'notation'
Обозначение одинарных кавычек для символов в Coq?
В большинстве языков программирования 'c' - это символ, а "c" - строка длины 1. Но Coq (в соответствии со своей стандартной ascii и строковой библиотекой) использует "c" в качестве обозначения для обоих, что требует постоянного использования...
498 просмотров
schedule
20.11.2021
Использование параметров класса неявного типа в нотации Coq
Я пытаюсь осмыслить классы типов в Coq (я баловался этим в прошлом, но я далек от того, чтобы быть опытным пользователем). В качестве упражнения я пытаюсь написать библиотеку теории групп. Вот что я придумал:
Class Group {S : Type} {op : S → S →...
176 просмотров
schedule
30.09.2021
Докажите, что f (n) + d (n) = O (g (n) + h (n))
Если f(n) is Ο(g(n)) и d(n) is Ο(h(n)) , докажите, что f(n) + d(n)= O(g(n)+ h(n))
У меня проблемы с официальным доказательством.
Вот что у меня есть на данный момент:
f(n)=O(g(n)) and d(n)=O(h(n)) so, O(g(n)) + O(h(n)) = O(g(n)+...
1586 просмотров
schedule
18.10.2021
Путаница в обозначениях массива псевдокода
Я ищу какой-то псевдокод для алгоритма. Одна строка псевдокода такова:
hs <- { (a, b) | a <- m, b <- l }
Где m и l - массивы объектов.
Что именно это означает? Моя интерпретация состоит в том, что он объединяет каждый m с...
108 просмотров
schedule
28.09.2021
постфикс 'd+0' в реальных литеральных выражениях Fortran
Кто-нибудь знает, что означает постфикс « d+0 » в заданиях для M1, M2 и M4 ниже, или есть ли какой-либо ресурс в Интернете или книга, где можно найти эту информацию?
subroutine plot( t, x, p, q, nga, nt, wron,
&...
3843 просмотров
schedule
05.04.2022
подавлять научную нотацию при записи python float в файлы
При записи чисел с плавающей запятой в CSV некоторые из них записываются следующим образом: 2.0628800997782577e-05
c = csv.writer(open(file, "wb"))
c.writerow([var1, var2])
Что я пробовал:
Я уже пробовал var1 ** 8, следуя другим...
2890 просмотров
schedule
01.04.2022
Префиксная нотация — Java
while (strToken.hasMoreTokens())
{
String i = strToken.nextToken();
char ch = ' ';
ch = i.charAt(0);
int operand;
int operator;
if(Character.isDigit(ch))
{
operand = Integer.parseInt(i);...
1075 просмотров
schedule
08.06.2022
Objective-C: геттеры не следует использовать для предупреждения компилятора о побочных эффектах
Может кто проясняет, что здесь происходит. У меня есть класс под названием: brainModel, и у него снова есть NSArray под названием: operandStack. Я просто обращаюсь к массиву, отправляя ему сообщение «removeAllObjects»...
3345 просмотров
schedule
22.07.2022
Нотация в Perl — что делает оператор ||=?
Я случайно встретил код Perl со следующим синтаксисом.
sub new{
my ($class, $value)=@_;
$lobby ||= bless{
e=>undef;},$class
}
что означает синтаксис ||= ?
Мне не удалось найти это ключевое слово в Google, и я не смог найти аналогичный...
462 просмотров
schedule
31.07.2022
Обозначение Big-O и асимптотика
Позволять
d
p(n) = Σ ai n^i
i=0
где ad > 0 — многочлен степени d от n, а k — константа. Используя определения асимптотических обозначений, докажите следующие свойства.
a) if k >= d, then p(n) = O(n^k)
Есть также...
1718 просмотров
schedule
30.08.2022
Могу ли я использовать обозначение индуктивного типа для определения этого типа в Coq?
Предположим, у меня есть что-то вроде этого:
Inductive SubtypeOf :
Gamma -> UnsafeType -> Type -> Set :=
| SubRefl :
forall (gamma : GammaEnv) (u : UnsafeType)
, SubtypeOf gamma u u
| SubTrans :
forall (gamma : GammaEnv)...
149 просмотров
schedule
24.09.2022
Обратное проектирование чисел с фиксированной точкой
В настоящее время я устанавливаю двигатель в другую машину и хочу, чтобы расчет экономии топлива внутри бортового компьютера работал. Мне удалось успешно перекодировать эту часть, но я безуспешно пытался выяснить (простой?) двухбайтовый формат...
84 просмотров
schedule
27.09.2022
В чем разница между Θ (n) и O (n)?
Иногда я вижу Θ (n) со странным символом Θ с чем-то посередине, а иногда просто O (n). Это просто лень печатать, потому что никто не знает, как набрать этот символ, или он означает что-то другое?
204191 просмотров
schedule
10.07.2023
Как я могу преобразовать между научной и десятичной нотацией в Perl?
Я знаю, что это вопрос новичка, но ответ может быть неочевидным для многих начинающих программистов. Сначала это не было для меня очевидным, поэтому я рыскал по Интернету в поисках модулей Perl для выполнения этой простой задачи.
22499 просмотров
schedule
18.04.2023
Что именно обозначают большие?
Я действительно смущен различиями между обозначениями большой O, большой Omega и большой Theta.
Я понимаю, что большая O - это верхняя граница, а большая Omega - это нижняя граница, но что именно означает большой Ө (theta)?
Я прочитал, что это...
167669 просмотров
schedule
03.03.2023
Как в ggplot2 v0.9.1 получить scale_y_log10 в формате степени 10?
Недавно я обновил свой дистрибутив ggplot2 со старого (не помню версию) до версии 0.9.1. До обновления, когда я использовал scale_y_log10, все значения были представлены в виде степени 10, на что было очень приятно смотреть, особенно с использованием...
516 просмотров
schedule
30.03.2023
Как называется нотация потока этого алгоритма?
Я нашел это в своих заметках по программированию и не смог найти ссылки на блок-схему алгоритма справа. Как называется это обозначение?
156 просмотров
schedule
05.05.2023
#define в C с тремя точками
#define LOGI(...) ((void)__android_log_print(ANDROID_LOG_INFO, "native-activity", __VA_ARGS__))
#define LOGW(...) ((void)__android_log_print(ANDROID_LOG_WARN, "native-activity", __VA_ARGS__))
Это определение для этих двух макросов; далее в коде...
9493 просмотров
schedule
12.12.2022
Как определить формат нотации в Coq с помощью {
Я определил это обозначение:
Definition Id (n:nat):= n.
Notation "'ID' { n } ":= (Id n) (no associativity, at level 99).
Что отлично работает. Теперь я хочу добавить формат, чтобы изменить разрывы строк и выравнивание. Предположим, я хочу...
1060 просмотров
schedule
16.04.2023
Как предотвратить Следующий объект маскируется от «пакета:»: проблема/предупреждение полностью при загрузке пакета?
Когда я загружаю созданный мной пакет, я получаю следующее предупреждение:
«Следующий объект замаскирован из ‘package:utils’:combn»
хотя я использовал combinat::combn в определениях функций в файлах .R папки «R» в рабочем каталоге R....
10041 просмотров
schedule
31.03.2023
