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

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

12 type-theory  denotational-semantics 

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

12 relational-algebra  category-theory  curry-howard 

একটি সাক্ষাত্কারে আমাকে নীচের সমস্যাটি দেওয়া হয়েছে (যে আমি ইতিমধ্যে সমাধান করতে ব্যর্থ হয়েছি, আমার অতীতকে ঠকানোর চেষ্টা করছি না): গেমটি ইতিবাচক পূর্ণসংখ্যার নম্বর দিয়ে শুরু হয় । (উদাঃ ) এই সংখ্যাটি বাইনারি উপস্থাপনায় রূপান্তরিত হয়, এবং হ'ল বিটের সংখ্যা সেট হয় । (উদাঃ , )A0A0A_0A0=1234A0=1234A_0 = 1234NNN111A0=b100 1101 0010A0=b100 …

12 algorithms  optimization 

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

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

বা: আদৌ উপহার দেওয়ার জন্য আমাদের কি রূপের দরকার? রাউটিং ইস্যুগুলি একপাশে রেখে সান্তা নিম্নলিখিত সমস্যার মুখোমুখি হন (বহুবার, বহুবার): Capacity¹ সঙ্গে একটি ব্যাগ দেওয়া এবং উপহার একটি সেট { P 1 , ... , পৃঃ এন } , আকার সঙ্গে প্রতিটি গুলি আমি , তিনি শিশুদের করতে চাইছে { …

12 algorithms  complexity-theory  optimization  packing 

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

12 logic 

বর্তমানে আমাকে কক শিখতে হবে এবং কীভাবে মোকাবেলা করতে হবে তা আমি জানি না or: উদাহরণ হিসাবে, এটি যতটা সহজ, আমি কীভাবে প্রমাণ করতে পারি তা দেখছি না: Theorem T0: x \/ ~x. যদি কেউ আমাকে সহায়তা করতে পারে তবে আমি সত্যিই এটির প্রশংসা করব। রেফারেন্সের জন্য আমি এই ঠকানো …

12 logic  coq 

বাইনারি ডেটা উত্পন্ন করার জন্য আমি বর্তমানে কিছু কোড লিখছি। আমি নির্দিষ্টভাবে সেট বিটের একটি নির্দিষ্ট সংখ্যার সাথে 64৪-বিট নম্বর উত্পন্ন করতে চাই; আরও স্পষ্টভাবে, পদ্ধতিতে কিছু নেওয়া উচিত 0&lt;n&lt;640&lt;n&lt;640 < n < 64এবং সিউডো-এলোমেলো 64৪-বিট নম্বরটি ঠিক nnn বিট সেট করা উচিত 111এবং বাকী 0 তে সেট করা উচিত। …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

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

12 turing-machines  number-theory  busy-beaver 

আমরা অনেক সমস্যা, গুণকনির্ণয় মত, যে দৃঢ়ভাবে অনুমিত হয়, কিন্তু প্রমাণিত হয়নি যে, তারা দৃঢ়ভাবে অনুমিত হয় কিন্তু প্রমাণিত না, পি বাইরে সেখানে আছেন বিপরীত সম্পত্তি, যথা সঙ্গে কোনো প্রশ্ন, ভিতরে পি?

12 complexity-theory  polynomial-time 

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

12 computability  computation-models  turing-completeness  church-turing-thesis 

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

12 logic  linear-temporal-logic  temporal-logic 

আপনি কোনও র‌্যামের গডেল নম্বর কমান্ডের তালিকা তৈরি করে এবং এই তালিকাটিকে পূর্ণসংখ্যা হিসাবে তৈরি করতে পারেন। সুতরাং, আমি যা ভেবেছিলাম "র্যামটি যা তার নিজস্ব গডেল নম্বরটি ফেরত দেবে (বলুন, ) এতে তথ্য x থাকতে হবে, সুতরাং পূর্ণসংখ্যটি x এর চেয়ে বড় হবে , সুতরাং এটি নিজের গডেলকে ফিরিয়ে দেবে …

12 computability 

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

12 algorithms  optimization  randomized-algorithms  network-flow  scheduling 

প্রাইম, কম্পোজিট, ফ্যাক্টর এবং জটিলতার ক্ষেত্রে তারা কীভাবে সম্পর্কিত তা ঘিরে আমার মাথা গুটিয়ে নিতে সমস্যা হচ্ছে। আমি বুঝতে পেরেছি যে প্রাইমিকে একে-তে প্রাথমিকতা পরীক্ষার মাধ্যমে তে দেখানো হয়েছে এবং আমি বিশ্বাস করি এটিও কমপোজিটির জন্য কাজ করে।পিPP ফ্যাক্টর হিসাবে, এফএ সিটিও আর = { ( এম , আর ) …

12 complexity-theory  factoring