Я очень новичок в этом и прошу прощения, если мой вопрос не ясен. Я создал потокобезопасный регистратор на С++. Этот регистратор будет использоваться в большой программе и вызываться из нескольких мест. Я использую синглтон, поэтому есть только...

Это часть моделирования, которая описывает завершение программы. Может кто-нибудь, пожалуйста, помогите мне понять, как эта часть работы моделирования я полностью потерял. Код выглядит следующим образом: while time_elapsed < end_time :...

Я хочу определить функцию сохранения размера при выводе отношения перехода для исчисления числа Пи. Я не могу убедить Агду в том, что он действительно сохраняет размер. Я также получаю сообщение об ошибке, которое кажется бессмысленным, так что,...

(Позвольте мне добавить это в волну промежуточных вопросов.) Обычное определение суммы двух натуральных чисел — nat_nat_sum/3 : nat_nat_sum(0, N, N). nat_nat_sum(s(M), N, s(O)) :- nat_nat_sum(M, N, O). Строго говоря, это определение...

Может, кто-нибудь поможет мне с доказательством увольнения в Изабель. Я пытаюсь построить из списка A новый подсписок B. Для построения B я снова и снова читаю весь A. Вынимаю элементы и использую результат для поиска следующего элемента. Я...

Функция для определения, является ли набор подмножеством другого: Fixpoint subset (s1:bag) (s2:bag) : bool := match s1 with | nil => true | h :: t => match (beq_nat (count h s1) (count h s2)) with | true => subset (remove_all h...

Я использую самый простой докер: FROM ubuntu COPY script.sh /script.sh CMD /script.sh Где все, что делает скрипт, это: #!/bin/bash function sigterm() { echo "Got SIGTERM" exit } trap sigterm SIGTERM i=1 while true; do echo...

Я пытаюсь формализовать каждое целое число как класс эквивалентности пар натуральных чисел, где первый компонент - положительная часть, а второй компонент - отрицательная часть. Definition integer : Type := prod nat nat. Я хочу определить...