बूलियन डोमेन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 2 users not shown)
Line 33: Line 33:
* {{cite book |editor-first1=Rolf |editor-last1=Drechsler |editor-link1=Rolf Drechsler |editor-first2=Mathias |editor-last2=Soeken |title=Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems |publisher=[[Springer Nature Switzerland AG]] |publication-place=Cham, Switzerland |location=Bremen, Germany |edition=1 |date=2020 |orig-date=March 2019 |isbn=978-3-030-20322-1 |doi=10.1007/978-3-030-20323-8|s2cid=240782759 }} (vii+265+7 pages) [https://web.archive.org/web/20210515084442/http://www.informatik.uni-bremen.de/iwsbp/2018/] (NB. Contains extended versions of the best manuscripts from the 13th International Workshop on Boolean Problems (IWSBP 2018) held in Bremen, Germany on 2018-09-19/21.)
* {{cite book |editor-first1=Rolf |editor-last1=Drechsler |editor-link1=Rolf Drechsler |editor-first2=Mathias |editor-last2=Soeken |title=Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems |publisher=[[Springer Nature Switzerland AG]] |publication-place=Cham, Switzerland |location=Bremen, Germany |edition=1 |date=2020 |orig-date=March 2019 |isbn=978-3-030-20322-1 |doi=10.1007/978-3-030-20323-8|s2cid=240782759 }} (vii+265+7 pages) [https://web.archive.org/web/20210515084442/http://www.informatik.uni-bremen.de/iwsbp/2018/] (NB. Contains extended versions of the best manuscripts from the 13th International Workshop on Boolean Problems (IWSBP 2018) held in Bremen, Germany on 2018-09-19/21.)
* {{cite book |editor-first1=Rolf |editor-last1=Drechsler |editor-link1=Rolf Drechsler |editor-first2=Daniel |editor-last2=Große |title=Recent Findings in Boolean Techniques - Selected Papers from the 14th International Workshop on Boolean Problems |publisher=[[Springer Nature Switzerland AG]] <!-- TBD |publication-place=Cham, Switzerland |location=Bremen, Germany --> |edition=1 |date=2021-04-30 |isbn=978-3-030-68070-1 |doi=}} (204 pages) [https://web.archive.org/web/20210515084207/http://www.informatik.uni-bremen.de/iwsbp/] (NB. Contains extended versions of the best manuscripts from the 14th International Workshop on Boolean Problems (IWSBP 2020) held [[COVID-19|virtually]] on 2020-09-24/25.)
* {{cite book |editor-first1=Rolf |editor-last1=Drechsler |editor-link1=Rolf Drechsler |editor-first2=Daniel |editor-last2=Große |title=Recent Findings in Boolean Techniques - Selected Papers from the 14th International Workshop on Boolean Problems |publisher=[[Springer Nature Switzerland AG]] <!-- TBD |publication-place=Cham, Switzerland |location=Bremen, Germany --> |edition=1 |date=2021-04-30 |isbn=978-3-030-68070-1 |doi=}} (204 pages) [https://web.archive.org/web/20210515084207/http://www.informatik.uni-bremen.de/iwsbp/] (NB. Contains extended versions of the best manuscripts from the 14th International Workshop on Boolean Problems (IWSBP 2020) held [[COVID-19|virtually]] on 2020-09-24/25.)
[[Category: बूलियन बीजगणित]]


 
[[Category:CS1 location test]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 01/03/2023]]
[[Category:Created On 01/03/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:बूलियन बीजगणित]]

Latest revision as of 10:22, 15 March 2023

गणित और अमूर्त (एबस्ट्रैक्ट) बीजगणित में बूलियन डोमेन ऐसे समुच्चय है जिसमें मुख्यतः दो तत्व 'false' और 'true' सम्मलित हैं। तर्क, गणित और सैद्धांतिक कंप्यूटर विज्ञान में, बूलियन डोमेन को सामान्यतः {0,-1} या के रूप में लिखा जाता है।[1][2][3][4][5][6][7]

बीजगणितीय संरचना जो स्वाभाविक रूप से बूलियन डोमेन पर बनती है, उसे दो-तत्वों पर आधारित बूलियन बीजगणित कहते है। इस प्रकार इसमें सम्मलित असत्य मान के कारण श्रेणी में प्रारंभिक तत्व बूलियन डोमेन कहलाता है।

कंप्यूटर विज्ञान में, बूलियन वैरिएबल मुख्यतः चर प्रोग्रामिंग के रूप में प्रदर्शित होता है जो कुछ बूलियन डोमेन के मान को सम्मलित कर लेता है। इस प्रकार कुछ प्रोग्रामिंग भाषाओं में बूलियन डोमेन के तत्वों के लिए आरक्षित शब्द या प्रतीक होते हैं, जैसे उदाहरण के लिए false और true इसके प्रतीक हैं। चूंकि सी प्रोग्रामिंग भाषा में इन प्रतीकों को इसके लिए सुनिश्चचि मान के लिए बूलियन डेटाटाइप का रूप नहीं दिया गया हैं। सी (प्रोग्रामिंग लैंग्वेज) या बेसिक प्रोग्रामिंग में उदाहरण के लिए false मान को 0 संख्या से प्रदर्शित किया जाता है और true को संख्या 1 या -1 द्वारा प्रदर्शित जाता है, और सभी वैरियेबल जो इन मानों का उपयोग कर सकते हैं, वे कोई अन्य संख्यात्मक मान भी प्रयोग कर सकते हैं।

सामान्यीकरण

बूलियन डोमेन {0, 1} को इसके इकाई अंतराल [0,1] द्वारा प्रतिस्थापित किया जा सकता है, जिस स्थिति में केवल 0 या 1 मान उपयोग करने के अतिरिक्त 0 और 1 के बीच तथा दोनों मानों को मिलाकर कोई भी मान उपयोग कर सकता है। बीजगणितीय रूप से NOT को से प्रतिस्थापित किया जाता है तथा इसी प्रकार संयुग्मन (AND) को () गुणक से परिवर्तित कर दिया जाता है, इस संयोजन (OR) को डी मॉर्गन के नियम के माध्यम से परिभाषित किया जाता है।

इस प्रकार तार्किक True मान के लिए इसमें उपस्थित इन मानों की व्याख्या करने से बहु-मूल्यवान तर्क उत्पन्न होता है, जो फजी लॉजिक और संभाव्य तर्क का आधार बनता है। इन व्याख्याओं में इनके मानों की सत्यता की डिग्री के रूप में व्याख्या की जाती है तथा इस प्रस्ताव की सीमा को सत्य मान या संभावित मान तक निर्धारित किया जाता है और जाचाँ जाता हैं कि यह प्रस्ताव सत्य हैं।

यह भी देखें

संदर्भ

  1. Dirk van Dalen, Logic and Structure. Springer (2004), page 15.
  2. David Makinson, Sets, Logic and Maths for Computing. Springer (2008), page 13.
  3. George S. Boolos and Richard C. Jeffrey, Computability and Logic. Cambridge University Press (1980), page 99.
  4. Elliott Mendelson, Introduction to Mathematical Logic (4th. ed.). Chapman & Hall/CRC (1997), page 11.
  5. Eric C. R. Hehner, A Practical Theory of Programming. Springer (1993, 2010), page 3.
  6. Parberry, Ian (1994). Circuit Complexity and Neural Networks. MIT Press. pp. 65. ISBN 978-0-262-16148-0.
  7. Cortadella, Jordi; et al. (2002). Logic Synthesis for Asynchronous Controllers and Interfaces. Springer Science & Business Media. p. 73. ISBN 978-3-540-43152-7.


अग्रिम पठन