প্রশ্ন ট্যাগ «formal-modeling»

Kolmogorov উপসর্গ জটিলতা (অর্থাত সংক্ষিপ্ত আত্ম-delimiting কর্মসূচির আকার যে আউটপুট ) বিভিন্ন চমৎকার বৈশিষ্ট্য আছে:K(x)K(x)K(x)xxx এটি প্যাটারগুলির সাথে স্ট্রিং দেওয়ার বা অন্তর্নিহিতের সাথে স্ট্রিংয়ের চেয়ে কম জটিলতার সাথে সম্পর্কিত। এটি আমাদের শর্তযুক্ত জটিলতা বা কিছু ওরাকল জন্য আরও ভাল সংজ্ঞায়িত করতে দেয় ।K(x|y)K(x|y)K(x|y)K(x|O)K(x|O)K(x|O)OOO এটি সাব-অ্যাডেটিভ ।K(x,y)≤K(x)+K(y)K(x,y)≤K(x)+K(y)K(x,y) \leq K(x) + K(y) …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

আপনি পাই-ক্যালকুলাসে নির্ভরযোগ্য সম্প্রচার মডেল করতে পারেন? যদি তাই হয়, কিভাবে? যদি তা না হয়: এমন কোনও প্রক্রিয়া বীজগণিত রয়েছে যেখানে আপনি পারেন? আমি যা চেষ্টা করেছি: প্রেরক যদি কে একটি বার্তা পাঠাতে চায় সব থেকে করার , আপনি লিখতে পারে ! ( এবং করার । তবে আপনি কীভাবে গ্যারান্টি …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

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

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

আমি রাসেলের প্রিন্সিপিয়া ম্যাথমেটিকা ​​(প্রধানমন্ত্রী) এবং যৌক্তিক পজিটিভিজবাদ দ্বারা অনুপ্রাণিত একটি বইয়ের দখলে রয়েছি, অ্যালভিমগুলি নির্ধারণ করে এবং সেগুলি থেকে উপপাদগুলি কেটে একটি নির্দিষ্ট ডোমেনকে আনুষ্ঠানিক করার চেষ্টা করি attempts সংক্ষেপে, এটি গণমাধ্যমের জন্য প্রধানমন্ত্রী যা করার চেষ্টা করেছিল তা তার ডোমেনের জন্য করার চেষ্টা করে। প্রধানমন্ত্রীর মতো এটি স্বয়ংক্রিয় …

11 lo.logic  type-theory  formal-modeling  automated-theorem-proving  bioinformatics 

আমি এলআইএসপি- তে একটি বই অনুবাদ করছি এবং স্বাভাবিকভাবেই এটি -ক্যালকুলাসের কিছু উপাদানকে স্পর্শ করে । সুতরাং, extensionality একটি ধারণা কিছু মডেলের পাশাপাশি সেখানে উল্লেখ করা হয় λ -calculus, যথা: পি ω এবং ডি ∞ (হ্যাঁ, উপরের অনন্ত সহ)। এবং এটা বলা হয় যে পি ω এক্সটেনশনাল থাকাকালীন ডি ∞ …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

আমি কম্পিউটার বিজ্ঞান থেকে কঠিন সমস্যার (এনপি বা আরও শক্ত) উদাহরণগুলির সন্ধান করছি যা শারীরিক প্রক্রিয়াগুলির মডেলগুলিতে হ্রাস করা যায়। উদাহরণস্বরূপ, সর্বাধিক-টু-স্যাট কোনও ইসিং মডেলটিতে শক্তি হ্রাস করা যেতে পারে। আমি এই ধরণের হ্রাস আরও উদাহরণ পেতে চাই।

10 cc.complexity-theory  reductions  physics  formal-modeling 

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

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented