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

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

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 50
مبانی منطق نمادین [کتابشناسی انگلیسی]
نویسنده:
R.L. Simpson
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
Broadview Press,
کلیدواژه‌های اصلی :
چکیده :
ترجمه ماشینی: Essentials of Symbolic Logic مقدمه ای مختصر و واضح برای موضوع است. این کتاب بر منطق جمله و منطق محمول تمرکز دارد و زمینه کاملی در راهبردهای اشتقاق در هر دو فراهم می کند. فصل آخر یک مرور مختصر از سایر رویکردها ارائه می دهد.
منطق نمادین بخش اول: مباحث ابتدایی [کتابشناسی انگلیسی]
نویسنده:
Lewis Carroll (Charles Lutwidge Dodgson)
نوع منبع :
کتابشناسی(نمایه کتاب)
وضعیت نشر :
Macmillan,
کلیدواژه‌های اصلی :
درآمدی بر منطق نمادین و کاربردهای آن [کتاب انگلیسی]
نویسنده:
Rudolf Carnap (رودلف کارناپ)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Dover Publications,
چکیده :
ترجمه ماشینی: مقدمه ای واضح، جامع و متوسط به زبان های منطقی، کاربردهای منطق نمادین در فیزیک، ریاضیات، زیست شناسی.
منطق نمادین: نحو، معناشناسی و اثبات [کتاب انگلیسی]
نویسنده:
David Agler
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Rowman & Littlefield Publishers,
کلیدواژه‌های اصلی :
چکیده :
ترجمه ماشینی: مملو از مثال‌های بصری مفاهیم، قواعد اشتقاق و استراتژی‌های اثبات، این متن مقدماتی برای دانش‌آموزانی که تجربه قبلی در منطق ندارند ایده‌آل است. منطق نمادین: نحو، معناشناسی و اثبات دانش آموزان را با مفاهیم، تکنیک ها و موضوعات اساسی درگیر در استدلال قیاسی آشنا می کند. آگلر دانش آموزان را از طریق مبانی منطق نمادین با توضیح اصول اساسی دو سیستم کلاسیک، منطق گزاره ای و محمولی راهنمایی می کند. دانش آموزان ترجمه را هم از زبان رسمی به انگلیسی و هم از انگلیسی به زبان رسمی یاد خواهند گرفت. نحوه استفاده از درختان صدق و جداول صدق برای آزمایش گزاره ها برای ویژگی های منطقی. و چگونگی ساخت و استفاده استراتژیک از قوانین اشتقاق در اثبات. این متن این موضوع اغلب گیج کننده را با اثبات های مثال گام به گام، واژه نامه های فصلی از اصطلاحات کلیدی، صدها مسئله تکلیف و راه حل برای تمرین، و خواندن پیشنهادی بیشتر در دسترس تر می کند.
بررسی منطق نمادین [کتاب انگلیسی]
نویسنده:
Clarence Irving Lewis
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
University of California Press,
کلیدواژه‌های اصلی :
منطق نمادین و کاربردهای آن [کتاب انگلیسی]
نویسنده:
Hugh MacColl
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
BiblioLife,
کلیدواژه‌های اصلی :
چکیده :
ترجمه ماشینی: این یک بازتولید تاریخی قبل از 1923 است که برای کیفیت انتخاب شده است. تضمین کیفیت برای هر یک از این کتاب‌ها در تلاشی برای حذف کتاب‌های دارای نواقص معرفی‌شده توسط فرآیند دیجیتالی انجام شد. اگرچه ما بهترین تلاش را انجام داده‌ایم - ممکن است کتاب‌ها اشتباهات گاه به گاه داشته باشند که مانع تجربه خواندن نباشد. ما معتقدیم که این اثر از نظر فرهنگی مهم است و تصمیم گرفته‌ایم که کتاب را به عنوان بخشی از تعهد مستمر خود به حفظ آثار چاپی در سراسر جهان به چاپ برگردانیم.
منطق نمادین [کتاب انگلیسی]
نویسنده:
John Venn
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Macmillan and Co,
کلیدواژه‌های اصلی :
منطق با درختان: درآمدی بر منطق نمادین [کتاب انگلیسی]
نویسنده:
Colin Howson
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Routledge,
کلیدواژه‌های اصلی :
چکیده :
ترجمه ماشینی: Logic With Trees مقدمه ای جدید و بدیع برای منطق رسمی مدرن است. این شامل بحث هایی در مورد مسائل فلسفی مانند حقیقت، شرطی ها و منطق مدی، ارائه مطالب رسمی با وضوح، و ترجیح توضیحات و استدلال های غیررسمی به توسعه سختگیرانه ترسناک است. مثال‌ها و تمرین‌های کار شده، مبتدیان را در کتاب راهنمایی می‌کند، با پاسخ به تمرین‌های انتخابی که خوانندگان را قادر می‌سازد تا پیشرفت خود را بررسی کنند. منطق با درختان دانش‌آموزان را با: توضیح کامل و واضح از سیستم درخت حقیقت برای منطق مرتبه اول تجهیز می‌کند. اهمیت منطق و ارتباط آن با بسیاری از رشته های مختلف؛ مهارت‌های درک تکنیک‌های استدلال رسمی پیچیده لازم برای کشف متالوژیک پیچیده؛ توانایی مخالفت با این ادعا که استدلال "معمولی" به خوبی توسط منطق مرتبه اول رسمی نشان داده می شود.
عناصر منطق نمادین [کتاب انگلیسی]
نویسنده:
Hans Reichenbach
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
The Free Press,
کلیدواژه‌های اصلی :
تحلیل عموم های سه گانة اصول فقه در منطق جدید
نویسنده:
اسدالله فلاحی
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
چکیده :
عموم مجموعی و عموم استغراقی و عموم بدلی سه نوع از انواع عموم اند که اصولیان در مبحث عام و خاص و مبحث مطلق و مقید به آن می پردازند و برای آن، چه در فقه و چه در اصول، کاربردهای فراوانی یافته اند و مثال های گوناگونی ذکر کرده اند. در این مقاله، برخی از این کاربردها و مثال ها را به زبان منطق جدید صورت بندی کرده ایم و پیچیدگی های بعضی از آن ها را نشان داده ایم. برای این کار، ترکیب سور با ادات سلب و ترکیب سور با ادات شرطی و ترکیب سور با سور را برای تحلیل انواع عموم به خدمت گرفته ایم. در ادامه، نشان داده ایم که این روش برای تحلیل انواع عموم، به رغم همۀ توانمندی ها و ظرافت هایی که دارد، وقتی با قواعد منطق جدید درمی آمیزد، نتایج شگفت و گاه ناپذیرفتنی به دست می دهد و به فروکاهی عموم مجموعی و عموم بدلی به عموم استغراقی می انجامد. بنابراین، این مقاله در صدد است تا نشان دهد که مبحث انواع عموم ظرافت ها و پیچیدگی هایی دارد که به پژوهش بیشتری پیرامون زوایای تاریک و ناشناختة آن نیاز است.
  • تعداد رکورد ها : 50