دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Andrea Cantini سری: Studies in Logic and the Foundations of Mathematics 135 ISBN (شابک) : 0444823069, 9780080535586 ناشر: Elsevier سال نشر: 1996 تعداد صفحات: 474 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Logical Frameworks for Truth and Abstraction: An Axiomatic Study به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چارچوب های منطقی برای حقیقت و انتزاع: یک مطالعه بدیهی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب سیستمهای منطقی را پوشش میدهد که بهعنوان بدون نوع یا خودارجاعی شناخته میشوند. اینها به طور سنتی از هرگونه بحث در مورد پارادوکس های منطقی و معنایی ناشی می شوند. با این حال، این جلد خاص مربوط به پارادوکس ها نیست، بلکه به بررسی سیستم های بدون نوع می پردازد تا نشان دهد: (1) نظریه های غنی از خود کاربرد وجود دارد، که هم شامل عملیات و هم حقیقت می شود که می تواند به عنوان پایه ای برای نظریه مالکیت و معناشناسی رسمی؛ (2) این نظریه ها دیدگاه جدیدی را در مورد موضوعات کلاسیک، مانند تعاریف استقرایی و ریاضیات اعتباری ارائه می دهند. (iii) آنها به ویژه در مورد کاربردها امیدوارکننده هستند.
تحقیقات ناشی از پارادوکس ها به تدریج به جریان اصلی منطق ریاضی نزدیک تر شده و در بیست سال گذشته بسیار برجسته تر شده است. تعدادی از پیشرفتها، تکنیکها و نتایج قابل توجهی کشف شدهاند.
دانشمندان، دانشجویان و محققان متوجه خواهند شد که این کتاب شامل یک مرور کلی از تمام تحقیقات مرتبط در این زمینه است.
The book covers logical systems known as type-free or self-referential . These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.
Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.
Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.