কম্পিউটার বিজ্ঞান

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

26 computability  programming-languages  turing-completeness 

স্ট্যাক ওভারফ্লোগুলি সনাক্ত করা সফ্টওয়্যার (অপারেটিং সিস্টেম) এর কাজ বা সিপিইউতে একটি ব্যতিক্রম ঘটায় হার্ডওয়্যারে স্ট্যাক ওভারফ্লো সনাক্ত করা হয়?

26 computer-architecture  stacks 

আমাদের মধ্যে অধিকাংশই মধ্যে চিঠিপত্রের জানেন সমন্নয়ের যুক্তিবিজ্ঞান এবং ল্যামডা ক্যালকুলাস । তবে আমি কখনও দেখিনি (সম্ভবত আমি যথেষ্ট গভীরভাবে দেখিনি) "টাইপড কম্বিনেটরগুলির" সমতুল্য, কেবল টাইপ করা ল্যাম্বদা ক্যালকুলাসের সাথে মিল রেখে। এ জাতীয় জিনিস কি বিদ্যমান? কোথায় এটি সম্পর্কে তথ্য খুঁজে পেতে পারে?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

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

26 complexity-theory  np-complete  intuition 

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

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

আমি প্রোগ্রামিং ল্যাঙ্গেজ হাস্কেল শিখছি, এবং আমি আমার মাথাটি গুটিয়ে দেওয়ার চেষ্টা করছি যে এ typeএবং এ এর মধ্যে পার্থক্য kindকী। আমি এটা বুঝতে হিসাবে a kind is a type of type,। উদাহরণস্বরূপ, a ford is a type of carএবং a car is a kind of vehicle। এটি সম্পর্কে চিন্তা …

26 type-theory 

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

26 algorithms  recursion  arithmetic 

আমি বেশ কয়েকবার শুনেছি যে পর্যাপ্ত পরিমাণে n এর জন্য O, n (O) এর বিষয়ে ধারণা / চিকিত্সা করা যেতে পারে যেন এটি O (1)। উদাহরণ : এটি করার অনুপ্রেরণা এই ভুল ধারণার উপর ভিত্তি করে যে হে (1) সর্বদা ও (এলজি এন) এর চেয়ে ভাল, ও (এন) এর চেয়ে …

26 asymptotics 

নিম্নলিখিত ভাষার প্রসঙ্গটি কি নিখরচায়? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} এসডিসিভিভিসি দ্বারা চিহ্নিত হিসাবে, এই ভাষার একটি শব্দকে একই দৈর্ঘ্যের দুটি শব্দের সংমিশ্রণ হিসাবেও বর্ণনা করা যেতে পারে যার হ্যামিং দূরত্ব 2 বা …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

যখন কিছু (অপেক্ষাকৃত) বেসিক (প্রথম বর্ষের কলেজ স্তর সিএস শিক্ষার্থী ভাবেন) এর উদাহরণগুলি যখন কেউ কেবল একটি লুপের পরিবর্তে পুনরাবৃত্তি ব্যবহার করবে?

26 algorithms  recursion 

এই প্রশ্নটি তাত্ত্বিক কম্পিউটার বিজ্ঞান স্ট্যাক এক্সচেঞ্জ থেকে স্থানান্তরিত হয়েছিল কারণ এটি কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জে উত্তর দেওয়া যেতে পারে। 7 বছর আগে স্থানান্তরিত । এটি জানা যায় যে প্রতিটি অপ্টিমাইজেশন / অনুসন্ধানের সমস্যার সমতুল্য সিদ্ধান্তের সমস্যা রয়েছে। উদাহরণস্বরূপ সবচেয়ে সংক্ষিপ্ত পথের সমস্যা অপ্টিমাইজেশন / অনুসন্ধান সংস্করণ: একটি অপ্রচলিত অপ্রকাশিত …

26 complexity-theory  optimization  search-problem  decision-problem 

এই প্রশ্নটি গণিত স্ট্যাক এক্সচেঞ্জ থেকে স্থানান্তরিত হয়েছিল কারণ এটি কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জে উত্তর দেওয়া যেতে পারে। 6 বছর আগে স্থানান্তরিত । ডোমিনোসা একটি অপেক্ষাকৃত নতুন ধাঁধা গেম। এটি একটি গ্রিডে প্লে করা হয় । গেমটি শুরু হওয়ার আগে, ডোমিনো হাড়গুলি গ্রিডে স্থাপন করা হয় (একটি নিখুঁত টাইলিং গঠন …

26 complexity-theory  np-hard  board-games  tiling 

বিবেচনা শুধুমাত্র বর্ণমালা স্ট্রিং যা টুরিং মেশিনে ইনপুট হিসাবে দেওয়া যায় সেট থেকে এসেছ Σ * । তবে কি ইনপুটটিকে অসীম বাইনারি স্ট্রিং হিসাবে বোঝানো যায়? উদাহরণস্বরূপ, যদি কোনও টিউরিং মেশিন 0 দিয়ে শুরু করে সমস্ত স্ট্রিং গ্রহণ করে, তবে কি অসীম শূন্যের একটি বাইনারি স্ট্রিংও টুরিং মেশিন দ্বারা গৃহীত …

26 turing-machines 

ধরে নিচ্ছি যে l1 এবং l2 ক্যাশে অনুরোধগুলি মিসের ফলস্বরূপ, মূল স্মৃতি অ্যাক্সেস না করা পর্যন্ত প্রসেসরটি কি স্টল করে? আমি অন্য থ্রেডে স্যুইচ করার ধারণাটি শুনেছি, যদি তাই হয় তবে থামানো সুতোর জাগাতে কী ব্যবহৃত হয়?

26 computer-architecture  cpu-cache  cpu-pipelines 

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

26 data-structures  binary-trees