প্রশ্ন ট্যাগ «lambda-calculus»

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

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

টুরিং মেশিন এবং ল্যাম্বডা ক্যালকুলাসের মধ্যে কি কোনও সম্পর্ক রয়েছে - বা তারা কি একই সময়ে ঘটেছিল?

49 computability  lambda-calculus  turing-machines 

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

48 computability  lambda-calculus  turing-machines 

ল্যাম্বদা ক্যালকুলাস ব্যবহার করে অ্যালগরিদমের সময়ের জটিলতা গণনা করার কোনও সুবিধা আছে কি? অথবা এই উদ্দেশ্যে আরও একটি সিস্টেম নকশা করা হয়েছে? কোন রেফারেন্স প্রশংসা করা হবে।

43 lambda-calculus  pl.programming-languages  time-complexity 

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

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

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

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

আমি বর্তমানে হিন্ডলি এবং সেলডিনের " ল্যাম্বডা-ক্যালকুলাস এবং সংযুক্তকারী " পড়ছি । আমি কোনও বিশেষজ্ঞ নই, তবে কার্যকরী প্রোগ্রামিংয়ের সাথে জড়িত থাকার কারণে (লিস্প এবং এসআইসিপি দিয়ে শুরু করা, এবং এখন আর এবং হাস্কেলের সাথে) ল্যাম্বডা ক্যালকুলাসের প্রতি সর্বদা আগ্রহী হয়েছি। "এ বাইনারি ল্যামডা ক্যালকুলাস এবং সমন্নয়ের লজিক" , জন …

26 combinatory-logic  functional-programming  lambda-calculus 

আমি পড়েছি যে প্রাথমিকভাবে চার্চ প্রস্তাবিত তার অংশ হিসেবে -calculus লজিক এর Postulates কাগজ (যা একটি ঘন পঠিত)। কিন্তু ক্লেইন তার "সিস্টেম "টিকে অসঙ্গত প্রমাণ করেছিলেন, এর পরে, চার্চ" কার্যকর গণনা "সম্পর্কে তাঁর কাজের জন্য প্রাসঙ্গিক জিনিসগুলি সরিয়ে নিয়েছিলেন এবং যুক্তির বিষয়ে তাঁর পূর্বের কাজটি ত্যাগ করেছিলেন।λλ\lambda সুতরাং হিসাবে আমি …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

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

21 lambda-calculus  type-systems  typed-lambda-calculus  calculus-of-constructions 

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

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

একটি কার্টিজিয়ান বন্ধ শ্রেণী ( সিসিসি ), সেখানে তথাকথিত অস্তিত্ব সূচকীয় বস্তু , লিখিত । একটি সিসিসি মডেল হিসাবে বিবেচনা করা হয় যখন কেবল টাইপ -calculus মত একটি সূচকীয় বস্তুর ধরণ থেকে ফাংশন স্থান চরিত্রকে টাইপ । ত্রি বলে একটি তীর দ্বারা একটি সূচকীয় পদার্থ প্রবর্তন করা হয় এবং নামক …

21 type-theory  lambda-calculus  ct.category-theory 

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

20 type-theory  lambda-calculus  typed-lambda-calculus  curry-howard 

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

19 lo.logic  pl.programming-languages  lambda-calculus 

আমি আলেসেলসন এবং গ্লুক (২০১১) দ্বারা সংজ্ঞায়িত হিসাবে "আর-টিউরিং সম্পূর্ণতা" ধারণার প্রতি আগ্রহী । কোনও সিস্টেম "আর আবর্জনা" উপাত্ত তৈরি না করেই বিপরীতমুখী টুরিং মেশিনের মতো একই ফাংশনের গণনা করতে পারলে কোনও সিস্টেম আর-টুরিং সম্পূর্ণ । এটি উভয় (ক) গণনাযোগ্য এবং (খ) ইনজেকশনযুক্ত প্রতিটি ফাংশন গণনা করতে সক্ষম হ'ল। আমি …

19 lambda-calculus 

একটি সাম্প্রতিক থ্রেড Agda মেইলিং তালিকা, প্রশ্নে ηη\eta আইন popped আপ বানানো যা পিটার হানকোক চিন্তার উদ্দীপক মন্তব্য । আমার বোঝার যে ηη\eta আইন নেতিবাচক ধরনের সঙ্গে আসা, অর্থাত্। সংযোজকগুলি যা প্রবর্তনের বিধিগুলি অবিচ্ছেদ্য। ফাংশনগুলির জন্য ta অক্ষম করতে , হ্যাঙ্ক স্বাভাবিক প্রয়োগের নিয়মের পরিবর্তে কাস্টম-মেড অ্যালিমিনেটর , ফানস্প্লিট ব্যবহার …

18 lo.logic  type-theory  lambda-calculus  proof-theory