خرید و دانلود نسخه کامل کتاب Logic Without Gaps or Gluts: How to Solve the Paradoxes Without Sacrificing Classical Logic (Synthese Library, 458)
خرید و دانلود نسخه کامل کتاب Logic Without Gaps or Gluts: How to Solve the Paradoxes Without Sacrificing Classical Logic (Synthese Library, 458) قیمت اصلی 59.500 تومان بود.قیمت فعلی 32.000 تومان است.
بازگشت به محصولات
خرید و دانلود نسخه کامل کتاب Introduction to Formal Philosophy
خرید و دانلود نسخه کامل کتاب Introduction to Formal Philosophy قیمت اصلی 74.500 تومان بود.قیمت فعلی 47.000 تومان است.

خرید و دانلود نسخه کامل کتاب Symbolic Logic

قیمت اصلی 61.500 تومان بود.قیمت فعلی 34.000 تومان است.

تعداد فروش: 42





عنوان فارسی

منطق نمادین

عنوان اصلی Symbolic Logic
ناشر Palgrave Macmillan
نویسنده Odysseus Makridis
ISBN 3030673952, 9783030673956
سال نشر 2022
زبان English
تعداد صفحات 493
دسته فلسفه
فرمت کتاب pdf – قابل تبدیل به سایر فرمت ها
حجم فایل 5 مگابایت
توضیحات

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.

توضیحاتی در مورد کتاب



این کتاب مقدمه ای جامع از عناصر اساسی منطق نمادین استاندارد (کلاسیک) ارائه می دهد. موضوعات کلیدی تحت پوشش عبارتند از: 

·           ماهیت مشخصه و دامنه منطق به عنوان یک رشته

·           ساخت یک مجموعه از زبان‌های رسمی با نام مشخص و مناسب برای ترجمه رسمی

·           معنایی مدل‌ها

·           ساخت رویه‌های تصمیم‌گیری

·           اجرای ترتیبات اثبات-نظری مانند سیستم‌های استنتاج طبیعی و اثبات متوالی span>

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

تمرین‌های متن دستورالعمل‌هایی را در مورد استقراء ریاضی برای ساخت فرمول، و تست‌هایی برای به خوبی شکل گیری نماد لهستانی، و کامل بودن عملکردی.

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


نظرات (0)

نقد و بررسی‌ها

هنوز بررسی‌ای ثبت نشده است.

اولین کسی باشید که دیدگاهی می نویسد “خرید و دانلود نسخه کامل کتاب Symbolic Logic”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

Shipping & Delivery