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

আমি কীভাবে কেবল এক্সওআর গেটগুলি ব্যবহার করে একটি এ্যান্ড গেট প্রকাশ করতে পারি?

21 logic  boolean-algebra 

স্ক্রিপ্টে আমি বর্তমানে ল্যাম্বদা ক্যালকুলাসে পড়ছি, বিটা সমতুল্যতা এটি হিসাবে সংজ্ঞায়িত হয়েছে: -equivalence ক্ষুদ্রতম সমানতা যে রয়েছে ।≡ β → βββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta এর অর্থ কী তা আমার কোনও ধারণা নেই। কেউ কি এটি সহজ ভাষায় ব্যাখ্যা করতে পারেন? একটি উদাহরণ সঙ্গে হতে পারে? আমার এটি চার্চ-রুসার উপপাদ্য অনুসারে একটি লেম্মার জন্য …

21 logic  terminology  lambda-calculus  type-theory 

আমার জ্ঞানের মতে, তিনটি প্রধান প্রক্রিয়া বীজগণিত রয়েছে যা একযোগের আনুষ্ঠানিক মডেলগুলিতে এক বিস্তৃত গবেষণাকে অনুপ্রাণিত করে। এইগুলো: সিসিএস এবং ক্যালকুলাস উভয়ই রবিন মিলনার byππ\pi টনি হোয়ের সিএসপি এবং জন বার্গস্ট্রা এবং জ্যান উইলেম ক্লোপের এসিপি তিনটিই আজকের দিনে মনে হয় তাদের পক্ষে বেশ সক্রিয় অনুসরণ এবং বিপুল পরিমাণে গবেষণা …

21 logic  concurrency  process-algebras 

একটি উদ্রেককারী ধরণের বিবেচনা করুন যা নেস্টেড, তবে কঠোরভাবে ইতিবাচক স্থানে কিছু পুনরাবৃত্ত ঘটনা রয়েছে। উদাহরণস্বরূপ, নোডগুলির সাথে সসীম শাখাযুক্ত গাছ বাচ্চাদের সঞ্চয় করার জন্য জেনেরিক তালিকা ডেটা কাঠামো ব্যবহার করে। Inductive LTree : Set := Node : list LTree -> LTree. গাছগুলি এবং গাছের তালিকাগুলির উপরে পুনরাবৃত্তি করে এই …

21 logic  coq  type-theory  recursion  proof-assistants 

আমি শিখছি অটোমেটেড উপপাদ্য প্রতিপাদন / শ্রীমতি solvers / প্রুফ সহায়ক নিজেকে দ্বারা এবং প্রক্রিয়া সম্পর্কে প্রশ্ন, শুরু একটি সিরিজ পোষ্ট এখানে । প্রাসঙ্গিক স্বয়ংক্রিয় উপপাদকগুলি কোনটি? আমি থিওরেম প্রোভার্সের একটি পর্যালোচনা পেয়েছি এটি কি এখনও বর্তমান? কোনটি এখনও খুব সক্রিয়, অর্থাৎ কোনটি বর্তমানে এটি তৈরি করা গোষ্ঠীর বাইরে ব্যবহৃত …

20 logic  automated-theorem-proving  proof-assistants 

আমি জানতে চাই যে সর্বজনীন- প্রকার : a একটি উপ-প্রকার, বা বিশেষ ক্ষেত্রে, একই স্বাক্ষর সহ অস্তিত্বযুক্ত-পরিমাণযুক্ত :TaTaT_aTa=∀X:{a∈X,f:X→{T,F}}Ta=∀X:{a∈X,f:X→{T,F}}T_a = \forall X: \left\{ a\in X,f:X→\{T, F\} \right\}TeTeT_eTe=∃X:{a∈X,f:X→{T,F}}Te=∃X:{a∈X,f:X→{T,F}}T_e = \exists X: \left\{ a\in X,f:X→\{T, F\} \right\} আমি "হ্যাঁ" বলব: যদি কিছু "সমস্ত এক্স" এর জন্য সত্য হয় ( ), তবে এটি অবশ্যই …

20 logic  type-theory  typing 

আমি সম্প্রতি বৈপরীত্য দ্বারা প্রমাণের বৈধতা সম্পর্কে চিন্তা ছিল। আমি গত কয়েকদিন ধরে স্বজ্ঞাত যুক্তি এবং গডেলের উপপাদ্যগুলিতে জিনিসগুলি পড়েছি তা দেখার জন্য তারা আমার প্রশ্নের উত্তর দেয় কিনা would এই মুহুর্তে এখনও আমার কাছে দীর্ঘসূত্রতা রয়েছে (সম্ভবত আমি যে নতুন উপাদান পড়েছি তার সাথে সম্পর্কিত) এবং কিছু উত্তর পাওয়ার …

19 logic  first-order-logic  propositional-logic  incompleteness 

ডি মরগানের আইন প্রায়শই কম্পিউটার সায়েন্স কোর্সের জন্য একটি প্রারম্ভিক গণিতে প্রবর্তিত হয় এবং আমি প্রায়শই এটিকে AND থেকে OR এর কাছে বিবৃতি ঘুরিয়ে দেওয়ার পদ হিসাবে দেখি neg এটি কেবল সত্যের টেবিলগুলি স্মরণ করার পরিবর্তে কেন কাজ করে তার জন্য আরও স্বজ্ঞাত ব্যাখ্যা রয়েছে? আমার কাছে এটি কালো যাদু …

19 logic  discrete-mathematics  didactics 

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

18 logic  reference-request  terminology  type-theory 

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

18 logic  constraint-programming  prolog  logic-programming 

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

17 logic  type-theory  coq  proof-assistants 

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

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

xorগেট, এখন আমার কেবল 4 টি nandগেট ব্যবহার করে এই গেটটি তৈরি করা দরকার a b out 0 0 0 0 1 1 1 0 1 1 1 0 xor = (a and not b) or (not a and b), যা A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} আমি উত্তরটি জানি তবে সূত্র থেকে গেটের চিত্রটি …

17 logic  boolean-algebra 

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

16 logic  proof-assistants  automated-theorem-proving  smt-solvers 

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

16 machine-learning  algorithms  pattern-recognition  logic