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

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

गणित
mathematics proof techniques logic set theory quantifiers exercises computer science
लेखक
Дэниэл Веллеман
प्रकाशक
ДМК Пресс
वर्ष
2021
भाषा
रूसी
45
इस पुस्तक को रेट करें

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

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

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

क्वांटम प्रक्रियाओं की छवि: क्वांटम सिद्धांत और आरेख तर्क का प्रारंभिक पाठ्यक्रम

क्वांटम प्रक्रियाओं की छवि: क्वांटम सिद्धांत और आरेख तर्क का प्रारंभिक पाठ्यक्रम

Боб Коке, Алекс Киссинджер

गणित से सामान्यीकृत प्रोग्रामिंग तक

गणित से सामान्यीकृत प्रोग्रामिंग तक

Александр А. Степанов, Дэниэл Э. Роуз

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

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

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

C/C++ में समस्याओं और उदाहरणों में प्रोग्रामिंग विधियाँ

C/C++ में समस्याओं और उदाहरणों में प्रोग्रामिंग विधियाँ

В. Д. Валединский, А. А. Корнев

क्वांटम कंप्यूटिंग का वास्तविक नृत्य। क्वांटम कंप्यूटिंग वास्तव में कैसे काम करती है

क्वांटम कंप्यूटिंग का वास्तविक नृत्य। क्वांटम कंप्यूटिंग वास्तव में कैसे काम करती है

Роберт С. Сатор

रिग्रेशन: सिद्धांत और व्यवहार। R और Stan के उदाहरणों के साथ

रिग्रेशन: सिद्धांत और व्यवहार। R और Stan के उदाहरणों के साथ

Эндрю Гельман, Дженнифер Хилл, Аки Вехтари

आर्टिफिशियल इंटेलिजेंस सिस्टम

आर्टिफिशियल इंटेलिजेंस सिस्टम

А. В. Остроух, Н. Е. Суркова

रोचक इंटीग्रल्स के रहस्य (कॉन्टूर इंटीग्रेशन की भूमिका के साथ)

रोचक इंटीग्रल्स के रहस्य (कॉन्टूर इंटीग्रेशन की भूमिका के साथ)

Пол Дж. Нахин

प्रोग्राम कैसे डिजाइन करें। प्रोग्रामिंग और कंप्यूटर गणना का परिचय

प्रोग्राम कैसे डिजाइन करें। प्रोग्रामिंग और कंप्यूटर गणना का परिचय

Маттиас Фелляйзен, Роберт Брюс Финдлер, Мэтью Флэтт, Шрирам Кришнамурти

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

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

Владстон Феррейра Фило