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

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

17 information-theory  data-compression 

এর কালো বাক্সের অর্থ আমি যে কোনও বিন্দুতে বহুপদী মূল্যায়ন করতে পারি ।f(x)f(x)f(x)f(x)f(x)f(x) ইনপুট : মনিক পলিনোমিয়াল ডিগ্রি একটি কালো বক্স ।f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd আউটপুট: বহুপদী এর কোফিসিয়েন্টস ।dddf(x)f(x)f(x) আমার অ্যালগোরিদম: যাক f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x)=xd+ad−1xd−1+⋯+a1x+a0f(x) = x^{d} + a_{d-1} x^{d-1} + \cdots + a_1 x + a_0 মূল্যনির্ধারণ করা বহুপদী এ ঘ কালো …

17 algorithms  polynomials 

উইকিপিডিয়া থেকে: তাত্ত্বিক কম্পিউটার বিজ্ঞানে একটি অ্যালগরিদমের সংক্ষিপ্ততা জোর দেওয়া হয় যখন বলা হয় যে কোনও স্পেসিফিকেশনের ক্ষেত্রে আলগোরিদিম সঠিক। তবে সমস্যাটি হ'ল "যথাযথ" স্পেসিফিকেশন পাওয়া তুচ্ছ কাজ নয়, এবং সঠিকটি পাওয়ার জন্য 100% সঠিক পদ্ধতি নেই (যতদূর আমি জানি) সঠিক এটি পাওয়া যায়, এটি কেবলমাত্র একটি অনুমান, তাই যদি …

17 formal-methods  software-verification  program-correctness 

এখানে অনেকগুলি (এবং আমার অর্থ অনেকগুলি) গণনাযোগ্য ভাষা রয়েছে যা টুরিং-ডিসিডেবল। কোনও অগণিত ভাষা কি ট্যুরিংয়ের সিদ্ধান্ত গ্রহণযোগ্য হতে পারে?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

উদাহরণস্বরূপ যখন আমরা এমন একটি ডিএফএ বিবেচনা করি যা স্ট্রিংগুলিকে উপ-স্ট্রিং না রাখার অনুমতি দেয় 00বা 11আমি নিম্নলিখিত দুটি ডিএফএ তৈরি করতে পারি:

17 automata  finite-automata 

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

17 complexity-theory  time-complexity  factoring  primes 

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

17 operating-systems 

আমার অ্যালগরিদম এবং ডেটা স্ট্রাকচারস কোর্সে, অধ্যাপকগণ, স্লাইড এবং বইটি ( অ্যালগরিদমের পরিচিতি, তৃতীয় সংস্করণ ) শব্দটি ব্যবহার করেছেন NILউদাহরণস্বরূপ নোডের একটি শিশু (গাছের মধ্যে) বোঝাতে যা ব্যবহার করে না। একবার, বক্তৃতা দেওয়ার সময়, না বলার পরিবর্তে NILআমার সহপাঠী বললেন null, এবং অধ্যাপক তাকে সংশোধন করেছিলেন, এবং কেন প্রফেসররা এই …

17 algorithms  terminology  data-structures  notation 

আমি আপনাকে প্রস্থ এর nnn বিটেক্টরগুলির একটি তালিকা দেব । আপনার লক্ষ্যটি হ'ল তালিকা থেকে দুটি বিটवेকটর ফিরে পাওয়া যার কোনও মিল নেই 1 বা অন্যটি জানাবেন যে এই জাতীয় কোনও জুড়ি নেই।kkk উদাহরণস্বরূপ, যদি আমি আপনাকে দিতে তারপর একমাত্র সমাধান । বিকল্পভাবে, ইনপুটটির এর কোনও সমাধান নেই। এবং যে …

17 algorithms  search-algorithms 

উইকিপিডিয়া অনুসারে , পরীক্ষা-সেট-অপারেশন দুটি সমবর্তী প্রক্রিয়া ছাড়া আর অপেক্ষা-মুক্ত সম্মতি সমস্যার সমাধান করতে পারে can কেন এটি দুটির বেশি প্রক্রিয়ার জন্য সমস্যার সমাধান করতে পারে না?

17 concurrency  consensus 

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

17 terminology  operating-systems  process-scheduling  real-time 

আমি হওটিটি বইটি পড়ছি এবং পাথ ইন্ডাকশন সহ আমার খুব কঠিন সময় কাটছে । আমি বিভাগের প্রকারটি যখন দেখি 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 

কেউ কি আসলেই এমন কোনও সিস্টেম লিখেছেন (সফ্টওয়্যার বা কাগজের উপর সাধারণ উদাহরণ সহ সহজ ব্যাখ্যা) যা কম্পিউটার প্রোগ্রাম তৈরি করে? আমি ইনপুট করে এবং এটি এমন একটি প্রোগ্রাম তৈরি করে যা চেয়ে কম সংখ্যক প্রাথমিক সংখ্যা তালিকাভুক্ত করে কেবলমাত্র 1 <x \ ওয়েজ- হিসাবে উপস্থিত নয় \ উপস্থিত A …

17 logic  type-theory  coq  proof-assistants 

আমি "C ++ Demysified" বইটি অধ্যয়ন করেছি । এখন আমি রবার্ট ল্যাফোনের "টার্বো সি ++ প্রথম সংস্করণ (1 ম সংস্করণ)" অবজেক্ট-ওরিয়েন্টেড প্রোগ্রামিং পড়তে শুরু করেছি। আমার কাছে প্রোগ্রামিং সম্পর্কিত কোনও জ্ঞান নেই যা এই বইয়ের বাইরে। এই বইটি পুরানো হতে পারে কারণ এটি 20 বছরের পুরানো। আমার কাছে সর্বশেষতম সংস্করণ …

17 programming-languages  object-oriented  programming-paradigms 

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

17 computability  reference-request  turing-machines  halting-problem