مشخصات کتاب

A profile of mathematical logic

ویرایش:  
نویسندگان: DeLong. Howard  
سری:  
ISBN (شابک) : 9780486434759, 0486434753 
ناشر: Dover Publications 
سال نشر: 2004 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

کلمات کلیدی مربوط به کتاب نمایه ای از منطق ریاضی: منطق، نمادین و ریاضی

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

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

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

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

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

Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logic from ancient to modern times and compellingly examines the nature of logic and its philosophical implications. No prior knowledge of logic is necessary; readers need only an acquaintance with high school mathematics. The author emphasizes understanding, rather than technique, and focuses on such topics as the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic after more than 2,000 years of traditional logic, the nature of the formal axiomatic method and the reasons for its use, and the main results of metatheory and their philosophic import. The treatment of the Gödel metatheorems is especially detailed and clear, and answers to the problems appear at the end.

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

کتاب های تصادفی

دانلود کتاب Soldiers of the Dragon: Chinese Armies 1500 BC–AD 1840

دانلود کتاب Frauen in Unternehmensberatungen: Eine empirische Studie zu geschlechtsspezifischen Anforderungen und Strategien

دانلود کتاب Minding the Close Relationship: A Theory of Relationship Enhancement

دانلود کتاب Εκθέσεις, Β΄ Γυμνασίου

دانلود کتاب The Technology Fallacy: How People Are the Real Key to Digital Transformation