nativelib.net logo NativeLib es ESPAÑOL

Lógica matemática / តក្កវិជ្ជាគណិតវិទ្យា - Vocabulario

សំណើ
ព្យាករណ៍
អ្នកកំណត់បរិមាណ
តថវិទ្យា
ភាពផ្ទុយគ្នា។
ការសន្និដ្ឋាន
គំរូ
axiom
ទ្រឹស្តីបទ
ភស្តុតាង
គំរូ
ភាពស្ថិតស្ថេរ
ភាពពេញលេញ
សំឡេង
ការបដិសេធ
ការភ្ជាប់
ការបំបែក
ការជាប់ពាក់ព័ន្ធ
សមមូល
វាក្យសម្ពន្ធ
ន័យវិទ្យា
អថេរ
មុខងារ
ទំនាក់ទំនង
ដែន
ការបកស្រាយ
ការកាត់ប្រាក់
ការ​ចូល​រួម
ការតភ្ជាប់ឡូជីខល
lógica de predicados
ព្យាករណ៍តក្កវិជ្ជា
តក្កវិជ្ជានៃសំណើ
លំដាប់ទីមួយ
de segundo orden
លំដាប់ទីពីរ
teoría de modelos
ទ្រឹស្តីគំរូ
teoría de la prueba
ទ្រឹស្តីភស្តុតាង
teoría de conjuntos
ទ្រឹស្តីកំណត់
ប្រព័ន្ធផ្លូវការ
ទ្រឹស្តីមេតា
ការសម្រេចចិត្ត
ការហៅឡើងវិញ
ចំណុចថេរ
ឧបករណ៍ផ្សំ
ស្វ័យប្រវត្តិ
សមត្ថភាពកុំព្យូទ័រ
ច្រកទ្វារតក្កវិជ្ជា
álgebra de Boole
ពិជគណិតប៊ូលីន
ទម្រង់ធម្មតា។
លទ្ធផល
ភាពស្ថិតស្ថេរ
ការបដិសេធ