प्रोग्रामिंग: कॉम्बिनेटोरियल लॉजिक
A

प्रोग्रामिंग: कॉम्बिनेटोरियल लॉजिक

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
लेखक
आई. ए. कुद्रियावत्सेवा, एम. वी. श्वेत्स्की
प्रकाशक
जुराइट
वर्ष
2022
भाषा
रूसी
192
इस पुस्तक को रेट करें

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

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

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

प्रोग्रामिंग: विश्वविद्यालयों के लिए पाठ्यपुस्तक और प्रैक्टिकम

प्रोग्रामिंग: विश्वविद्यालयों के लिए पाठ्यपुस्तक और प्रैक्टिकम

एस. वी. ज़िकोव

कंपाइलर निर्माण। आधार और अनुप्रयोग

कंपाइलर निर्माण। आधार और अनुप्रयोग

हैंसपीटर मेस्सेनबॉक

एल्गोरिदम प्रशिक्षण। पायथन और सी++ पर व्यावहारिक समस्याओं के समाधान

एल्गोरिदम प्रशिक्षण। पायथन और सी++ पर व्यावहारिक समस्याओं के समाधान

मैक्सिम इवानोव

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

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

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

परफेक्ट एल्गोरिदम। एनपी-हार्ड समस्याओं के लिए एल्गोरिदम

परफेक्ट एल्गोरिदम। एनपी-हार्ड समस्याओं के लिए एल्गोरिदम

टिम रफगार्डन

प्रोग्राम्स की गुप्त जिंदगी। ऐसा कोड कैसे बनाएं जो आपके कंप्यूटर को पसंद आए

प्रोग्राम्स की गुप्त जिंदगी। ऐसा कोड कैसे बनाएं जो आपके कंप्यूटर को पसंद आए

जोनाथन स्टीनहार्ट

बिग डेटा का सैद्धांतिक न्यूनतम। बिग डेटा के बारे में वह सब कुछ जो आपको जानना आवश्यक है।

बिग डेटा का सैद्धांतिक न्यूनतम। बिग डेटा के बारे में वह सब कुछ जो आपको जानना आवश्यक है।

हिन आनलिन, सू केनेट

कंप्यूटर विज्ञान: जावा में प्रोग्रामिंग की मूल बातें, ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग, एल्गोरिदम और डेटा संरचनाएं

कंप्यूटर विज्ञान: जावा में प्रोग्रामिंग की मूल बातें, ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग, एल्गोरिदम और डेटा संरचनाएं

रॉबर्ट सेजविक, केविन वेन

प्रोग्राम की शुद्धता का प्रमाण

प्रोग्राम की शुद्धता का प्रमाण

के. रुस्तन एम. लेइनो