প্রশ্ন ট্যাগ «induction»

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

20 automata  finite-automata  proof-techniques  reference-question  induction 

আমি হওটিটি বইটি পড়ছি এবং পাথ ইন্ডাকশন সহ আমার খুব কঠিন সময় কাটছে । আমি বিভাগের প্রকারটি যখন দেখি 1.12.1 : অর্থ কী তা বোঝার জন্য আমার কোনও সমস্যা নেই (আমি এটি স্মৃতি থেকে টাইপটি লিখেছি, এটি পরীক্ষা করতে)।ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), আমি যা ইস্যু করেছি …

17 induction  dependent-types  homotopy-type-theory 

"Inductively" এবং "recursively" অর্থ কি খুব একই রকম? উদাহরণস্বরূপ, যদি কোনও অ্যালগরিদম থাকে যা কোনও এন-ডিম ভেক্টরকে তার প্রথম কে + 1 উপাদানগুলি নির্ধারণ করে তার প্রথম কে + 1 উপাদানগুলি নির্ধারিত করে এবং প্রথম উপাদানটির সাথে আরম্ভ করা হয় তা নির্ধারণ করে, আপনি কি এটিকে পুনরাবৃত্তির বা inductively কাজ …

11 algorithms  terminology  recursion  induction 

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

11 type-theory  induction  inductive-datatypes 

এই প্রমাণ অন্তর্ভুক্তি দ্বারা প্রমাণ, এবং নিম্নলিখিত হিসাবে যায়: পি (এন) এমন একটি দাবি যা "কুইকসোর্ট দৈর্ঘ্যের প্রতিটি ইনপুট অ্যারে সঠিকভাবে সাজান।" বেস কেস: দৈর্ঘ্যের প্রতিটি ইনপুট অ্যারে ইতিমধ্যে সাজানো হয়েছে (পি (1) হোল্ড) প্ররোচিত পদক্ষেপ: স্থির n => ২ দৈর্ঘ্যের কিছু ইনপুট অ্যারে ঠিক করুন। দেখাতে হবে: যদি পি …

10 correctness-proof  induction  quicksort