isomorphism
سخنرانی در مورد ایزومورفیسم کاری-هاوارد
دانلود کتاب Lectures on the Curry-Howard Isomorphism (به فارسی: سخنرانی در مورد ایزومورفیسم کاری-هاوارد) نوشته شده توسط «Morten Heine Sorensen – Pawel Urzyczyn» اطلاعات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Morten Heine Sorensen – Pawel Urzyczyn زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 457 حجم کتاب: 4 مگابایت کد کتاب: 0444520775 , 9780444520777 , 9780080478920 توضیحات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد ایزومورفیسم Curry-Howard مطابقت شگفت انگیزی را بین سیستم های منطق رسمی که در نظریه اثبات و محاسبات محاسباتی در…
پیچیدگی محاسباتی مسائل هم ارزی و ایزومورفیسم
دانلود کتاب The Computational Complexity of Equivalence and Isomorphism Problems (به فارسی: پیچیدگی محاسباتی مسائل هم ارزی و ایزومورفیسم) نوشته شده توسط «Thomas Thierauf (eds.)» اطلاعات کتاب پیچیدگی محاسباتی مسائل هم ارزی و ایزومورفیسم موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Thomas Thierauf (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 135 حجم کتاب: 1 مگابایت کد کتاب: 3540410325 , 9783540410324 نوبت چاپ: 1 توضیحات کتاب پیچیدگی محاسباتی مسائل هم ارزی و ایزومورفیسم یک مدل محاسباتی چارچوبی برای انجام محاسبات بر اساس قوانین خاص مشخص شده…
گروه ایزومورفیسم یک گروه آبلی
دانلود کتاب Group of isomorphism of an Abelian group (به فارسی: گروه ایزومورفیسم یک گروه آبلی) نوشته شده توسط «Miller G.A.» اطلاعات کتاب گروه ایزومورفیسم یک گروه آبلی موضوع اصلی: تقارن و گروه نوع: کتاب الکترونیکی نویسنده: Miller G.A. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1930 تعداد صفحه: 4 حجم کتاب: 1 مگابایت دانلود کتاب «گروه ایزومورفیسم یک گروه آبلی»
سخنرانی در مورد ایزومورفیسم کاری-هاوارد
دانلود کتاب Lectures on the Curry-Howard isomorphism (به فارسی: سخنرانی در مورد ایزومورفیسم کاری-هاوارد) نوشته شده توسط «Morten Heine Sørensen M.Sc Ph.D – Pawel Urzyczyn prof. dr hab.» اطلاعات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Morten Heine Sørensen M.Sc Ph.D – Pawel Urzyczyn prof. dr hab. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 457 حجم کتاب: 38 مگابایت کد کتاب: 0444520775 , 9780444520777 , 9780080478920 نوبت چاپ: 1 توضیحات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد ایزومورفیسم Curry-Howard مطابقت شگفت انگیزی را…
مسئله ایزومورفیسم در گروه های کوکستر
دانلود کتاب The isomorphism problem in Coxeter groups (به فارسی: مسئله ایزومورفیسم در گروه های کوکستر) نوشته شده توسط «Patrick Bahls» اطلاعات کتاب مسئله ایزومورفیسم در گروه های کوکستر موضوع اصلی: تقارن و گروه نوع: کتاب الکترونیکی ناشر: Imperial College Press; Distributed by World Scientific نویسنده: Patrick Bahls زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 189 حجم کتاب: 3 مگابایت کد کتاب: 1860945546 , 9781860945540 , 9781860947193 نوبت چاپ: illustrated edition توضیحات کتاب مسئله ایزومورفیسم در گروه های کوکستر این کتاب اولین کتابی است که مروری جامع بر تکنیک ها و…
سخنرانی در مورد ایزومورفیسم کاری-هاوارد
دانلود کتاب Lectures on the Curry-Howard Isomorphism (به فارسی: سخنرانی در مورد ایزومورفیسم کاری-هاوارد) نوشته شده توسط «Morten Heine Sørensen M.Sc Ph.D – Pawel Urzyczyn prof. dr hab.» اطلاعات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Morten Heine Sørensen M.Sc Ph.D – Pawel Urzyczyn prof. dr hab. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 443 حجم کتاب: 35 مگابایت کد کتاب: 9780444520777 , 0444520775 نوبت چاپ: 1 توضیحات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد ایزومورفیسم Curry-Howard مطابقت شگفت انگیزی را بین سیستم…
ایزومورفیسم ویگنر-ویل برای مکانیک کوانتومی در گروه های دروغ
دانلود کتاب Wigner-Weyl isomorphism for quantum mechanics on Lie groups (به فارسی: ایزومورفیسم ویگنر-ویل برای مکانیک کوانتومی در گروه های دروغ) نوشته شده توسط «Mukunda M. – Marmo G. – Zampini A.» اطلاعات کتاب ایزومورفیسم ویگنر-ویل برای مکانیک کوانتومی در گروه های دروغ موضوع اصلی: فیزیک کوانتوم نوع: کتاب الکترونیکی نویسنده: Mukunda M. – Marmo G. – Zampini A. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 21 حجم کتاب: 1 مگابایت توضیحات کتاب ایزومورفیسم ویگنر-ویل برای مکانیک کوانتومی در گروه های دروغ ایزومورفیسم Wigner-Weyl برای مکانیک کوانتومی در یک Liegroup G…
مسئله ایزومورفیسم در گروه های کوکستر
دانلود کتاب Isomorphism Problem in Coxeter Groups (به فارسی: مسئله ایزومورفیسم در گروه های کوکستر) نوشته شده توسط «Patrick Bahls» اطلاعات کتاب مسئله ایزومورفیسم در گروه های کوکستر موضوع اصلی: تقارن و گروه نوع: کتاب الکترونیکی ناشر: Imperial College Press نویسنده: Patrick Bahls زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 192 حجم کتاب: 12 مگابایت کد کتاب: 9781860945540 , 1860945546 نوبت چاپ: illustrated edition توضیحات کتاب مسئله ایزومورفیسم در گروه های کوکستر “این کتاب اولین کتابی است که مروری جامع از تکنیک ها و ابزارهایی دارد که در حال حاضر در…