فعلیت صغری از شروط انتاج مختلطات شکل اول است که بیش‌تر منطق‌‌‌دانان، از جمله ابن‌‌‌سینا، در بسیاری از آثار خود بدان پای‌بندند. ابن‌‌‌سینا در مبحث مختلطات شکل اول فقط در دو موضع (صغرای ممکنة ‌‌‌خاصه با کبرای وجودیه و صغرای مطلقة خاصه با کبرای موجبة ‌‌‌ضروریه)، جهت نتیجه را تابع کبری‌‌‌ ندانسته است. در حالی که بنا بر رأی خواجة ‌‌طوسی مواضع دیگری نیز وجود دارد که نتیجة تابع کبری نیست. خواجه کبرای ...

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

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

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

در این مقاله، پردازنده ضرب عددی خم بیضوی کارآمد در میدان باینری gf(2163) طراحی و با استفاده از کدهای قابل سنتز vhdl پیاده سازی شده است. طراحی معماری های جدید و کارآمد برای واحدهای محاسبات میدان و به ویژه واحد محاسباتی ضرب میدان منجر به کاهش طول مسیر بحرانی پردازنده شد. همچنین استفاده از اجرای موازی عملیات ضرب میدان در الگوریتم ضرب عددی lopez-dahab و جدا نمودن مسیر جمع دو نقطه از کلید باعث بهبود...

با استفاده از روش های تکراری پادمتقارن و معادلات ماتریسی متشابه جواب تقریبی بهینه را برای معادله ی ماتریسی axb=c را از روی ماتریس های معین a و b و c، پیدا می کنیم، به طوری که هدف تعیین ماتریس x می باشد.

واژۀ «ضرب» دارای معانی حقیقی و مجازی است. در قرآن و روایات و به تبع آن در متون فقهی، مسئلۀ «ضرب زوجه» به عنوان یکی از ابزارهای تنبیه زن ناشزه که وظایف شرعی و عرفی خود را انجام نمی دهد، مطرح شده است. سؤال آنست که آیا از معنای حقیقی «ضرب» به معنای «زدن و تنبیه بدنی» که نظر مشهور فقهاست، استفاده کنیم یا از یکی از معانی مجازی آن یعنی «اعراض»؟ بر اساس روش اجتهادی، بیان ادلۀ احکام، کتب لغت، اقوال و ا...

در این تحقیق برآنیم سرعت افقی ساختارهای ریز نیم سایه ی یک لکه خورشیدی (مناطق مغناطیسی که بر روی سطح خورشید ظاهر می شوند و نسبت به اطرافشان تیره ترند) را بدست آوریم. در فصل اول، تاریخچه رصد و مطالعه لکه های خورشیدی و ساختارهای ریز درونی آنها توضیح داده شده است. در فصل دوم، روش های قطعه بندی برای تفکیک دانه های نیم سایه ای از زمینه اطرافشان و سپس ردیابی دانه ها در تصاویر متوالی با استفاده از روش ...

*c-مدول های هیلبرت یک رده بین فضاهای باناخ و فضاهای هیلبرت هستند به طوری که در تمامی اصول فضای هیلبرت صدق می کنند بااین تفاوت که ضرب داخلی ذر نظر گرفته شده مقادیرش در یک *c-جبر می باشد.