خرید و دانلود نسخه کامل کتاب Symbolic Logic
قیمت اصلی 61.500 تومان بود.34.000 تومانقیمت فعلی 34.000 تومان است.
تعداد فروش: 42
| عنوان فارسی |
منطق نمادین |
|---|---|
| عنوان اصلی | Symbolic Logic |
| ناشر | Palgrave Macmillan |
| نویسنده | Odysseus Makridis |
| ISBN | 3030673952, 9783030673956 |
| سال نشر | 2022 |
| زبان | English |
| تعداد صفحات | 493 |
| دسته | فلسفه |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مقدمه ای جامع از عناصر اساسی منطق نمادین استاندارد (کلاسیک) ارائه می دهد. موضوعات کلیدی تحت پوشش عبارتند از:
· ماهیت مشخصه و دامنه منطق به عنوان یک رشته
· ساخت یک مجموعه از زبان‌های رسمی با نام مشخص و مناسب برای ترجمه رسمی
· معنایی مدل‌ها
· ساخت رویه‌های تصمیم‌گیری
· اجرای ترتیبات اثبات-نظری مانند سیستم‌های استنتاج طبیعی و اثبات متوالی span>
این کتاب هم معناشناسی و هم نظریه اثبات جمله استاندارد (گزاره‌ای) را پوشش می‌دهد. منطق و منطق محمول (رتبه اول). سایر موضوعات تحت پوشش عبارتند از: تجزیه درختان، استخراج نمادهای جایگزین (به عنوان مثال، نماد لهستانی)، نظریه اثبات به سبک فیچ، سیستم های اثبات متوالی و درختی، مقایسه و تضاد با منطق شهودی، و ارائه مدل های منطق محمول. یک فصل کمکی در مورد عناصر نظریه مجموعه ها به راحتی در پایان قرار داده شده است و شامل بینش هایی در مورد سیستم سازی زرملو-فرانکل از نظریه مجموعه ها است. فلسفه منطق نیز مورد بررسی قرار می‌گیرد.
تمرین‌های متن دستورالعمل‌هایی را در مورد استقراء ریاضی برای ساخت فرمول، و تست‌هایی برای به خوبی شکل گیری نماد لهستانی، و کامل بودن عملکردی.
منطق نمادین خواندن ضروری برای همه است. دانشجویان فلسفه که دروس منطق رسمی سطح متوسط را می گذرانند و همچنین برای دانشجویان سخت کوش سال اول منطق جذاب خواهند بود. متن مملو از تمرین‌هایی در مورد ماشین‌های رسمی و جنبه‌های فلسفی منطق است.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.