पृष्ठभूमि :
मैं गणित में अपनी स्नातकोत्तर डिग्री के अंत में आ रहा हूं और अगस्त में लॉजिक में पीएचडी शुरू करूंगा। मैं जितना अधिक तर्क का अध्ययन करता हूं, उतने अधिक सैद्धांतिक कंप्यूटर विज्ञान से अवगत कराया जाता है, जैसे पुनरावृत्ति सिद्धांत, लैम्ब्डा कैलकुलस, लेकिन अंतर्निहित सीएस को गलीचा के नीचे ब्रश किया जाता है। मेरी रुचि के मुख्य क्षेत्र - सेट सिद्धांत और श्रेणी सिद्धांत - कंप्यूटर विज्ञान में भी अनुप्रयोग हैं, लेकिन अभी तक मैंने केवल शुद्ध गणित के दृष्टिकोण से उनका अध्ययन किया है।
मुसीबत:
किसी भी कंप्यूटर विज्ञान पृष्ठभूमि की मेरी कमी कभी-कभी प्रेरणा या अंतर्ज्ञान को देखने में मुश्किल होती है कि क्या चल रहा है, या इसे कैसे लागू किया जा सकता है। मुझे मिलता है, लेकिन मुझे ऐसा लगता है कि यह थोड़ा स्वस्थ होगा ... मुझे लगता है कि अपने भविष्य के अनुसंधान के लाभ के लिए, मुझे कुछ कंप्यूटर विज्ञान सीखना चाहिए।
मेरे द्वारा देखी गई अधिकांश सीएस पुस्तकें मेरे उद्देश्यों के लिए बहुत उपयुक्त नहीं हैं, या तो बहुत ही बुनियादी और अनैतिक है, या सीएस पृष्ठभूमि की तरह है जो मेरे पास नहीं है। वे ऐसे लोगों के उद्देश्य से प्रतीत होते हैं जो काफी कंप्यूटर के जानकार हैं, लेकिन जिनके पास गणितीय पृष्ठभूमि में बहुत कम हैं - मेरी स्थिति इसके विपरीत है।
सवाल:
ऐसी कौन सी पुस्तकें या अन्य संसाधन हैं, जो गणितज्ञ (सैद्धांतिक) कंप्यूटर विज्ञान का कार्यसाधक ज्ञान प्राप्त करने के अपने लक्ष्य में गणितज्ञ से मदद कर सकते हैं?
मैं न्यू ट्यूरिंग ओम्निबस की तुलना में कुछ सेमिनार वार्ता और अधिक गहराई से अधिक कुछ के लिए देख रहा हूं , लेकिन मेरे पास एक और स्नातक की डिग्री करने के लिए समय या संसाधन नहीं हैं। (यह हो सकता है कि मैं किसी ऐसी चीज के लिए कह रहा हूं जो मौजूद नहीं है।)
क्षमा करें यदि प्रश्न बहुत अस्पष्ट या बीमार है। मैंने महसूस किया कि यह एमएसई की तुलना में यहां अधिक उपयुक्त था लेकिन जरूरत पड़ने पर मैं इसे स्थानांतरित करने के लिए खुश हूं।