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

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

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 10
اصول منطق ریاضی [کتاب عربی]
نویسنده:
محمد ثابت الفندي
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
بیروت - لبنان: دار النهضة العربیة للطباعة والنشر,
أسس المنطق الرمزي المعاصر
نویسنده:
نجیب الحصادی
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
دروس في المنطق الاستدلالي الرمزي
نویسنده:
محمد مرسلي
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
دارالبیضاء(کازابلانکا) - مغرب(مراکش): دار توپقال للنشر,
فرمالیسم و ​​فراتر از آن: در مورد ماهیت گفتمان ریاضی [کتاب انگلیسی]
نویسنده:
Godehard Link (گودهارد لینک)
نوع منبع :
کتاب
منابع دیجیتالی :
وضعیت نشر :
De Gruyter,
چکیده :
ترجمه ماشینی: مقالات گردآوری‌شده در این جلد بر نقش جنبه‌های فرمالیستی در نظریه‌پردازی و عمل ریاضی، بررسی مسائلی مانند بی‌نهایت، محدود بودن، و روش‌های اثبات، و همچنین شخصیت‌های تاریخی مرکزی در این زمینه، از جمله فرگه، راسل، هیلبرت و ویتگنشتاین تمرکز دارند. این جلد با استفاده از ابزارهای منطقی-فلسفی مدرن و تحلیل‌های مفهومی و منطقی سیستماتیک، گزارشی کامل و به‌روز از موضوع ارائه می‌کند.
نحو منطقی ریاضیات یونانی [کتاب انگلیسی]
نویسنده:
Fabio Acerbi
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Springer,
چکیده :
ترجمه ماشینی: هدف این تک نگاری توصیف ریاضیات یونانی به عنوان یک محصول ادبی، مطالعه سبک آن از دیدگاه منطقی- نحوی و ایجاد موازی با آموزه های منطقی و دستوری توسعه یافته در دوران باستان است. به این ترتیب، مضامین عمده فلسفی مانند بیان کلیت ریاضی و انتخاب معیارهای اعتبار برای استدلال ها را می توان بدون نابهنگامی بررسی کرد. بنابراین، این کتاب علاوه بر مورخان ریاضیات، هم برای مورخان فلسفه باستان و هم برای متخصصان یونان باستان مورد توجه است. این جلد به پنج بخش تقسیم می‌شود که بر حسب کاهش اندازه واحدهای زبانی درگیر مرتب شده‌اند. بخش اول سه رمز سبکی ریاضیات یونانی را شرح می دهد. دومی به تفصیل مکانیسم "تأیید اعتبار" را توضیح می دهد. سوم به وضعیت اشیاء ریاضی و مسئله کلیت ریاضی می پردازد. چهارمی، ویژگی‌های اصلی «ماشین قیاسی» را تحلیل می‌کند، یعنی سیستم منطقی مافوق ماهیت دیکته شده توسط تقسیم سنتی یک گزاره ریاضی به بیان، تنظیم، ساخت و اثبات. و پنجم به سیستم منطقی جمله ای یک گزاره ریاضی، با تأکید ویژه بر کمی سازی، روش ها و رابط ها می پردازد. تعدادی ضمیمه مکمل نیز گنجانده شده است.
راهنمای صدمین سالگرد پالگریو برای کتاب اصول ریاضی [کتاب انگلیسی]
نویسنده:
Nicholas Griffin, Bernard Linsky
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
Palgrave Macmillan,
چکیده :
ترجمه ماشینی: این مجموعه از پانزده مقاله جدید، صدمین سالگرد انتشار کتاب مهم Principia Mathematica توسط آلفرد ان. وایتهد و برتراند راسل در سال‌های 1910 تا 1913 را نشان می‌دهد. این مقالات تأثیر PM را بر توسعه منطق نمادین در قرن بیستم، فلسفه منطق راسل و برنامه او برای تقلیل ریاضیات به منطق، نظریه متمایز انواع منطقی که پاسخی به پارادوکس های منطق راسل و دیگران ارائه می دهد، مورد مطالعه قرار می دهند. کشف شده در حدود سال 1900، و همچنین جزئیات برخی از نظریه های ریاضی در سه جلد اثبات نمادین.
اصول ریاضی [کتاب انگلیسی]
نویسنده:
(برتراند راسل)Alfred North Whitehead, Bertrand Russel(آلفرد نورث وایتهد)
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
درسگفتار منطق ریاضی
نوع منبع :
صوت , سخنرانی , فیلم , درس گفتار،جزوه وتقریرات , کتابخانه عمومی
درسگفتار آشنایی با منطق ربط
مدرس:
اسدالله فلاحی
نوع منبع :
صوت , درس گفتار،جزوه وتقریرات
منابع دیجیتالی :
المنطق الصوري و الرياضي
نویسنده:
عبد الرحمن بدوي
نوع منبع :
کتاب , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
کویت: وکالة المطبوعات,
  • تعداد رکورد ها : 10