পটভূমি :
আমি গণিতে আমার মাস্টার্স ডিগ্রি শেষ করছি এবং আগস্ট মাসে লজিকের পিএইচডি শুরু করব। আমি যত বেশি যুক্তি নিয়ে অধ্যয়ন করি, তত তাত্ত্বিক কম্পিউটার বিজ্ঞান আমার কাছে প্রকাশিত হয়, যেমন পুনরাবৃত্তি তত্ত্ব, ল্যাম্বডা ক্যালকুলাস, তবে অন্তর্নিহিত সিএসটি গালিগাছার নীচে ব্রাশ করা হয়েছে। আমার আগ্রহের মূল ক্ষেত্রগুলি - সেট তত্ত্ব এবং বিভাগ তত্ত্ব - কম্পিউটার বিজ্ঞানের ক্ষেত্রেও অ্যাপ্লিকেশন রয়েছে তবে এখন পর্যন্ত আমি কেবল খাঁটি গণির দৃষ্টিকোণ থেকে সেগুলি অধ্যয়ন করেছি।
সমস্যা:
আমার কম্পিউটারের কোনও বিজ্ঞানের পটভূমির অভাব কখনও কখনও কী ঘটছে তার পিছনে অনুপ্রেরণা বা অন্তর্দৃষ্টি বা এটি কীভাবে প্রয়োগ করা যেতে পারে তা দেখতে অসুবিধা সৃষ্টি করে। আমি কাছে এসেছি, তবে আমার মনে হচ্ছে কিছুটা শাখা প্রশাখা করা স্বাস্থ্যকর হবে ... আমার ক্ষেত্রে এটি ঘটে যে আমার ভবিষ্যতের গবেষণার সুবিধার্থে আমার কিছু কম্পিউটার বিজ্ঞান শিখতে হবে।
আমি দেখেছি বেশিরভাগ সিএস বই আমার উদ্দেশ্যগুলির জন্য খুব উপযুক্ত নয়, হয় খুব মৌলিক এবং শিক্ষামূলক নয়, বা আমার কাছে যে ধরণের সিএস ব্যাকগ্রাউন্ড নেই তা অনুমান করা যায়। তাদের মনে হয় এমন লোকদের লক্ষ্য করা গেছে যারা বেশ কম্পিউটার বুদ্ধিমান, তবে যাদের গাণিতিক পটভূমিতে কিছুটা সামান্য রয়েছে - আমার পরিস্থিতি বিপরীত।
প্রশ্ন:
এমন কোন বই বা অন্যান্য সংস্থান রয়েছে যা একটি গণিতবিদ-পরিণত-লজিস্টিকে কম্পিউটার তত্ত্বের (তাত্ত্বিক) জ্ঞান অর্জনের লক্ষ্যে সহায়তা করতে পারে?
আমি কয়েকটি সেমিনারের আলোচনার চেয়ে আরও স্বাস্থ্যকর এবং নিউ টিউরিং ওমনিবাসের চেয়ে আরও গভীরতার সন্ধান করছি , তবে অন্য স্নাতক ডিগ্রি করার জন্য আমার কাছে সময় বা সংস্থান নেই। (এমনও হতে পারে যে আমি এমন কিছু চাইছি যা বিদ্যমান নেই))
দুঃখিত যদি প্রশ্নটি খুব অস্পষ্ট বা অজানা হয়। আমি অনুভব করেছি এটি এমএসইয়ের চেয়ে এখানে বেশি উপযুক্ত তবে প্রয়োজন হলে আমি এটি স্থানান্তর করতে খুশি হব।