جستجوي پيشرفته | کتابخانه مجازی الفبا

ترجمه ماشینی: Essentials of Symbolic Logic مقدمه ای مختصر و واضح برای موضوع است. این کتاب بر منطق جمله و منطق محمول تمرکز دارد و زمینه کاملی در راهبردهای اشتقاق در هر دو فراهم می کند. فصل آخر یک مرور مختصر از سایر رویکردها ارائه می دهد.

ترجمه ماشینی: این مقدمه جامع مبانی منطق نمادین را به وضوح، سیستماتیک و به سبکی ساده و قابل دسترس برای خوانندگان ارائه می دهد. هر فصل، یا واحد، به «گزیده‌های» کوچکی تقسیم می‌شود که به راحتی قابل درک است که زبان‌آموزان را قادر می‌سازد تا گام به گام بر مطالب تسلط پیدا کنند، نه اینکه با انبوهی از اطلاعات تحت پوشش خیلی سریع غرق شوند. این کتاب توضیحات بسیار دقیقی در مورد روش ها و تکنیک ها ارائه می دهد و با این اعتقاد نوشته شده است که هر کسی می تواند به محتوای آن تسلط کامل داشته باشد. یک سازمان چهار بخشی شامل منطق جمله ای، منطق محمولی مونادیک، منطق محمولی رابطه ای و واحدهای اعتباری اضافی است که به روش های جایگزین منطق و موضوعات پیشرفته تر نگاه می کنند. برای افرادی که علاقه مند به مطالعه رسمی منطق هستند.

ترجمه ماشینی: مقدمه ای واضح، جامع و متوسط به زبان های منطقی، کاربردهای منطق نمادین در فیزیک، ریاضیات، زیست شناسی.

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

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

ترجمه ماشینی: Logic With Trees مقدمه ای جدید و بدیع برای منطق رسمی مدرن است. این شامل بحث هایی در مورد مسائل فلسفی مانند حقیقت، شرطی ها و منطق مدی، ارائه مطالب رسمی با وضوح، و ترجیح توضیحات و استدلال های غیررسمی به توسعه سختگیرانه ترسناک است. مثال‌ها و تمرین‌های کار شده، مبتدیان را در کتاب راهنمایی می‌کند، با پاسخ به تمرین‌های انتخابی که خوانندگان را قادر می‌سازد تا پیشرفت خود را بررسی کنند. منطق با درختان دانش‌آموزان را با: توضیح کامل و واضح از سیستم درخت حقیقت برای منطق مرتبه اول تجهیز می‌کند. اهمیت منطق و ارتباط آن با بسیاری از رشته های مختلف؛ مهارت‌های درک تکنیک‌های استدلال رسمی پیچیده لازم برای کشف متالوژیک پیچیده؛ توانایی مخالفت با این ادعا که استدلال "معمولی" به خوبی توسط منطق مرتبه اول رسمی نشان داده می شود.