nativelib.net logo NativeLib hi हिन्दी ▼

गणितीय तर्क / गणितीय तर्कशास्त्र - लेक्सिकन

प्रस्ताव
प्रस्ताव
विधेय
भाकिते
परिमाणक
परिमाणक
अपनी दोहराना
टाटॉलॉजी
विरोधाभास
विरोधाभास
अनुमान
अनुमान
के साधन
पद्धत
स्वयंसिद्ध
स्वयंसिद्ध सिद्धांत
प्रमेय
प्रमेय
सबूत
पुरावा
नमूना
मॉडेल
स्थिरता
सुसंगतता
पूर्णता
पूर्णता
दृढ़ता
सुदृढता
नकार
नकार
संयोजक
संयोग
अलगाव
वियोग
असरः
अर्थ
समानक
समतुल्यता
वाक्यविन्यास
वाक्यरचना
अर्थ विज्ञान
शब्दार्थ
चर
परिवर्तनशील
समारोह
कार्य
रिश्ता
संबंध
कार्यक्षेत्र
डोमेन
व्याख्या
अर्थ लावणे
कटौती
कपात
अनुलाग
बंधन
तार्किक संयोजक
तार्किक जोडणी
विधेय तर्क
प्रेडिकेट लॉजिक
मक तर्क
प्रस्तावित तर्कशास्त्र
पहले के आदेश
पहिल्या क्रमांकाचे
दूसरा आदेश
दुसऱ्या क्रमांकाचा
मॉडल सिद्धांत
मॉडेल सिद्धांत
प्रमाण सिद्धांत
पुरावा सिद्धांत
सेट सिद्धांत
संच सिद्धांत
औपचारिक प्रणाली
औपचारिक प्रणाली
मेटा-सिद्धांत
मेटा-सिद्धांत
निर्णय क्षमता
निर्णयक्षमता
प्रत्यावर्तन
पुनरावृत्ती
नियत बिन्दु
निश्चित बिंदू
साहचर्य
संयोजनशास्त्र
आटोमैटिक मशीन
ऑटोमॅटॉन
कम्प्यूटेबिलिटी
गणनाक्षमता
लॉजिक गेट
लॉजिक गेट
बूलियन बीजगणित
बुलियन बीजगणित
सामान्य रूप
सामान्य स्वरूप
परिणाम
परिणाम
स्थिरता
सुसंगतता
निराकरण
खंडन