دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematics of Modality
دانلود کتاب ریاضیات مدالیته
مشخصات کتاب
Mathematics of Modality
ویرایش: [1 ed.]
نویسندگان: Robert Goldblatt
سری: Center for the Study of Language and Information - CSLI Lecture Notes 43
ISBN (شابک) : 9781881526230, 9781881526247
ناشر: CSLI Publications
سال نشر: 1994
تعداد صفحات: 288
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 Mb
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب Mathematics of Modality به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات مدالیته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ریاضیات مدالیته
منطق مدال مطالعه روش‌ها است - عباراتی که ادعاهای مربوط به صدق گزاره‌ها را واجد شرایط می‌سازد - مانند عبارات زبان معمولی که لزوماً، احتمالاً شناخته شده/باید/باید باشد و غیره، و عبارات محاسباتی یا ریاضی انگیزه‌ای مانند قابل اثبات، در حالت بعدی یا پس از پایان محاسبات. مطالعه روش‌ها از دوران باستان آغاز شده است، اما در سه دهه اخیر، از زمان معرفی روش‌های معناشناسی کریپکی، به طور فعال دنبال شده است و اکنون بر طیف گسترده‌ای از رشته‌ها، از جمله فلسفه زبان و زبان‌شناسی (ممکن است) معناشناسی کلمات برای زبان طبیعی)، ریاضیات سازنده (منطق شهودی)، علوم کامپیوتر نظری (منطق پویا، منطق های زمانی و دیگر منطق ها برای همزمانی)، و نظریه مقوله (معناشناسی شیف). این جلد تعدادی از مقالات نویسنده در مورد منطق مدال را گردآوری می کند، که با کار او در مورد دوگانگی بین مدهای جبری و نظری مجموعه ها شروع می شود، و شامل دو مقاله جدید، یکی در مورد قواعد استنتاج بی نهایت، و دیگری در مورد نتایج اخیر در رابطه بین منطق مدال و منطق مرتبه اول مقاله دیگری در مورد "روش هنکین" در اثبات کامل بودن به طور قابل توجهی گسترش یافته است تا کاربردهای جدیدی ارائه دهد. مقالات اضافی به منطق کوانتومی، منطق اثبات‌پذیری، منطق زمانی فضازمان نسبیتی، مدالیته‌ها در نظریه توپوس و منطق برنامه‌ها مربوط می‌شوند.
توضیحاتی درمورد کتاب به خارجی
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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Simon Gray: Plays 4: Common Pursuit; Holy Terror; After Pilkington; Old Flames; They Never Slept
دانلود کتاب Die Schuldrechtsklausur II: Kernprobleme der gesetzlichen Schuldverhältnisse in der Fallbearbeitung
دانلود کتاب Der Berufseinstieg von Wirtschaftsakademikern: Eine sozialisationstheoretische Studie
دانلود کتاب Die Struktur des Auto Sacramental «Los Encantos de la Culpa» von Calderón. Antiker Mythos in christlicher Umprägung
