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

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

21 artificial-intelligence 

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

21 lambda-calculus  functional-programming 

মনে করুন আমাদের কাছে একটি এলোমেলো জেনারেটর রয়েছে যা ইউনিফর্ম বিতরণ সহ এর পরিসরে সংখ্যাগুলি বের করে দেয় এবং অভিন্ন বিতরণ সহ আমাদের পরিসরে এলোমেলো সংখ্যা উত্পন্ন করতে হবে ।[0..R−1][0..R−1][0..R-1][0..N−1][0..N−1][0..N-1] মনে করুন যে আর সমানভাবে ভাগ করে না ; সত্যিকারের অভিন্ন বিতরণ পেতে আমরা প্রত্যাখ্যানের নমুনা পদ্ধতিটি ব্যবহার করতে পারি …

21 probability-theory  randomness  random-number-generator  sampling 

আমি কীভাবে একজন প্রমাণ করতে পারি যে দুটি মডেল গণনা সমান। আমি সমতুল্য প্রমাণ বাদ দেওয়া বাদ দিয়ে বিষয়টিতে বইগুলি পড়ছি। দুই মডেলের গণনার সমতুল্য হওয়ার জন্য এটির অর্থ সম্পর্কে আমার একটি প্রাথমিক ধারণা আছে (অটোমেটা ভিউ: যদি তারা একই ভাষাগুলি গ্রহণ করে তবে)। সমতা সম্পর্কে চিন্তাভাবনার অন্যান্য উপায় আছে? …

21 proof-techniques  computation-models  simulation 

আমি কর্পেনস ইন্ট্রো টু অ্যালগরিদমস বইয়ের বেশিরভাগ উপাদান শেষ করে দিয়েছি এবং আমি একটি অ্যালগরিদম বইয়ের সন্ধান করছি যা করম্যানের বইয়ের বাইরেও উপাদানকে কভার করে। কোন সুপারিশ আছে? দ্রষ্টব্য: আমি এটি স্ট্যাকওভারফ্লোতে জিজ্ঞাসা করেছি তবে উত্তরটি নিয়ে খুব খুশি ছিল না। দ্রষ্টব্য: আমি মনে করি বেশিরভাগ মন্তব্যের দিকে তাকিয়ে আমি …

21 algorithms  reference-request  books 

একটি ভরযুক্ত গ্রাফ তাহলে দুটি ভিন্ন ন্যূনতম spanning গাছ রয়েছে এবং , তাহলে এটি সত্যি যে কোনো প্রান্ত জন্য মধ্যে , ইন প্রান্ত সংখ্যা একই ওজন হিসেবে (তত্সহ নিজেই) এ প্রান্ত সংখ্যা হিসাবে একই হিসাবে একই ওজনের ? যদি বক্তব্যটি সত্য হয় তবে আমরা কীভাবে এটি প্রমাণ করতে পারি?জিGGটি1= ( …

21 graph-theory  spanning-trees  weighted-graphs 

স্ক্রিপ্টে আমি বর্তমানে ল্যাম্বদা ক্যালকুলাসে পড়ছি, বিটা সমতুল্যতা এটি হিসাবে সংজ্ঞায়িত হয়েছে: -equivalence ক্ষুদ্রতম সমানতা যে রয়েছে ।≡ β → βββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta এর অর্থ কী তা আমার কোনও ধারণা নেই। কেউ কি এটি সহজ ভাষায় ব্যাখ্যা করতে পারেন? একটি উদাহরণ সঙ্গে হতে পারে? আমার এটি চার্চ-রুসার উপপাদ্য অনুসারে একটি লেম্মার জন্য …

21 logic  terminology  lambda-calculus  type-theory 

একজন 15 বছর বয়সী তরুণ কৈশোরের জন্য একটি ভাল শিক্ষানবিস কম্পিউটার বিজ্ঞান বইটি কী? আমি সিএসে শুরু করতে চাই, তবে কোথা থেকে শুরু করব সে সম্পর্কে কোনও ধারণা নেই। প্রোগ্রামিংয়ে আমার অভিজ্ঞতা সীমিত।

21 education  reference-request 

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

21 logic  concurrency  process-algebras 

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

21 computer-architecture  empirical-research  data-sets 

আমি একটি অ্যালগরিদমের অস্তিত্ব প্রমাণ করতে বা অস্বীকার করতে চাই যা পূর্ণসংখ্যার অ্যারে দেওয়া হ'ল এবং তিনটি সূচক খুঁজে পাই যে এবং রৈখিক সময়ে (বা এমন কোনও ট্রিপল নেই)।AAAi,ji,ji, jkkki&lt;j&lt;ki&lt;j&lt;ki < j < kA[i]&lt;A[j]&lt;A[k]A[i]&lt;A[j]&lt;A[k]A[i] < A[j] < A[k] এটি কোনও হোমওয়ার্কের প্রশ্ন নয়; আমি এটিকে একটি প্রোগ্রামিং ফোরামে দেখেছি "এই …

21 algorithms  arrays  subsequences 

একটি উদ্রেককারী ধরণের বিবেচনা করুন যা নেস্টেড, তবে কঠোরভাবে ইতিবাচক স্থানে কিছু পুনরাবৃত্ত ঘটনা রয়েছে। উদাহরণস্বরূপ, নোডগুলির সাথে সসীম শাখাযুক্ত গাছ বাচ্চাদের সঞ্চয় করার জন্য জেনেরিক তালিকা ডেটা কাঠামো ব্যবহার করে। Inductive LTree : Set := Node : list LTree -&gt; LTree. গাছগুলি এবং গাছের তালিকাগুলির উপরে পুনরাবৃত্তি করে এই …

21 logic  coq  type-theory  recursion  proof-assistants 

গণনার মেশিন মডেলগুলি বিবেচনা করার সময়, চমস্কি হায়ারার্কি সাধারণত (ক্রম), সসীম অটোমাতা, পুশ-ডাউন অটোমেটা, লিনিয়ার বাউন্ড অটোমেটা এবং টুরিং মেশিনগুলির দ্বারা চিহ্নিত হয়। প্রথম এবং শেষ স্তরের 1 (নিয়মিত ভাষা এবং পুনরাবৃত্তিমূলকভাবে গণনাকারী ভাষা) এর জন্য, আমরা ডিটারিস্টোনিক বা ননডেটারিস্টিক মেশিনগুলি বিবেচনা করি, অর্থাৎ ডিএফএগুলি এনএফএসের সমতুল্য, এবং ডিটিএমগুলি এনটিএম …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

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

21 complexity-theory  oracle-machines 

এখানেই সমস্যা। প্রদত্ত , যেখানে প্রতিটি । আছে কি একটি উপসেট সর্বাধিক আকার সঙ্গে যেমন যে সবার জন্য ? আমি এই সমস্যাটি স্যাটে হ্রাস করার চেষ্টা করছি। একটি সমাধান আমার ধারণা একটি পরিবর্তনশীল আছে হবে 1 প্রত্যেকের জন্য । প্রত্যেকের জন্য , একটি দফা তৈরি যদি । তারপরে এবং এই …

21 complexity-theory  reductions  np-hard