क्या कोई संदर्भ (ऑनलाइन या पुस्तक रूप में) हैं जो सबूत तकनीक द्वारा टीसीएस प्रमेयों को व्यवस्थित और चर्चा करते हैं? गैरी और जॉनसन एनपी-पूर्णता प्रमाण (विशेष रूप से उनकी पुस्तक के अध्याय 3) के लिए आवश्यक विभिन्न प्रकार के विजेट निर्माणों के लिए ऐसा करते हैं, लेकिन मैं सोच रहा हूं कि क्या ऐसा कुछ है जो टीसीएस में प्रमाण तकनीकों का अधिक मोटे तौर पर इलाज करता है।
इसलिए उदाहरण के लिए, विषयों में विकर्ण शामिल हो सकते हैं, उपयोग किए गए निर्माण के प्रकार से आगे टूट गए; अभिकलन इतिहास द्वारा प्रमाण; झांकी निर्माण; अतुलनीयता के तर्क आदि, मुझे लगता है कि मैं बस गणना पाठ के एक मानक सिद्धांत को काट सकता हूं और अनुभागों को फिर से व्यवस्थित कर सकता हूं, लेकिन यह बहुत अच्छा होगा यदि वहाँ कुछ ऐसा है जो कुछ अतिरिक्त टिप्पणी और शो भी प्रदान करता है जहां तकनीकों के बीच समानताएं हैं। उपयोग किया गया।
बस स्पष्ट होने के लिए, चूंकि कोई भी पाठ प्रमाणों का उपयोग करने जा रहा है , जो मुझे खोजने में वास्तव में दिलचस्पी है वह एक संदर्भ है जहां प्रमाण तकनीक स्वयं वास्तविक विषय है।
गैरी और जॉनसन के अध्याय 3 के अलावा, यहां एक और आंशिक उदाहरण जो अभी मेरे पास आया है: ली और विटेनी में , अध्याय 6 में वे अचूकता पद्धति पर चर्चा करते हैं और तकनीक को लागू करने के तरीके का उदाहरण देते हैं।