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

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

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

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

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

public

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