প্রশ্ন ট্যাগ «soft-question»

এই আত্মা মধ্যে একটি প্রশ্ন এই এক আমি কোথায় বললেন যে এটা গুরুত্বপূর্ণ তোমাকে কিছু কি করেছি, তুমি এমন কেন করলা এবং কাজ করছে না কি ট্র্যাক রাখতে। আমি ব্যক্তিগতভাবে সেই লক্ষ্যে নোটবুকগুলি ব্যবহার করি, তবে এর বেশ কয়েকটি ত্রুটি রয়েছে: প্রথমে আমার প্রচুর স্টোরেজ পৃষ্ঠের প্রয়োজন হয়, দ্বিতীয় যখন …

16 soft-question  research-practice 

আমি কম্পিউটার সম্পর্কে কিছু বই পেয়েছি তবে সেগুলি সমস্ত প্রযুক্তি সম্পর্কিত about আমি তত্ত্বের সাথে আরও কিছু যুক্ত হতে চাই।

15 reference-request  soft-question  philosophy 

খাঁটি বিমূর্ত গণিত / গণনামূলক যুক্তির দৃষ্টিকোণ থেকে, (3) কীভাবে কেউ 3-স্যাট, সাবসেট সম, ট্র্যাভেলিং সেলসম্যান ইত্যাদি সমস্যাগুলি আবিষ্কার করতে বা যুক্ত করতে পারে? আমরা কি কেবল কার্যকরী দৃষ্টিকোণ দিয়ে তাদেরকে অর্থবহ উপায়ে যুক্ত করতে সক্ষম হব ? এটা কি সম্ভব হবে? আমি গণনার ল্যাম্বদা ক্যালকুলাস মডেল শিখার অংশ হিসাবে …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

আমি গণিতে একটি স্নাতক শিক্ষার্থী এবং তাত্ত্বিক কম্পিউটার বিজ্ঞান এমন একটি ডোমেন যা আমি কখনই বুঝতে পারি নি যে এটি কী তা সম্পর্কে কারণ আমি বিষয়টি সম্পর্কে খুব ভাল পঠন পাইনি। আমি জানতে চাই যে এই ডোমেনটি আসলে কী সম্পর্কে, এটি কী ধরণের বিষয়ের সাথে জড়িত, এটিতে প্রবেশ করার জন্য …

15 reference-request  soft-question  books 

আফাইক, উচ্চতর অর্ডার ফাংশন ব্যবহারের প্রথম প্রমাণ শানফিনকেলের ১৯২৪ সালের গবেষণাপত্রে ফিরে আসে: "গাণিতিক যুক্তির বিল্ডিং ব্লকগুলিতে" - যেখানে তিনি একজনকে অন্য কার্যক্রমে যুক্তি হিসাবে কাজ সম্পাদনের অনুমতি দিয়েছিলেন। এটি আকর্ষণীয় বলে মনে হচ্ছে। যাইহোক, আমি তাঁর কাজের সম্পর্কে যা কিছু পড়ছি (এবং কারির সম্প্রসারণের মাধ্যমে) তা কোনও না কোনও …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

ল্যারি ওয়াসারম্যানের একটি সাম্প্রতিক পোস্ট রয়েছে যেখানে তিনি "পি-ভ্যালু পুলিশ" সম্পর্কে কথা বলেছেন। তিনি একটি আকর্ষণীয় পয়েন্ট করেছেন (সমস্ত জোর আমার) (আমি যে ইটালিকগুলি যুক্ত করেছি তার ভিত্তি এবং এর নীচে তার প্রতিক্রিয়া): সর্বাধিক সাধারণ অভিযোগ হ'ল পদার্থবিদ এবং সাংবাদিকরা পি-ভ্যালুটির অর্থ ভুলভাবে ব্যাখ্যা করেন। উদাহরণস্বরূপ, পি-মানটি যদি 0.000001 হয় …

15 ds.algorithms  soft-question  big-list 

অর্ডার রক্ষণাবেক্ষণ সমস্যা (বা "একটি তালিকায় অর্ডার বজায় রাখা") অপারেশনগুলিকে সমর্থন করে: singleton: একটি আইটেম সহ একটি তালিকা তৈরি করে, এতে একটি পয়েন্টার দেয় returns insertAfter: কোনও আইটেমকে পয়েন্টার দেওয়া হয়, এর পরে একটি নতুন আইটেম সন্নিবেশ করানো হয়, নতুন আইটেমে একটি পয়েন্টার ফিরিয়ে দেওয়া হয় delete: কোনও আইটেমকে পয়েন্টার …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

আমার প্রশ্নটি একটি সাধারণ: আমি কীভাবে অ্যালগোরিদম ডিজাইন এবং জটিলতার বিবেচনা করতে শুরু করব? আমি অ্যালগরিদম ডিজাইনে একটি স্নাতক কোর্স নিতে যাচ্ছি। আমি এটিতে আগে নিবন্ধভুক্ত হয়েছিলাম তবে পরে রেখে দিয়েছি কারণ আমি এটি বজায় রাখতে পারিনি। প্রয়োজন হিসাবে এই কোর্সটি আমাকে নিতে হবে। এইভাবে চিন্তা করার কোনও 'কৌশল' আছে …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

আমি সবসময় পি বনাম এনপি প্রশ্নের পক্ষে বা বিপক্ষে পরীক্ষামূলক গণিতের সংখ্যার প্রমাণের অভাবে আগ্রহী। যদিও রিমান হাইপোথিসিসের নিকট সংখ্যাগত যাচাইয়ের কিছু সমর্থনকারী প্রমাণ রয়েছে, আমি পি বনাম এনপি প্রশ্নের অনুরূপ প্রমাণের বিষয়ে অবগত নই। অধিকন্তু, আমি অনস্বীকার্য সমস্যাগুলির অস্তিত্বের কোনও সরাসরি শারীরিক বিশ্বের পরিণতি সম্পর্কে অবগত নই (বা অব্যক্ত …

15 cc.complexity-theory  soft-question  big-picture  experimental 

আমি স্নাতক কম্পিউটার বিজ্ঞানের ছাত্র এবং আমি বর্তমানে আমার স্নাতক প্রকল্পের জন্য পরিকল্পনা করছি। কোয়ান্টাম কম্পিউটিং ক্ষেত্রে আমার কিছু ধারণা দরকার। কোন সাহায্য?

15 quantum-computing  soft-question 

STOC এর মত একটি সম্মেলনে প্রচ্ছদিত বিষয়গুলি বিবেচনা করে, কোনও অ্যালগরিদম বা জটিলতা গবেষকরা সক্রিয়ভাবে COQ বা ইসাবেল ব্যবহার করছেন? যদি তা হয় তবে তারা তাদের গবেষণায় এটি কীভাবে ব্যবহার করছেন? আমি ধরে নিয়েছি বেশিরভাগ লোকেরা এ জাতীয় সরঞ্জাম ব্যবহার করবেন না কারণ প্রমাণগুলি খুব নিম্ন স্তরের হবে। চমৎকার পরিপূরকের …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

আমি বেশ দক্ষ সফটওয়্যার ইঞ্জিনিয়ার, তবে আমি বেশি তত্ত্ব জানি না। আমি আরও তত্ত্ব শিখতে চাই। বিশেষভাবে যে বিষয়গুলিতে আমি আগ্রহী সেগুলি হ'ল: গণনা সংক্রান্ত জটিলতা, আনুষ্ঠানিক ভাষা এবং টাইপ তত্ত্ব। তবে আমি কীভাবে এই ক্ষেত্রগুলি সম্পর্কে শিখতে শুরু করব তা নিয়ে আমি ক্ষতি করছি। যে কেউ স্ব-অধ্যয়নের মাধ্যমে আরও …

14 soft-question  teaching  books 

পটভূমি : আমি গণিতে আমার মাস্টার্স ডিগ্রি শেষ করছি এবং আগস্ট মাসে লজিকের পিএইচডি শুরু করব। আমি যত বেশি যুক্তি নিয়ে অধ্যয়ন করি, তত তাত্ত্বিক কম্পিউটার বিজ্ঞান আমার কাছে প্রকাশিত হয়, যেমন পুনরাবৃত্তি তত্ত্ব, ল্যাম্বডা ক্যালকুলাস, তবে অন্তর্নিহিত সিএসটি গালিগাছার নীচে ব্রাশ করা হয়েছে। আমার আগ্রহের মূল ক্ষেত্রগুলি - সেট …

14 reference-request  soft-question 

গণনামূলক জটিলতার মধ্যে প্রচুর পরিমাণে সংযুক্তি এবং সংখ্যার তত্ত্ব, স্টোকাস্টিকস থেকে কিছু সূচিত এবং বীজগণিতের একটি উদীয়মান পরিমাণ জড়িত। তবে, বিশ্লেষক হয়েও আমি ভাবছি যে এই ক্ষেত্রে বিশ্লেষণের প্রয়োগ রয়েছে কি না, বা বিশ্লেষণ দ্বারা অনুপ্রাণিত ধারণা থাকতে পারে। আমি যা জানি এটির সাথে সামান্য কিছু মিলে এটি হ'ল ফিনিট …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

আমি ইন্টিউশনিস্টিক টাইপ থিওরি (আইটিটি) পড়ছি এবং এটি অর্থবোধ করে। তবে আমি যা বোঝার জন্য লড়াই করছি তা হ'ল "কেন" এটি প্রথম স্থানে তৈরি হয়েছিল? Intuitionistic লজিক (আইএল) এবং কেবলমাত্র টাইপ -calculus (STLC) এবং টাইপ সাধারণ চেয়েও পুরনো মধ্যে তত্ত্ব মার্টিন-Löf নিজে খুব অস্তিত্ব! দেখে মনে হচ্ছে যে কেউ এসটিএলসিতে …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview