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