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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A Study of Logics

دانلود کتاب مطالعه منطق

مشخصات کتاب

A Study of Logics

دسته بندی: منطق
ویرایش:  
نویسندگان: John P. Cleave  
سری: Oxford Logic Guides 
ISBN (شابک) : 0198532113, 9780198532118 
ناشر: Oxford University Press, USA 
سال نشر: 1992 
تعداد صفحات: 434 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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

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

در صورت تبدیل فایل کتاب A Study of Logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب مطالعه منطق

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

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

It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence. New and sometimes unorthodox treatments are given of the underlying principles and construction of many-valued logics, the logic of inexactness, effective logics, and modal logics. Throughout, numerous historical and philosophical remarks illuminate both the development of the subject and show the motivating influences behind its development. Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey of the field.