गणितीय तर्क: स्नातक पाठ्यक्रम के लिए पाठ्यपुस्तक
A

गणितीय तर्क: स्नातक पाठ्यक्रम के लिए पाठ्यपुस्तक

सामान्य
mathematical logic Java propositional logic predicate logic computer science education algorithmic approach
लेखक
वी.एल. मैट्रोसोव, एम.एस. मिर्ज़ोयेव
प्रकाशक
प्रोमेथियस
वर्ष
2020
भाषा
रूसी
248
इस पुस्तक को रेट करें

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

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

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

गणितीय तर्क और एल्गोरिदम सिद्धांत: एक पाठ्य सहायक

गणितीय तर्क और एल्गोरिदम सिद्धांत: एक पाठ्य सहायक

Yu. वी. वैन्श्टेइन, टी. जी. पेंकोवा, वी. आई. वैन्श्टेइन

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

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

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

गणित - प्रवेशार्थी के लिए। विश्वविद्यालयों में प्रवेश परीक्षाओं के बारे में सब कुछ।

गणित - प्रवेशार्थी के लिए। विश्वविद्यालयों में प्रवेश परीक्षाओं के बारे में सब कुछ।

वी. वी. टकाचुक

संभाव्यता सिद्धांत और गणितीय सांख्यिकी: एक अध्ययन मार्गदर्शिका

संभाव्यता सिद्धांत और गणितीय सांख्यिकी: एक अध्ययन मार्गदर्शिका

वी. या. डेर

गणित में प्रमाण की कला। अभ्यासों के साथ व्याख्यान पाठ्यक्रम

गणित में प्रमाण की कला। अभ्यासों के साथ व्याख्यान पाठ्यक्रम

डैनियल वेलमैन

स्वचालित नियंत्रण सिद्धांत (MATLAB — SIMULINK का उपयोग करके)

स्वचालित नियंत्रण सिद्धांत (MATLAB — SIMULINK का उपयोग करके)

यू. आई. कुदिनोव, एफ. एफ. पाशचेंको

फोरट्रान पेशेवरों के लिए। आईएमएसएल गणितीय लाइब्रेरी। संस्करण 1

फोरट्रान पेशेवरों के लिए। आईएमएसएल गणितीय लाइब्रेरी। संस्करण 1

ओ.वी. बार्टेनयेव

दोल्गानोव ए. यू., रोन्किन एम. वी., सोज़िकिन ए. वी. - पायथन भाषा में मशीन लर्निंग के मूल एल्गोरिदम - 2023

दोल्गानोव ए. यू., रोन्किन एम. वी., सोज़िकिन ए. वी. - पायथन भाषा में मशीन लर्निंग के मूल एल्गोरिदम - 2023

ए. यू. डोलगानोव, एम. वी. रोंकिन, ए. वी. सोज़ीकिन

असतत गणित: ग्राफ़, मैट्रोइड, एल्गोरिदम

असतत गणित: ग्राफ़, मैट्रोइड, एल्गोरिदम

एम. ओ. असानोव, वी. ए. बारांस्की, वी. वी. रासिन

लॉजिकल कंट्रोलर प्रोग्रामिंग। एक शैक्षिक मार्गदर्शिका।

लॉजिकल कंट्रोलर प्रोग्रामिंग। एक शैक्षिक मार्गदर्शिका।

इवानोव वी.एन.