مرور درختی موضوعات | کتابخانه مجازی الفبا

مرور درختی موضوعات | کتابخانه مجازی الفبا

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

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

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

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
علم هندسه
جستجو در برای عبارت
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 42
سخنرانی فلسفه‌ی ریاضیات ابن‌سینا
سخنران:
محمدصالح زارع‌پور
نوع منبع :
صوت , سخنرانی , درس گفتار،جزوه وتقریرات
منابع دیجیتالی :
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
این نشست بدون حضور مخاطب و در صفحه اینستاگرام مرکز فرهنگی شهرکتاب به آدرس ketabofarhang@ بصورت زنده پخش شد. لازم بذکر است کلیه نشست‌ها و درس‌گفتارهای مرکز فرهنگی شهرکتاب بدون حضور مخاطب و بصورت مجازی برگزار می‌شود.
شفاء
عنوان :
نویسنده:
أبو علي الحسين بن عبد الله [ ابن سينا ]
نوع منبع :
کتاب , آثار مرجع
منابع دیجیتالی :
وضعیت نشر :
منشورات مكتبة آية الله العظمى المرعشي النجفي,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
شفا کتابی است از ابوعلی سینا به زبان عربی که آن را در موضوعات الهيات، طبیعیات، رياضيات و منطق تأليف كرده است. مى‌توان اين كتاب را به عنوان جامع‌ترين اثر بوعلى، به حساب آورد. وى، در مورد موضوع‌هاى ياد شده، در كتاب‌هاى ديگرى نيز سخن گفته است كه به آنها اشاره خواهيم كرد، لكن چيزى كه در كتاب شفا با آن روبه‌رو هستيم، مجموعه‌اى است كامل و دقيق كه ترجمه يا تلخيص مطالب آن در كتاب‌هاى ديگرش، همچون نجات و دانش‌نامه‌ى علايى آمده است.
خواجه نصیرالدین طوسی
نوع منبع :
مدخل اعلام(دانشنامه اعلام) , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
دائرة المعارف اسلامی طهور,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
نجاة
نویسنده:
(ابو علی سینا) ابوعلی حسین بن عبدالله بن حسن بن علی بن سینا
نوع منبع :
کتاب , آثار مرجع
منابع دیجیتالی :
وضعیت نشر :
مصر: مطبعة‌السعاده‏‫,
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :
چکیده :
«النجاة من الغرق فی بحر الضلالات» از تالیفات ابن سینا است؛ که یک دوره فلسفه نظری (منطق، طبیعیات، ریاضیات و الهیات) به زبان عربی می‌باشد. این کتاب، در بخش‌های منطق با صد و چهل و نه فصل، طبیعیات با شش مقاله (مجموعا دارای چهل و شش فصل)، ریاضیات با بیست و نه عنوان و فصل و الهیات با دو مقاله (مجموعا دارای شصت و دو فصل) تنظیم شده و به انگیزه پاسخ مثبت دادن به درخواست بعضی از برادرانی که اشتیاق به فراگیری معارف داشته ‌اند و از مؤلف خواستار تالیف کتابی مشتمل بر علومی که انسان ناچار به فراگیری آنهاست، شده ‌اند، به رشته تحریر درآمده است.
فلسفه علم، فلسفه منطق و فلسفه رياضی در قرن بیستم
نویسنده:
استوارت.جی شنکر
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
تهران: حکمت,
چکیده :
مجموعة «تاریخ فلسفة غرب»، مروری بر فلسفة غرب را به ترتیب زمانی، از سرآغاز آن در قرن ششم پیش از میلاد تا عصر حاضر، فراهم می‌آورد. این کتاب، همة جریان‌های بزرگ فلسفی را مورد بررسی قرار می‌دهد. این مجموعه که در ده جلد فراهم شده، اطّلاعات بنیادی و انتقادی دربارة همة فیلسوفان مهمّ گذشته و حال را در اختیار می‌گذارد و تصویر روشنی از آن‌ها در بستر فرهنگی و علمی روزگارشان ارائه می‌دهد.در کتاب تاریخ فلسفه‌ی راتلج - جلد نهم: فلسفه علم، منطق و ریاضیات در قرن بیستم به موضوعاتی چون فلسفه‌ی منطق و ریاضیات، فلسفه‌ی فیزیک، فلسفه‌ی علم، پوزیتیویسم منطقی و سایبرنتیک پرداخته شده و آرای فیلسوفانی چون فرگه و ویتگنشتاین توضیح داده می‌شود. شانکر در ابتدای این جلد یک گاه‌شماری از رویدادهای بزرگ علمی و فلسفی قرن بیستم آورده است که برای علاقه‌مندان به فلسفه‌ی علم، بسیار مفید خواهد بود. همچنین پس از مقاله‌ها، واژه‌نامه‌ای از اصطلاحات فنی استفاده‌شده در کتاب آمده است تا خوانندگانی که رشته‌شان با فلسفه و ریاضیات نیز مرتبط نیست، بتوانند مقاله‌ها را به‌راحتی مطالعه کنند.
 استدلال تقریبی معکوس و نقش عملگرهای استلزام
نویسنده:
خاطره آذرانداز
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
کرمان: دانشگاه آزاد اسلامی واحد کرمان,
چکیده :
نظریه مجموعه‌های فازی در سال 1965 توسط پروفسور عسکرزاده دانشمند ایرانی تبار استاد دانشگاه برکلی آمریکا عرضه شد. این نظریه از زمان ارائه آن تاکنون، گسترش و تعمیق زیادی یافته و کاربردهای گوناگونی در زمینه‌های مختلف پیدا کرده است . مجموعه‌های فازی نظریه‌ای است برای اقدام در شرایط عدم اطمینان. این نظریه قادر است بسیاری از مفاهیم و متغیرها و سیستمهایی را که نادقیق هستند، چنانچه در عالم واقع اکثرا چنین است ، صورتبندی ریاضی ببخشد و زمینه را برای استدلال، استنتاج، کنترل و تصمیم‌گیری در شرایط عدم اطمینان فراهم آورد. در این رساله که بر پایه مقاله تدوین شده است ما به نحوه استفاده از استدلال تقریبی معکوس می‌پردازیم بدین منظور که نتیجه (طرف دوم یک قاعده فازی) داده شده، مسئله مطرح شده انتخاب بهترین ورودی (طرف اول یک قاعده فازی) است که نتیجه مورد نظر را باعث شود که در اینجا ما از قاعده رفع تالی تعمیم یافته کمک خواهیم گرفت . در فصل اول به تعاریف اولیه مورد استفاده در رساله از جمله -t نرمها و -t هم‌نرمها و عملگرهای مربوط به مجموعه‌های فازی می‌پردازیم و همچنین در این فصل مروری بر منطق فازی و کلاسیک خواهیم داشت و روابط بین آنها را در منطق دوارزشی و فازی و ارتباط آنها با یکدیگر را مطالعه می‌نماییم. در فصل دوم استدلال تقریبی و استدلال تقریبی معکوس بررسی شده است . در آنجا این سوال مطرح می‌شود که اگر قاعده R:A--->B با تابع استلزام I مدلسازی شود آیا قاعده R*:not(B)-->not(A) هم با همان تابع مدلسازی می‌شود؟ بدین معنی که آیا رابطه I(a,b) I(1-b,1-a) (خاصیت تقارن عکس نقیض) برقرار است ؟ بنابراین چون استلزامهایی که دارای تقارن عکس نقیض هستند در استدلال تقریبی معکوس نقش مهمی را بازی می‌کنند در فصل سوم مفصلا به آنها می‌پردازیم. در این فصل -S استلزامها، -R استلزامها، -QLاستلزامها و ... معرفی می‌شوند و استلزامهایی که خاصیت تقارن عکس نقیض را دارا بوده و یا با داشتن شرایطی این خاصیت را بدست می‌آورند بررسی شده‌اند.
نظریه‌های عمومی در منطق مرتبۀ اول شهودی
نویسنده:
مریم عبیری
نوع منبع :
رساله تحصیلی
منابع دیجیتالی :
وضعیت نشر :
دامغان: دانشگاه دامغان,
چکیده :
در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم. دو مفهوم زیرمدل و جملات عمومی در منطق مرتبه ی اول شهودی معرفی می شود: در تعریف زیرمدل کریپکی می توان قاب یا جهان های کلاسیک یا هر دو را تحدید کرد. در این پایان نامه تعرفی سود از زیرمدل را در نظر می گیریم. اگر مدل کریپکی را به عنوان یک تابعگون از یک رسته ی کوچک به رسته تمام مدل های کلاسیک همراه با همریختی های بین آنها در نظر بگیریم آناه مفهوم زیر مدل را به این صورت تعریف می کنم: یک زرمدل از یک مدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر رأس از یان زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر آن در مدل کریپکی اصلی نگاشته می شود. یک جمله را عمومی می نامیم اگر به صورت استقرائی از اتم ها (شامل ┬ و ┴ )، رابط های → ، ᵥ ، ᴧ و سور ɏ ساخته شود، به طوری که هر زیر فرمول شرطی آن دارای مقدم اتمی باشد. ثابت می کنیم یک نظریه ی شهودی تحت زیرمدل کریپکی حفظ می شود اگر و تنها اگر به وسیله جملات عمومی اصل پذیر باشد. در این پایان نامه، در تعریف مدل کریپکی، تغییر محمول تساوی، تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد. تغییر محمول تساوی می تواند یک رابطه هم ارزی باشد. همچنین ارتباط بین یک جهان و جهان بالاتر می تواند زیرساختار ضغیف باشد. از این رو، چهار کلاس از مدل های کریپکی می توان داشت. در فصل سوم، ضمن تعریف مفاهیم یکریختی و تشابه مدل های کریپکی این کلاس ها با یکدیگر مقایسه می شود.
جهود العلماء المسلمین فی تقدم الحضارة الإنسانیه
نویسنده:
خالد بن سلیمان الخویطر
نوع منبع :
کتاب , مدخل آثار(دانشنامه آثار)
منابع دیجیتالی :
چکیده :
کتاب حاضر کتابی است ارزشمند در معرفی اسلام و دستاوردهای مهم مسلمین. کتابی که از علوم مختلف اسلامی سخن می گوید و از تاثیرات آن علوم بر جامعه غربی و اروپا. کتابی که جایگاه اسلام و مسلمین را بالاتر می برد.
  • تعداد رکورد ها : 42