جستجوي پيشرفته | کتابخانه مجازی الفبا

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

ترجمه ماشینی: پین (U. of Bath) و Ritter (U. از بیرمنگام) با تکیه بر تکنیک‌ها و فرهنگ فلسفه، اما بیشتر از تکنیک‌های ریاضیات و محاسبات، منطق تقلیل‌دهنده و جستجوی اثبات را معرفی می‌کنند. آنها استدلال می کنند که دیدگاه تقلیل کننده منطق حداقل به اندازه دیدگاه قیاسی اساسی است. برخی از مشکلاتی را که باید به منظور ارائه معنایی از جست و جوهای اثباتی با ارزشی قابل مقایسه با معناشناسی اثبات متناظر مورد بررسی قرار گیرند، شناسایی کنید. و توضیح دهید که چگونه می توان این مسائل را در منطق شهودی حل کرد، که به اندازه کافی نه تنها جنبه های منطقی، بلکه همچنین جنبه های عملیاتی سیستم تقلیل را مدل می کند. اکثر فصول به صورت جداگانه منتشر شده است.

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