|
 |
Персональные инструменты
Просмотры |
|
Персональные инструменты |
|
||
|
|
PCP-система — различия между версиямиМатериал из CustisWiki
Версия 12:55, 4 августа 2008PCP-cистемой, т. е. системой вероятностной проверки доказательств (от Probability Checkable Proof) для языка L, называется вероятностная машина Тьюринга с оракулом M, для которой выполняются следующие условия:
Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion». Репликация: База Знаний «Заказных Информ Систем» → «PCP-система» |
 |
||||
 |
||||||
 |
