nativelib.net logo NativeLib hu MAGYAR ▼

गणितीय तर्क / Matematikai logika - Lexikon

प्रस्ताव
javaslat
विधेय
állítmány
परिमाणक
kvantor
अपनी दोहराना
tautológia
विरोधाभास
ellentmondás
अनुमान
következtetés
के साधन
modalitás
स्वयंसिद्ध
alapigazság
प्रमेय
tétel
सबूत
bizonyíték
नमूना
modell
स्थिरता
következetesség
पूर्णता
teljesség
दृढ़ता
szilárdság
नकार
tagadás
संयोजक
kötőszó
अलगाव
diszjunkció
असरः
implikáció
समानक
egyenértékűség
वाक्यविन्यास
szintaxis
अर्थ विज्ञान
szemantika
चर
változó
समारोह
funkció
रिश्ता
kapcsolat
कार्यक्षेत्र
domain
व्याख्या
értelmezés
कटौती
levonás
अनुलाग
következmény
तार्किक संयोजक
logikai kötőszavak
विधेय तर्क
predikátumlogika
मक तर्क
propozíciós logika
पहले के आदेश
elsőrendű
दूसरा आदेश
másodrendű
मॉडल सिद्धांत
modellelmélet
प्रमाण सिद्धांत
bizonyítási elmélet
सेट सिद्धांत
halmazelmélet
औपचारिक प्रणाली
formális rendszer
मेटा-सिद्धांत
metaelmélet
निर्णय क्षमता
dönthetőség
प्रत्यावर्तन
rekurzió
नियत बिन्दु
fix pont
साहचर्य
kombinatorika
आटोमैटिक मशीन
automata
कम्प्यूटेबिलिटी
kiszámíthatóság
लॉजिक गेट
logikai kapu
बूलियन बीजगणित
Boole-algebra
सामान्य रूप
normálforma
परिणाम
következmény
स्थिरता
következetesség
निराकरण
cáfolat