دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Extensions of first order logic
دانلود کتاب پسوندهای منطق مرتبه اول
مشخصات کتاب
Extensions of first order logic
ویرایش:
نویسندگان: Maria Manzano
سری: Cambridge Tracts in Theoretical Computer Science
ISBN (شابک) : 0521354358, 2402452560
ناشر: Cambridge University Press
سال نشر: 1996
تعداد صفحات: 410
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 72,000
در صورت تبدیل فایل کتاب Extensions of first order logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پسوندهای منطق مرتبه اول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پسوندهای منطق مرتبه اول
منطق کلاسیک در زمینههای مختلف علوم کامپیوتر، هوش مصنوعی، ریاضیات، فلسفه و زبانشناسی ناکافی است. این مقدمهای است بر توسعههای منطق مرتبه اول، بر اساس این اصل که منطق مرتبسازیهای متعدد (MSL) چارچوبی یکپارچه فراهم میکند که در آن، به عنوان مثال، منطق مرتبه دوم، نظریه نوع، منطقهای مدال و پویا و MSL قرار میگیرد. خود هدف دو مورد است: فقط یک قضیه اثبات کننده مورد نیاز است. با قرض گرفتن آنها از MSL می توان از اثبات ویژگی های فراخواص محاسبات مختلف موجود اجتناب کرد. برای اینکه کتاب در دسترس خوانندگان رشتههای مختلف باشد، ضمن حفظ دقت، مؤلف شواهد گام به گام مفصل را ارائه کرده است، از استدلالهای دشوار اجتناب میکند و به طور مستمر با مثالهایی به مطالب انگیزه میدهد. در نتیجه این می تواند به عنوان مرجع، برای خودآموزی یا برای دوره های تحصیلات تکمیلی سال اول استفاده شود
توضیحاتی درمورد کتاب به خارجی
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses
![Introduction to Indo-European Linguistics [Complete]](https://books.google.com/books/content/images/frontcover/Gxq540du26oC?w=250&usc=0)
