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

गणितीय तर्क / கணித தர்க்கம் - लेक्सिकन

प्रस्ताव
முன்மொழிவு
विधेय
பயனிலை
परिमाणक
அளவுகோல்
अपनी दोहराना
தொல்பொருள் ஆய்வு
विरोधाभास
முரண்பாடு
अनुमान
அனுமானம்
के साधन
நடைமுறை
स्वयंसिद्ध
வெளிப்படையான கோட்பாடு
प्रमेय
தேற்றம்
सबूत
ஆதாரம்
नमूना
மாதிரி
स्थिरता
நிலைத்தன்மை
पूर्णता
முழுமை
दृढ़ता
உறுதித்தன்மை
नकार
மறுப்பு
संयोजक
இணைப்பு
अलगाव
பிரித்தல்
असरः
உட்குறிப்பு
समानक
சமானம்
वाक्यविन्यास
தொடரியல்
अर्थ विज्ञान
சொற்பொருள்
चर
மாறி
समारोह
செயல்பாடு
रिश्ता
உறவு
कार्यक्षेत्र
டொமைன்
व्याख्या
விளக்கம்
कटौती
கழித்தல்
अनुलाग
ஈடுபாடு
तार्किक संयोजक
தருக்க இணைப்புகள்
विधेय तर्क
பயனிலை தர்க்கம்
मक तर्क
முன்மொழிவு தர்க்கம்
पहले के आदेश
முதல்-வரிசை
दूसरा आदेश
இரண்டாம் நிலை
मॉडल सिद्धांत
மாதிரி கோட்பாடு
प्रमाण सिद्धांत
ஆதாரக் கோட்பாடு
सेट सिद्धांत
தொகுப்புக் கோட்பாடு
औपचारिक प्रणाली
முறையான அமைப்பு
मेटा-सिद्धांत
மீக்கோட்பாடு
निर्णय क्षमता
முடிவெடுக்கும் தன்மை
प्रत्यावर्तन
மறுநிகழ்வு
नियत बिन्दु
நிலையான புள்ளி
साहचर्य
சேர்வியல்
आटोमैटिक मशीन
தானியங்கி
कम्प्यूटेबिलिटी
கணக்கிடும் தன்மை
लॉजिक गेट
லாஜிக் கேட்
बूलियन बीजगणित
பூலியன் இயற்கணிதம்
सामान्य रूप
சாதாரண வடிவம்
परिणाम
விளைவு
स्थिरता
நிலைத்தன்மை
निराकरण
மறுப்பு