ورود / ثبت نام
0 موارد / 0 تومان
منو
دسته‌بندی کتاب‌ها
  • کتاب الکترونیکی
  • داستان
  • تجارت
  • نرم افزار: سیستم ها: محاسبات علمی
  • برنامه نویسی
  • سرمایه گذاری
  • باطنی، رازآلود
  • سیاست
  • مهندسی
  • علم
  • انسان شناسی: تکامل
  • کتاب های خودآموز
  • سایر علوم اجتماعی
  • کامپیوترها
  • تاریخ، خاطرات، زندگینامه
  • دارو
  • مدیریت
  • اقتصاد ریاضی
  • سایر کتاب‌ها
  • فروشگاه
  • درباره ما
  • پیگیری سفارش
  • تماس با ما
-72%
برای بزرگنمایی کلیک کنید
خانه علم دانلود کتاب Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics
دانلود کتاب AI Techniques for Game Programming 36,000 تومان 10,000 تومان
بازگشت به کتاب‌ها
دانلود کتاب Primary Games: Experiential Learning Activities for Teaching Children K-8 36,000 تومان 10,000 تومان

دانلود کتاب Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics

36,000 تومان 10,000 تومان

شیوها، بازی‌ها و تکمیل‌های مدل: رویکردی مقوله‌ای به منطق‌های گزاره‌ای غیر کلاسیک


موضوع اصلی علوم (عمومی)
نوع کالا کتاب الکترونیکی
ناشر Springer Netherlands
تعداد صفحه 245
حجم فایل 8.49 مگابایت
کد کتاب 940159936X , 9789401599368
نوبت چاپ 1
نویسنده

Marek Zawadowski, Silvio Ghilardi

زبان

انگلیسی

فرمت

PDF

سال انتشار

2002

مطلب پیشنهادی: با پول کتاب در ایران چی میشه خرید؟
در صورت نیاز به تبدیل فایل به فرمت‌های PDF، EPUB، AZW3، MOBI و یا DJVU می‌توانید به پشتیبان اطلاع دهید تا در صورت امکان، فایل مورد نظر را تبدیل نمایند. سایت بَلیان دارای تخفیف پلکانی است، یعنی با افزودن کتاب بیشتر به سبدخرید، قیمت آن برای شما کاهش می‌یابد. جهت مشاهده درصد تخفیف‌ها بر روی «جدول تخفیف پلکانی» در پایین کلیک نمایید. جهت یافتن سایر کتاب‌های مشابه، از منو جستجو در بالای سایت استفاده نمایید.
شما می‌توانید با هر 1000 تومان خرید، ۱ شانس شرکت در قرعه‌کشی کتابخانه دیجیتال بلیان دریافت کنید و شانس خود را برای برنده شدن جوایز هیجان انگیز امتحان کنید. «شرایط شرکت در قرعه‌کشی»

جدول کد تخفیف

با افزودن چه تعداد کتاب به سبد‌خرید، چند‌ درصد تخفیف شامل آن خواهد شد؟ در این جدول پاسخ این سوال را خواهید یافت. برای مثال: اگر بین ۳ الی ۵ کتاب را در سبد خرید خود قرار دهید، ۲۵ درصد تخفیف شامل سبد‌خرید شما خواهد شد.
تعداد کتاب درصد تخفیف قیمت کتاب
1 بدون تخفیف 10,000 تومان
2 20 درصد 8,000 تومان
3 الی 5 25 درصد 7,500 تومان
6 الی 10 30 درصد 7,000 تومان
11 الی 20 35 درصد 6,500 تومان
21 الی 30 40 درصد 6,000 تومان
31 الی 40 45 درصد 5,500 تومان
41 الی 50 50 درصد 5,000 تومان
51 الی 70 55 درصد 4,500 تومان
71 الی 100 60 درصد 4,000 تومان
101 الی 150 65 درصد 3,500 تومان
151 الی 200 70 درصد 3,000 تومان
201 الی 300 75 درصد 2,500 تومان
301 الی 500 80 درصد 2,000 تومان
501 الی 1000 85 درصد 1,500 تومان
1001 الی 10000 90 درصد 1,000 تومان
جدول تخفیف پلکانی
  • توضیحات
  • نظرات (0)
توضیحات

This book is an example of fruitful interaction between (non-classical) propo­ sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model­ completions for equational theories arising from propositional logics (such as the theory of Heyting algebras and various kinds of theories related to proposi­ tional modal logic ). The existence of model-completions turns out to be related to proof-theoretic facts concerning interpretability of second order propositional logic into ordinary propositional logic through the so-called ‘Pitts’ quantifiers’ or ‘bisimulation quantifiers’. On the other hand, the book develops a large number of topics concerning the categorical structure of finitely presented al­ gebras, with related applications to propositional logics, both standard (like Beth’s theorems) and new (like effectiveness of internal equivalence relations, projectivity and definability of dual connectives such as difference). A special emphasis is put on sheaf representation, showing that much of the nice categor­ ical structure of finitely presented algebras is in fact only a restriction of natural structure in sheaves. Applications to the theory of classifying toposes are also covered, yielding new examples. The book has to be considered mainly as a research book, reporting recent and often completely new results in the field; we believe it can also be fruitfully used as a complementary book for graduate courses in categorical and algebraic logic, universal algebra, model theory, and non-classical logics. 1.


ترجمه فارسی (ترجمه ماشینی)

این کتاب نمونه ای از تعامل ثمربخش بین منطق شناسی (غیر کلاسیک) و نظریه مدل (کلاسیک) است که به دلیل منطق مقوله ای امکان پذیر شد. هدف اصلی آن بررسی وجود تکمیل‌های مدل برای نظریه‌های معادله‌ای برخاسته از منطق‌های گزاره‌ای (مانند نظریه جبر‌های هیتینگ و انواع مختلف نظریه‌های مرتبط با منطق مدال گزاره‌ای) است. معلوم می‌شود که وجود تکمیل‌های مدل به حقایق اثباتی-نظری مربوط به تفسیرپذیری منطق گزاره‌ای مرتبه دوم به منطق گزاره‌ای معمولی از طریق کمی‌سازهای به اصطلاح «پیتس» یا «کمی‌سازهای دوشبیه‌سازی» مربوط می‌شود. از سوی دیگر، کتاب تعداد زیادی از موضوعات مربوط به ساختار طبقه‌بندی جبرهای ارائه‌شده محدود را با کاربردهای مرتبط با منطق گزاره‌ای، هم استاندارد (مانند قضایای بث) و هم جدید (مانند اثربخشی روابط هم ارزی داخلی، طرح‌ریزی و تعریف‌پذیری) توسعه می‌دهد. از اتصالات دوگانه مانند تفاوت). تأکید ویژه‌ای بر نمایش شیف است، و نشان می‌دهد که بسیاری از ساختار طبقه‌بندی خوب جبرهای ارائه‌شده محدود در واقع تنها محدودیت ساختار طبیعی در قفسه‌ها است. کاربردهای تئوری طبقه‌بندی توپوزها نیز پوشش داده شده‌اند و نمونه‌های جدیدی به دست می‌آیند. این کتاب باید عمدتاً به عنوان یک کتاب تحقیقاتی در نظر گرفته شود که نتایج اخیر و اغلب کاملاً جدید را در این زمینه گزارش می کند. ما معتقدیم که می تواند به عنوان یک کتاب مکمل برای دوره های تحصیلات تکمیلی در منطق مقوله ای و جبری، جبر جهانی، نظریه مدل، و منطق غیر کلاسیک مفید باشد. 1.

نظرات (0)

نقد و بررسی‌ها

هیچ دیدگاهی برای این محصول نوشته نشده است.

اولین کسی باشید که دیدگاهی می نویسد “دانلود کتاب Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics” لغو پاسخ

برای فرستادن دیدگاه، باید وارد شده باشید.

محصولات مرتبط

-72%

دانلود کتاب Rationality in Extensive Form Games

36,000 تومان 10,000 تومان
عقلانیت در بازی های فرم گسترده
موضوع اصلی علوم (عمومی)
نوع کالا کتاب الکترونیکی
ناشر Springer US
تعداد صفحه 242 / 245
حجم فایل 6.66 مگابایت
کد کتاب 1475733917 , 9781475733914
نوبت چاپ 1
افزودن به سبد خرید
-72%

دانلود کتاب Venus Envy: Power Games, Teenage Vixens, and Million-Dollar Egos on the Women's Tennis Tour

36,000 تومان 10,000 تومان
Venus Envy: Power Games، Teenage Vixens و Egos میلیون دلاری در تور تنیس زنان
موضوع اصلی جامعه، سیاست و فلسفه
نوع کالا کتاب الکترونیکی
ناشر Harper
تعداد صفحه 243
حجم فایل 974 کیلوبایت
کد کتاب 0061669997 , 9780061669996
افزودن به سبد خرید
-72%

دانلود کتاب Lectures on the Theory of Games

36,000 تومان 10,000 تومان
سخنرانی در مورد تئوری بازی ها
موضوع اصلی علوم (عمومی)
نوع کالا کتاب الکترونیکی
ناشر Princeton University Press
تعداد صفحه 118
حجم فایل 972 کیلوبایت
کد کتاب 1400829569 , 9781400829569
افزودن به سبد خرید
-72%

دانلود کتاب Game Theory and Mutual Misunderstanding: Scientific Dialogues in Five Acts

36,000 تومان 10,000 تومان
نظریه بازی و سوء تفاهم متقابل: گفتگوهای علمی در پنج عمل
موضوع اصلی علوم (عمومی)
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 248 / 255
حجم فایل 6.12 مگابایت
کد کتاب 354026812X , 9783540268123
نوبت چاپ 1
افزودن به سبد خرید
-72%

دانلود کتاب Mathematical Research for Blockchain Economy: 2nd International Conference MARBLE 2020, Vilamoura, Portugal

36,000 تومان 10,000 تومان
تحقیقات ریاضی برای اقتصاد بلاک چین: دومین کنفرانس بین المللی MARBLE 2020، ویلامورا، پرتغال
موضوع اصلی علوم (عمومی)
نوع کالا کتاب الکترونیکی
ناشر Springer International Publishing;Springer
تعداد صفحه 183
حجم فایل 7.22 مگابایت
کد کتاب 3030533565 , 9783030533564
نوبت چاپ اولین ویرایش
افزودن به سبد خرید
-72%

دانلود کتاب Game Theory and Mutual Misunderstanding: Scientific Dialogues in Five Acts

36,000 تومان 10,000 تومان
نظریه بازی و سوء تفاهم متقابل: گفتگوهای علمی در پنج عمل
موضوع اصلی علوم (عمومی)
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 248 / 259
حجم فایل 10.73 مگابایت
کد کتاب 3540222952 , 9783540222958
نوبت چاپ 1
افزودن به سبد خرید
-72%

دانلود کتاب Blockchain and Web 3.0: Social, Economic, and Technological Challenges (Routledge Studies in Science, Technology and Society)

36,000 تومان 10,000 تومان
بلاک چین و وب 3.0: چالش های اجتماعی، اقتصادی و فناوری (مطالعات روتلج در علم، فناوری و جامعه)
موضوع اصلی جامعه، سیاست و فلسفه
نوع کالا کتاب الکترونیکی
ناشر Routledge
تعداد صفحه 334
حجم فایل 3.51 مگابایت
کد کتاب 0367139847 , 9780367139841
نوبت چاپ 1
افزودن به سبد خرید
-72%

دانلود کتاب Lectures on the Theory of Games

36,000 تومان 10,000 تومان
سخنرانی در مورد تئوری بازی ها
موضوع اصلی علوم (عمومی)
نوع کالا کتاب الکترونیکی
ناشر Princeton University Press
تعداد صفحه 120 / 118
حجم فایل 412 کیلوبایت
کد کتاب 1400829569 , 9781400829569
افزودن به سبد خرید

کتابخانه دیجیتال بلیان، یک سامانه معرفی کتاب است که کلیه کتاب‌ها و مقالات موجود در اینترنت را به شما معرفی می‌کند و به شما کمک می‌کند در زمینه‌های مختلف از وجود کتاب‌ها و مقالات مطلع شوید. در صورتی که انتشار آن کتاب مانعی نداشته باشد تلاش میکنیم لینک دانلود کتاب را هم در اختیار کاربران قرار دهیم. سایت بلیان تابع قوانین جمهوری اسلامی ایران است و فقط کتاب‌هایی در سایت منتشر می‌شوند که خلاف قوانین جمهوری اسلامی ایران نباشند. در صورتی که نویسنده یا ناشر کتابی هستند که در سایت بلیان معرفی شده است، از طریق بخش تماس با ما می‌توانید درخواست حذف کتاب از سایت را ثبت نمایید.

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

مشاهده مجوز های سایت
  • نحوه بازکردن فایل کتاب
  • پیگیری سفارش ها
  • رویه بازگردانی محصول
  • پاسخ به سوالات متداول
  • قوانین و مقررات
  • تماس با ما
  • منو
  • دسته‌بندی ها
  • کتاب الکترونیکی
  • داستان
  • تجارت
  • نرم افزار: سیستم ها: محاسبات علمی
  • برنامه نویسی
  • سرمایه گذاری
  • باطنی، رازآلود
  • سیاست
  • مهندسی
  • علم
  • انسان شناسی: تکامل
  • کتاب های خودآموز
  • سایر علوم اجتماعی
  • کامپیوترها
  • تاریخ، خاطرات، زندگینامه
  • دارو
  • مدیریت
  • اقتصاد ریاضی
  • سایر کتاب‌ها
  • فروشگاه
  • درباره ما
  • پیگیری سفارش
  • تماس با ما
  • ورود / ثبت نام
سبد خرید
بستن
فروشگاه
0 موارد سبد خرید
حساب کاربری من