औपचारिक भाषा और निर्वचन (तर्क)

शॉर्टकट: मतभेद, समानता, समानता गुणांक, संदर्भ।

औपचारिक भाषा और निर्वचन (तर्क) के बीच अंतर

औपचारिक भाषा vs. निर्वचन (तर्क)

गणित, कम्प्यूटर विज्ञान और भाषाविज्ञान में औपचारिक भाषा (formal language) चिन्हों के स्ट्रिंगों का एक समुच्चय (सेट) होता है जिनके साथ एक सम्बन्धित नियमों की सूची भी सम्मिलित हो। ऐसी औपचारिक भाषा की वर्णमाला चिन्हों व अक्षरों का वह समुच्चय होता है जिसके साथ उस भाषा के स्ट्रिंग बनाए जा सकें। किसी औपचारिक भाषा के मान्य स्ट्रिंगों को सुनिर्मित शब्द (well-formed words) या सुनिर्मित फ़ॉर्मूला (well-formed formula) कहते हैं। अक्सर औपचारिक भाषाओं के साथ-साथ उसके शब्द निर्माण व प्रयोग के लिए एक औपचारिक व्याकरण (formal grammar) भी परिभाषित होता है, जिसे उसका निर्माण नियम (formation rule) भी कहते हैं। . तर्कशास्त्र, गणित व कम्प्यूटर विज्ञान में निर्वचन (interpretation) किसी औपचारिक भाषा के चिन्हों के साथ अर्थ जोड़ने की प्रक्रिया को कहते हैं। अधिकांश औपचारिक भाषाएँ केवल वाक्यविन्यास (सिन्टैक्स) द्व्रारा ही परिभाषित होती हैं और उनमें कोई निहित अर्थ नहीं होता। अर्थ समझने के लिये चिन्हों के साथ अर्थ जोड़ना आवश्यक होता है। .

चिन्ह (औपचारिक)

तार्किक चिन्ह (logical symbol) तर्कशास्त्र की एक बुनियादी अवधारणा है। यह वे टोकन होते हैं जिनके द्वारा किसी औपचारिक भाषा में अवधारणाओं को अभिव्यक्त करा जाता है। .

औपचारिक भाषा और चिन्ह (औपचारिक) · चिन्ह (औपचारिक) और निर्वचन (तर्क) · और देखें »

गणित

पुणे में आर्यभट की मूर्ति ४७६-५५० गणित ऐसी विद्याओं का समूह है जो संख्याओं, मात्राओं, परिमाणों, रूपों और उनके आपसी रिश्तों, गुण, स्वभाव इत्यादि का अध्ययन करती हैं। गणित एक अमूर्त या निराकार (abstract) और निगमनात्मक प्रणाली है। गणित की कई शाखाएँ हैं: अंकगणित, रेखागणित, त्रिकोणमिति, सांख्यिकी, बीजगणित, कलन, इत्यादि। गणित में अभ्यस्त व्यक्ति या खोज करने वाले वैज्ञानिक को गणितज्ञ कहते हैं। बीसवीं शताब्दी के प्रख्यात ब्रिटिश गणितज्ञ और दार्शनिक बर्टेंड रसेल के अनुसार ‘‘गणित को एक ऐसे विषय के रूप में परिभाषित किया जा सकता है जिसमें हम जानते ही नहीं कि हम क्या कह रहे हैं, न ही हमें यह पता होता है कि जो हम कह रहे हैं वह सत्य भी है या नहीं।’’ गणित कुछ अमूर्त धारणाओं एवं नियमों का संकलन मात्र ही नहीं है, बल्कि दैनंदिन जीवन का मूलाधार है। .

औपचारिक भाषा और गणित · गणित और निर्वचन (तर्क) · और देखें »

कम्प्यूटर विज्ञान

कम्प्यूटर विज्ञान संगणन और उसके उपयोग की ओर वैज्ञानिक और व्यवहारिक दृष्टिकोण है। यह जानकारी के पहुँच, सम्प्रेषण, संचय, प्रसंस्करण, प्रतिनिधित्व और अर्जन हेतु उपयोग में लाये जाने वाले व्यवस्थित प्रक्रियाओं (या कलन विधियों) के मशीनीकरण, अभिव्यक्ति, संरचना, और साध्यता का व्यवस्थित अध्ययन है। संगणक विज्ञान एक वैकल्पिक, संक्षिप्त परिभाषा के अनुसार यह मापने योग्य स्वचालित कलन विधियों का अध्ययन है। संगणक वैज्ञानिक संगणन के सिद्धांत और गणना योग्य प्रणालियों की योजना में विशेषज्ञता प्राप्त करते हैं। कंप्यूटर विज्ञान (कम्प्यूटर विज्ञान) के अन्तर्गत सूचना तथा संगणन (computation) के सैद्धान्तिक आधारों अध्ययन किया जाता है और साथ में इन सिद्धान्तों को कंप्यूटर प्रणालियों में व्यवहार में लाने की विधियों का अध्ययन किया जाता है। कंप्यूटर विज्ञान को प्राय: कलन विधियों के विधिवत (systematic) अध्ययन के रूप में देखा जाता है और कंप्यूटर विज्ञान का मूल प्रश्न यही है - कौन सा काम (दक्षतापूर्वक) स्वत: किया जा सकता है? (What can be (efficiently) automated?) .

औपचारिक भाषा और कम्प्यूटर विज्ञान · कम्प्यूटर विज्ञान और निर्वचन (तर्क) · और देखें »