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

আপনি যদি ডায়নামিক প্রোগ্রামিংটির নাম পরিবর্তন করতে পারেন তবে আপনি এটিকে কী বলবেন?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

এমনকি কম্পিউটার বিজ্ঞানের একটি পটভূমি সহ এমন কাউকে জিজ্ঞাসা করুন যে নিয়মিত প্রকাশ কী, এবং উত্তরটি সীমাবদ্ধ-রাষ্ট্র অটোমেটনের নাগালের বাইরে যাওয়ার সীমাবদ্ধতার বাইরে চলে যেতে পারে। উদাহরণস্বরূপ, "নিয়মিত প্রকাশ" /^1?$|^(11+?)\1+$/ উল্লিখিত পার্ল ব্যক্তিত্বের দ্বারা নির্মিত অ্যাবিগাইল (এবং পার্লের পরীক্ষার স্যুট অংশটি ২০০২ সাল থেকে) এমন একটি মেশিনের বর্ণনা করেছে যা …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

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

30 soft-question  sat  terminology 

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

30 ho.history-overview  terminology 

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

25 pl.programming-languages  terminology  term-rewriting-systems 

সিএসে এমন কোনও সমস্যা আছে যেখানে কোনও দক্ষ অ্যালগরিদম জানা যায় না, যদিও অস্তিত্বের উপপাদাগুলি প্রমাণ করে এমন দক্ষ অ্যালগরিদম উপস্থিত থাকতে হবে? এই সমস্যাগুলি কী বলা হয়? আমি কোথায় আরও জানতে পারি?

22 ds.algorithms  reference-request  terminology 

দুঃখিত, এটি যদি একটি নির্লিপ্ত প্রশ্ন হয় তবে আমি বন্ডি-মুর্তি, ডিয়েস্টেল বা পশ্চিমের মতো বড় কোনও পাঠ্য বইয়ের মধ্যে কোন ন্যায়সঙ্গততা খুঁজে পাইনি। নিখুঁত গ্রাফের অনেকগুলি সুন্দর বৈশিষ্ট্য রয়েছে তবে এগুলিকে নিখুঁত বলা হওয়ার একক কারণ কী? বা বার্গের দ্বারা এটি কেবল একটি নান্দনিক পছন্দ?

16 graph-theory  co.combinatorics  terminology  graph-colouring 

একটি নির্দেশিত গ্রাফ নিন যেখানে প্রান্তগুলি প্রাকৃতিক সংখ্যায় সজ্জিত রয়েছে। আমরা সব পাথ সেট চান পি মধ্যে দু'রকমের v 1 এবং V 2 যেমন যে পথে প্রত্যেক ক্রমানুযায়ী প্রান্ত একটি প্রাকৃতিক সংখ্যা প্রাকৃতিক সংখ্যা পূর্ববর্তী প্রান্ত শোভাকর চেয়ে বেশী দিয়ে সাজানো থাকে।জিজিGপিপিPবনাম1বনাম1v_1বনাম2বনাম2v_2 এর জন্য একটি অ্যাপ্লিকেশনটি হবে বাস বা ট্রেনের …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

কম্পিউটার বিজ্ঞান সম্পর্কে একটি আশ্চর্যজনক বিষয় হ'ল দৈহিক বাস্তবায়ন কিছুটা অর্থে "অপ্রাসঙ্গিক"। লোকেরা বিভিন্ন বিভিন্ন সাবস্ট্রেট - রিলে, ভ্যাকুয়াম টিউব, আলাদা ট্রানজিস্টর ইত্যাদির বাইরে কম্পিউটারগুলি সফলভাবে তৈরি করে নিয়েছে People নীতিগতভাবে, একটি বিলিয়ার-বল কম্পিউটার তৈরি করা সম্ভব বলে মনে হচ্ছে । তবে শারীরিক স্তরটি সম্পূর্ণ অপ্রাসঙ্গিক নয়। লোকেরা খুঁজে পেয়েছে …

16 computability  turing-machines  terminology  physics  natural-computing 

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

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

থিম: ধরে নেওয়া যাক ETA-সমানতা আমরা যে আছে (\x -> ⊥) = ⊥ :: A -> B। প্রুফ: ⊥ = (\x -> ⊥ x)এটা-সমতা এবং (\x -> ⊥ x) = (\x -> ⊥)ল্যাম্বদার নীচে হ্রাস দ্বারা। হাস্কেল 2010 রিপোর্ট, বিভাগ 6.2 seqদুটি সমীকরণ দ্বারা ফাংশন নির্দিষ্ট করে : seq :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

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

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

আমরা যে একটি ফাংশন হয় সময়-অঙ্কনযোগ্য , যদি সেখানে একটি নির্ণায়ক বহু-টেপ মেশিন টুরিং বিদ্যমান এম যে দৈর্ঘ্যের সমস্ত ইনপুট উপর এন সর্বাধিক তোলে চ ( এন ) পদক্ষেপ এবং প্রত্যেকের জন্য এন সেখানে কিছু ইনপুট বিদ্যমান দৈর্ঘ্য n যার উপরে এম প্রসন্নভাবে f ( n ) পদক্ষেপ করে।চ: এন …

13 cc.complexity-theory  time-complexity  terminology 

আমি বর্তমানে অ্যালান কেসের বক্তব্য শুনছি "এটি কি আসলে জটিল বা আমরা কেবল জটিল করে তুলেছি?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) যেখানে তিনি বলেছেন যে "সেমোফোরগুলি একটি খারাপ ধারণা ছিল এবং সিউডো সময় বলে কিছু ছিল যা উন্নত ছিল" (লিঙ্কযুক্ত ভিডিওতে 51:40 এ)। হয়তো আমি "সিউডো টাইম" শব্দটি ভুল বুঝেছি, তবে আপনি …

11 terminology  concurrency 

আমি "ক্যালকুলাস" এর একমাত্র সংজ্ঞাটি বিশ্লেষণের সীমা, ডেরাইভেটিভস, ইন্টিগ্রাল ইত্যাদির অধ্যয়ন is লাম্বদা ক্যালকুলাস (বা মি ক্যালকুলাসের মতো জিনিস) "ক্যালকুলাস" কোন অর্থে? এটি বিশ্লেষণে ক্যালকুলাসের সাথে কীভাবে সম্পর্কিত?

11 terminology  lambda-calculus