तर्क और कंप्यूटर: तर्क का मॉडलिंग और प्रोग्राम की शुद्धता का सत्यापन
A

तर्क और कंप्यूटर: तर्क का मॉडलिंग और प्रोग्राम की शुद्धता का सत्यापन

मशीन लर्निंग
mathematical logic artificial intelligence logic programming Prolog program verification reasoning modeling expert systems
लेखक
एन.ए. अलेशिना, ए.एम. अनिसोव, पी.आई. बिस्त्रोव, आई.ए. गेरासिमोवा, वी.एस. मेसकोव, एन.एन. नेपेइवोदा, वी.ए. स्मिरनोव, वी.एन. स्तेब्लेत्सोवा, वी.आई. शालक
प्रकाशक
विज्ञान
वर्ष
1990
भाषा
रूसी
44
इस पुस्तक को रेट करें

पुस्तक पढ़ने के लिए, लॉग इन करें / पंजीकरण करें

अंश का पूर्वावलोकन

समान पुस्तकें

मॉडल, विधियाँ, एल्गोरिदम और कंप्यूटिंग मशीनों, कॉम्प्लेक्स और सिस्टम के सॉफ़्टवेयर समाधान

मॉडल, विधियाँ, एल्गोरिदम और कंप्यूटिंग मशीनों, कॉम्प्लेक्स और सिस्टम के सॉफ़्टवेयर समाधान

एस. वी. वेरेतेखिना, वी. एल. सिमोनोव, ओ. एल. म्नात्साकन्यान

SQL और MySQL सीखें। SQL कमांड के साथ आसानी से डेटा निकालें और उसे संभालें।

SQL और MySQL सीखें। SQL कमांड के साथ आसानी से डेटा निकालें और उसे संभालें।

अश्विन पजनकर

एल्गोरिदम और कम्प्यूटेशन मॉडल

एल्गोरिदम और कम्प्यूटेशन मॉडल

दिमित्री गोलुबेंको, एलेक्सी क्रोशनिन, एडुआर्ड गोर्बुनोव

तार्किक प्रोग्रामिंग का परिचय

तार्किक प्रोग्रामिंग का परिचय

माइकल जेनेसेरेट, विनय के. चौधरी

एल्गोरिदम सिद्धांत

एल्गोरिदम सिद्धांत

वी.आई. इगोशिन

प्रोग्रामिंग: पेशे का परिचय। खंड 2: सिस्टम प्रोग्रामिंग

प्रोग्रामिंग: पेशे का परिचय। खंड 2: सिस्टम प्रोग्रामिंग

ए. एन. स्टोल्यारोव

SQL सीखें। डेटा जनरेशन, चयन और प्रोसेसिंग

SQL सीखें। डेटा जनरेशन, चयन और प्रोसेसिंग

एलन ब्यूलियू

एल्गोरिदम। सी, सी++, जावा और पायथन में उदाहरणों के साथ संदर्भ गाइड। दूसरा संस्करण।

एल्गोरिदम। सी, सी++, जावा और पायथन में उदाहरणों के साथ संदर्भ गाइड। दूसरा संस्करण।

जॉर्ज हाइनमैन, गैरी पोलिस, स्टेनली सेल्कोव

प्रोग्रामिंग: सामान्य कार्य, एल्गोरिदम, विधियाँ

प्रोग्रामिंग: सामान्य कार्य, एल्गोरिदम, विधियाँ

डी. एम. ज़्लाटोपोल्स्की

आर्थिक सूचना प्रणालियों के लिए सॉफ्टवेयर डिजाइन पर कार्यशाला

आर्थिक सूचना प्रणालियों के लिए सॉफ्टवेयर डिजाइन पर कार्यशाला

वेंड्रोव ए. एम.