در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...

نمونه ای از قضیه بسط دوجمله ای را که روش محاسبه و به توان رسانیدن مجموع دو مقدار را تا قوه هفتم نشان می دهد، در نوشته های زنجانی می توان به دست آورد. با اینکه قضیه فوق توسط کرجی کشف و مورد استفاده چندین ریاضیدان پس از او قرار گرفته است، تشریح آن توسط زنجانی نمایانگر آن است که قضیه دوجمله ای اهمیت بسزایی در ریاضیات قرون وسطی داشته است.

‏تعریف کاراتئودوری از مشتق چنین است:می‌گوییم تابع ‎$f$‎ در نقطه ‎$ain D_f$‎ مشتق‌پذیر است هرگاه یک تابع ‎$varphi$‎ وجود داشته ‌باشد که در ‎$a$‎ پیوسته باشد و برای هر ‎$x$‎ در یک بازه باز ‎$U$‎ شامل ‎$a$‎،‎[f(x)-f(a)=varphi(x)(x-a).]‎‏در این مقاله به بررسی این تعریف از مشتق می پردازیم. نشان می دهیم که با تعریف استاندارد (کوشی) از مشتق معادل است و می تواند در اثبات ساده تری از بعضی قضایای مقدماتی...

این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...

موضوع مورد بحث این مقاله بررسی اهمیت معانی مجازی و ضمنی کلمات و عبارات هنگام ترجمه است . معنی مجازی بخشی از پیام است که اطلاعات گوناگونی را به مخاطب منتقل می کند . در متون مختلف وجوه صریح و ضمنی معنایی در کنار یکدیگر قرار گرفته ومکمل هم می باشند . بر خلاف آنچه تصور می شود وجوه معنایی ضمنی مختص زبان ادبی نیست گرچه در ادبیات از این ویژگی زبان استفاده بیشتری می شود . بی اعتنایی و غفلت ازمعانی پنها...

در این پایان نامه‏، کلاسی از توابع حسابی جمعی به نام توابع امگا را مورد بررسی قرار می دهیم‏،‎‎‎ این توابع برحسب تعداد و جمع کل توان های اعداد اول در تجزیه ی استاندارد اعداد طبیعی تعریف می شوند. دو مورد از این توابع‏ ‎$ ‎omega(n)‎ $‎ و‎ ‎‎$ ‎omega(n)‎ $‎‎‎‎‎ ‏هستند که به ترتیب برابر تعداد اعداد اول و جمع توان های اعداد اول در تجزیه ی عدد صحیح مثبت ‎$ ‎n‎ $‎ به عوامل اول می باشند. همچنین ضمن بررس...

در این پژوهش تغییر شکل های خمیری-کشسان محیط مکانیکی ناهمگن به روش اجزای محدود چند مقیاسی مورد مطالعه قرار گرفته است. بررسی رفتار محیط های ناهمگن به روش تحلیلی برای مسائل ساده ارائه شده است و تحلیل عددی آن با روش اجزای محدود رایج هزینه ی محاسباتی بسیار زیادی خواهد داشت. در روش چند مقیاسی محیط دو نوع شبکه بندی می گردد و تاثیر ناهمگنی بصورت ضمنی بر روی بعد بزرگتر در نظر گرفته می شود. توابع پایه جه...

چکیده اقرار ضمنی از حیث شیوه اثبات با اقرار صریح متفاوت است. در اقرار صریح، اثبات به شیوه ی مستقیم صورت گرفته و مفاد اقرار مدلول مطابقی اعلام مقرّ است. ولی در اقرار ضمنی، شیوه ی اثبات غیرمستقیم بوده و اقرار مدلول التزامی اخبار یا افعال اقرار کننده است، در نتیجه، اقرار ضمنی با قرار گرفتن در حوزه ی ادله ی غیرمستقیم، در کنار امارات واقع شده و این پرسش مطرح می شود که، با توجه به این شباهت، اقرار ضمن...

فرآیندهای تقریب مثبت، نقش اساسی در نظریه ی تقریب ریاضیات کلاسیک بازی می کند. در سال 1953 کاروکین معیار و محک بسیار ساده و کارایی را برای تعیین همگرایی عملگرهای مثبت خطی ارائه داد. بعد از کاروکین ریاضیدان های بسیاری برای تعمیم این قضیه به فضاهای مختلف و مجردتر تلاش کردند که در تمام نتایج به دست آمده تا سال 1994 گردآوری شده است. از طرف دیگر در سال 1965، نظریه ی منطق فازی توسط پرفسور لطفی زاده ارا...

این مقاله به دو قضیه مربوط به دایره های مماس می پردازد که ابوسهل کوهی، ریاضی دان ایرانی سده 4ق آن ها را یافته است. این دو قضیه ملهم از کتاب مأخوذات منسوب به ارشمیدس است. اصل رساله کوهی برجای نمانده، اما این دو قضیه در تحریر خواجه نصیرالدین طوسی از مأخوذات نقل شده است، و بدین ترتیب به ترجمه لاتینی این اثر در 1659 در لندن و ترجمه لاتینی دیگری در 1661 در فلورانس و نیز یک ترجمه هلندی منقح در 1695 ر...