ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

دانلود کتاب منطق تقلیل و جستجوی اثبات: نظریه اثبات ، معناشناسی و کنترل

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

مشخصات کتاب

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

دسته بندی: منطق
ویرایش:  
نویسندگان: ,   
سری: Oxford Logic Guides, 45 
ISBN (شابک) : 9780198526339, 0198526334 
ناشر: Oxford University Press, USA 
سال نشر: 2004 
تعداد صفحات: 227 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 36,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق تقلیل و جستجوی اثبات: نظریه اثبات ، معناشناسی و کنترل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق تقلیل و جستجوی اثبات: نظریه اثبات ، معناشناسی و کنترل

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


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

Drawing somewhat on the techniques and culture of philosophy, but mostly on those of mathematics and computing, Pyn (U. of Bath) and Ritter (U. of Birmingham) introduce reductive logic and proof-search. They argue that the reductive view of logic is at least as fundamental as the deductive view; identify some of the problems that must be addressed in order to provide a semantics of proof-searches of comparable value to the corresponding semantics of proof; and explain how to solve these problems in intuitionistic logic, which adequately models not only the logical but also the operational aspects of the reductive system. Most of the chapters have been published separately.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی