نرم افزار: سیستم ها: محاسبات علمی

ریاضیات مدالیته

Mathematics of modality

دانلود کتاب Mathematics of modality (به فارسی: ریاضیات مدالیته) نوشته شده توسط «Robert Goldblatt»

اطلاعات کتاب ریاضیات مدالیته

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: CSLI Publications

نویسنده: Robert Goldblatt

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1993

تعداد صفحه: 288

حجم کتاب: 12 مگابایت

کد کتاب: 1881526240 , 9781881526247 , 1881526232 , 9781881526230

نوبت چاپ: 1

توضیحات کتاب ریاضیات مدالیته

منطق مدال مطالعه روش‌ها است – عباراتی که ادعاهای مربوط به صدق گزاره‌ها را واجد شرایط می‌سازد – مانند عبارات زبان معمولی که لزوماً، احتمالاً شناخته شده/باید/باید باشد و غیره، و عبارات محاسباتی یا ریاضی انگیزه‌ای مانند قابل اثبات، در حالت بعدی یا پس از پایان محاسبات. مطالعه روش‌ها از دوران باستان آغاز شده است، اما در سه دهه اخیر، از زمان معرفی روش‌های معناشناسی کریپکی، به طور فعال دنبال شده است و اکنون بر طیف گسترده‌ای از رشته‌ها، از جمله فلسفه زبان و زبان‌شناسی (ممکن است) معناشناسی کلمات برای زبان طبیعی)، ریاضیات سازنده (منطق شهودی)، علوم کامپیوتر نظری (منطق پویا، منطق های زمانی و دیگر منطق ها برای همزمانی)، و نظریه مقوله (معناشناسی شیف). این جلد تعدادی از مقالات نویسنده در مورد منطق مدال را گردآوری می کند، که با کار او در مورد دوگانگی بین مدهای جبری و نظری مجموعه ها شروع می شود، و شامل دو مقاله جدید، یکی در مورد قواعد استنتاج بی نهایت، و دیگری در مورد نتایج اخیر در رابطه بین منطق مودال و منطق مرتبه اول مقاله دیگری در مورد “روش هنکین” در اثبات کامل بودن به طور قابل توجهی گسترش یافته است تا کاربردهای جدیدی ارائه دهد. مقالات اضافی به منطق کوانتومی، منطق اثبات‌پذیری، منطق زمانی فضازمان نسبیتی، مدالیته‌ها در نظریه توپوس و منطق برنامه‌ها مربوط می‌شوند.

Modal logic is the study of modalities – expressions that qualify assertions about the truth of statements – like the ordinary language phrases necessarily, possibly, it is known/believed/ought to be, etc., and computationally or mathematically motivated expressions like provably, at the next state, or after the computation terminates. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades, since the introduction of the methods of Kripke semantics, and now impacts on a wide range of disciplines, including the philosophy of language and linguistics (‘possible words’ semantics for natural language), constructive mathematics (intuitionistic logic), theoretical computer science (dynamic logic, temporal and other logics for concurrency), and category theory (sheaf semantics). This volume collects together a number of the author’s papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic. Another paper on the ‘Henkin method’ in completeness proofs has been substantially extended to give new applications. Additional articles are concerned with quantum logic, provability logic, the temporal logic of relativistic spacetime, modalities in topos theory, and the logic of programs.

دانلود کتاب «ریاضیات مدالیته»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

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