প্রশ্ন ট্যাগ «ho.history-overview»

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

14 process-algebra  ho.history-overview 

পুনরাবৃত্তি ধারণাটি কে প্রবর্তন করেছিলেন ? এটি কোথা থেকে এসেছে এবং এটি কীভাবে কম্পিউটার বিজ্ঞানের উপর প্রভাব ফেলেছিল তা কেউ ব্যাখ্যা করতে পারেন?

14 reference-request  ho.history-overview  recursion 

আমি খুজছি: মাইকেল ও রবিন, "ফাংশন গণনা করতে অসুবিধার ডিগ্রি এবং পুনরাবৃত্ত সেটগুলির আংশিক ক্রম", হিব্রু বিশ্ববিদ্যালয়, জেরুসালেম, ১৯60০ সারসংক্ষেপ: “আমরা প্রদত্ত গণনাযোগ্য (পুনরাবৃত্ত) ফাংশন গণনা করার কাজে অন্তর্নিহিত কাজের পরিমাণ পরিমাপ করার চেষ্টা করি। কম্পিউটিংয়ের ডিগ্রি অসুবিধার একটি ধারণা চালু এবং অধ্যয়ন করা হয়। ধারণাটি এই অর্থে অবিচ্ছিন্ন যে …

13 cc.complexity-theory  reference-request  ho.history-overview 

আমি ইন্টিউশনিস্টিক টাইপ থিওরি (আইটিটি) পড়ছি এবং এটি অর্থবোধ করে। তবে আমি যা বোঝার জন্য লড়াই করছি তা হ'ল "কেন" এটি প্রথম স্থানে তৈরি হয়েছিল? Intuitionistic লজিক (আইএল) এবং কেবলমাত্র টাইপ -calculus (STLC) এবং টাইপ সাধারণ চেয়েও পুরনো মধ্যে তত্ত্ব মার্টিন-Löf নিজে খুব অস্তিত্ব! দেখে মনে হচ্ছে যে কেউ এসটিএলসিতে …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

অ্যালান টুরিংয়ের 100 তম জন্মদিন উদযাপন করতে, আমি তার জীবন সম্পর্কিত একটি ডকুমেন্টারি দেখতে চাই। তবে বেছে নিতে বেশ কয়েকটি ডকুমেন্টারি রয়েছে। অ্যালান টুরিং সম্পর্কিত কোন ডকুমেন্টারি আপনার প্রিয়? দয়া করে প্রতিটি উত্তরের জন্য একটি ডকুমেন্টারি অন্তর্ভুক্ত করুন।

13 reference-request  soft-question  big-list  ho.history-overview 

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

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

সিঙ্ক্রোনাস লজিকাল সার্কিট ব্যবহার করে কীভাবে এফএসএম প্রয়োগ করতে হবে তা শিখানোর সময়, আমি একটি আকর্ষণীয় কাকতালীয়তা লক্ষ্য করেছি: তাত্ত্বিক সিএস উভয় জগতে, এবং বৈদ্যুতিক প্রকৌশল বিশ্বে, "রাষ্ট্র" সাধারণত (এবং রাষ্ট্রীয় স্থান Q ) হিসাবে চিহ্নিত হয়। আমি প্রথমে EE.sx এ জিজ্ঞাসা করেছি , তবে তারপরে এই বিষয়টি সম্পর্কে কিছুটা …

13 automata-theory  ho.history-overview 

আমি কি, কেন এবং কিভাবে প্রায় আমার মাথা মোড়ানো করার চেষ্টা করছি -calculus কিন্তু আমি সঙ্গে "কেন এটা কাজ করে" বাণিজ্য আসতে করতে অক্ষম নই?λλ\lambda "স্বজ্ঞাতভাবে" আমি ট্যুরিং মেশিনগুলির (টিএম) এর কম্পিউটারের মডেলটি পাই। কিন্তু এই -abstraction শুধু পাতার আমাকে হতভম্ব।λλ\lambda ধরে নেওয়া যাক, স্মৃতি উপস্থিত না থাকার - তারপর …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

ডাইক ভাষাগুলি নিম্নলিখিত ব্যাকরণ এস → এস এস দ্বারা সংজ্ঞায়িত করা হয় ডি ওয় সি সি কে (কে)Dyck(k)\mathsf{Dyck}(k) চিহ্ন সেট উপর { ( 1 , ... , ( ট , ) 1 , ... , ) ট } । স্বজ্ঞাতভাবে ডাইক ভাষা হ'ল কে বিভিন্ন ধরণেরসুষম প্যারেন্টেসির ভাষা। উদাহরণস্বরূপ, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

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

11 lo.logic  computability  ho.history-overview 

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

11 soft-question  big-list  ho.history-overview 

এটি সর্বজনবিদিত যে চার্লস ব্যাবেজের বিশ্লেষণাত্মক মেশিনটির একটি আধুনিক স্থাপত্য ছিল আধুনিক ভন নিউম্যান আর্কিটেকচারকে দৃ strongly়ভাবে একত্রিত করার। এছাড়াও, এটি উল্লেখযোগ্য যে ব্যাবেজের বিশ্লেষণাত্মক মেশিন ( http://www.fourmilab.ch/babbage/figures/menat3.png ) এবং ভন নিউমানের কাজ (যেমন http://library.ias.edu ) এর জন্য একটি প্রোগ্রাম উপস্থাপনের টেবিলগুলি /files/pdfs/ecp/planningcodingof0103inst.pdf ) বেশ সাদৃশ্যপূর্ণ। এখন আমি ভাবছি যে …

10 ho.history-overview 

সিস্টেম "এফ" এবং সিস্টেম "টি" নামগুলি কোথা থেকে এসেছে তা কি কেউ জানেন? আমি জিজ্ঞাসা করছি না কে এই নামগুলি (জিরার্ড সিস্টেম এফ, এবং গডেল সিস্টেম টি) প্রবর্তন করেছে, তবে "এফ" এবং "টি" এর অর্থ কী।

9 ho.history-overview  type-systems  formal-systems 

আমি যদি সঠিকভাবে বুঝতে পারি তবে সেই সমস্যাটি প্রমাণ করতে AAA এনপি হার্ড, আপনার সমস্ত সম্ভাব্য সমস্যা বাছাই করা দরকার BiBiB_{i} যা এনপিতে রয়েছে এবং তারপরে প্রমাণ করুন যে তারা কমেছে AAA একটি বহুবর্ষীয় সময় গণনাযোগ্য ফাংশন ব্যবহার করে, যা প্রত্যেকের উদাহরণ ম্যাপ করে BiBiB_{i} উদাহরণস্বরূপ AAA। একবার আপনি প্রথম …

9 soft-question  ho.history-overview  cook-levin 

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

9 ds.algorithms  graph-algorithms  ho.history-overview