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

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

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

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

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

public

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