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

চতুর্থাংশ 1। আমরা কখন বলতে পারি যে দুটি প্রোগ্রাম (কিছু প্রোগ্রামিং ভাষায় সি ++ এর মতো লেখা) আলাদা হয়? প্রথম চূড়ান্তভাবে বলা হয় যে দুটি প্রোগ্রাম সমান হয় যদি সেগুলি অভিন্ন হয়। অন্য চূড়ান্ত বলতে দুটি প্রোগ্রাম সমান হয় যদি তারা একই ফাংশন গণনা করে (বা একই পরিবেশে একই পর্যবেক্ষণযোগ্য …

15 pl.programming-languages  semantics  equivalence 

বলুন যে আমি হোমোপি টাইপ তত্ত্বে কাজ করি এবং আমার পড়াশোনার একমাত্র বিষয়গুলি প্রচলিত বিভাগসমূহ categories সমতুল্যতা এখানে ফ্যান্ট্যাক্টর এবং যা বিভাগগুলির সমতা প্রদান করে ime । প্রাকৃতিক আইসোর্ফিজমগুলি রয়েছে এবং যাতে এই ফান্টেক্টর এবং "বিপরীত" ফান্ট্যাক্টর থাকে ইউনিট ফান্টারে রূপান্তরিত হয়।এফ: ডি ⟶ সিএফ:ডি⟶সিF:{\bf D}\longrightarrow{\bf C}জি : সি ⟶ …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

একটি রঙিন গ্রাফ টিপল হিসাবে বর্ণনা করা যেতে পারে (G,c)(G,c)(G,c) কোথায় GGG একটি গ্রাফ এবং c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}রঙ হয়। দুটি রঙিন গ্রাফ(G,c)(G,c)(G,c) এবং (H,d)(H,d)(H,d) আইসোমরফিজম উপস্থিত থাকলে আইসোমরফিক বলে থাকে π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H) যেমন রঙ মানা হয়, অর্থাত্‍ c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v)) সবার জন্য v∈V(G)v∈V(G)v \in V(G)। …

9 terminology  graph-isomorphism  equivalence