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

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

Haskell
combinatory logic lambda calculus Haskell type theory category theory formal systems programming foundations
लेखक
И. А. Кудрявцева, М. В. Швецкий
प्रकाशक
Юрайт
वर्ष
2022
भाषा
रूसी
27
इस पुस्तक को रेट करें

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

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

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

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

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

С. В. Зыков

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

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

Ханспетер Мёссенбёк

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

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

Максим Иванов

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

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

Дэниэл Веллеман

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

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

Тим Рафгарден

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

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

Джонатан Стейнхарт

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

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

Ын Анналин, Су Кеннет

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

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

Роберт Седжвик, Кевин Уэйн

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

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

К. Рустан М. Лейно