Вопросы с тегом доказательство

1 голос

1 ответ

Доказательство классовой теоремы в Изабель

Gergely / 14 июля 2020

0 голосов

0 ответов

Это самая точная верхняя граница высоты дерева avl

CaliforniaPlasticBag / 17 июня 2020

0 голосов

1 ответ

Coq - Как доказать eqb_neq?

JohnSnowTheDeveloper / 27 мая 2020

0 голосов

0 ответов

Доказательство NP-полноты в графе задачи путем посещения определенных вершин кратчайшего пути

G. Görkem Köse / 09 мая 2020

0 голосов

1 ответ

Доказательство индукции $ T (n) = 9T (n / 3) + n ^ 2 $

Joshua / 07 мая 2020

1 голос

1 ответ

Обозначение Big-O: нужно ли использовать индукцию и предпочтительны ли ограничения?

Megan Vineyard / 26 апреля 2020

2 голосов

1 ответ

Идрис: доказательство о конкатенации векторов

LorenzoPerticone / 20 апреля 2020

2 голосов

1 ответ

Если задача A ≤p B, то это B ≤p A, доказать или опровергнуть

ChaiTea / 18 апреля 2020

2 голосов

1 ответ

доказательство L = {a ^ nb ^ m | n> = m} нерегулярный язык

Mohammad / 16 апреля 2020

1 голос

1 ответ

Приведите пример в Coq, где (AB: Prop), P: Prop -> Type, такой, что A <-> B, но нельзя заменить PA на PB

Siddharth Bhat / 16 апреля 2020

1 голос

1 ответ

Доказать, что два жителя в Проп не равны?

Siddharth Bhat / 16 апреля 2020

0 голосов

2 ответов

Покажите, что класс разрешимых языков закрыт для операций: Комплементация, Конкатенация и Пересечение

Totsuka Blade / 13 апреля 2020

2 голосов

1 ответ

Двоичное дерево с одним нарушением ключа, которое не влияет на остальные введенные ключи

Nassims / 03 апреля 2020

0 голосов

0 ответов

Попытка понять Доказательство владения для JSON веб-токенов (JWT)

rstr1112 / 03 апреля 2020

2 голосов

0 ответов

Как доказать, что 2 является Prime в Идрисе?

yanos / 28 марта 2020

0 голосов

0 ответов

MST: алгоритм обратного удаления

Pink Panda / 27 марта 2020

0 голосов

0 ответов

Поиск тета (n) и омеги (log n) одновременно ... что дает?

LetmeKnow / 24 марта 2020

0 голосов

0 ответов

Пустое дополнение

FifaBen / 22 марта 2020

1 голос

0 ответов

Заявление о минимальном остове дерева

Pink Panda / 20 марта 2020

0 голосов

0 ответов

Как деконструировать гипотезу в Coq Proof Assistant?

Rodny / 18 марта 2020

1 голос

1 ответ

Можно ли написать неавтоматизированные c формализации в Изаре?

Gergely / 04 марта 2020

1 голос

1 ответ

Невозможно доказать, что только 0 меньше 1 с помощью finTypes mathcomp

jabberabbe / 27 февраля 2020

0 голосов

2 ответов

Алгоритм большого числа уродливых чисел (метод грубой силы)

Tommy Saechao / 15 февраля 2020

1 голос

1 ответ

Как продемонстрировать правильность программы с циклом while, используя логику Хоара c?

Mandy007 / 13 февраля 2020

1 голос

1 ответ

Доказательство языка неразрешимо, используя сокращения Тьюринга

kmoney22z / 11 февраля 2020