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

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

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

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

چکیده ندارد.

به بیان ساده ریشه pام یک ماتریس a عبارتست از ماتریسی مانند x بطوری که xp=a بلافاصله پس از تعریف ریشه pام ماتریسی وجود یا عدم وجود و تعداد ریشه ها مطرح می شود. در صورتی که ریشه pام ماتریسی منحصر به فرد نباشد، آنگاه ریشه pام اصلی مورد توجه قرار می گیرد. در این پایان نامه با بررسی موارد فوق به برخی کاربردهای ریشه های ماتریسی در حل معادلات دیفرانسیل، در مدل های مارکوف و تعیین میانگین هندسی ماتریسی ...

معادله ی ماتریسی سیلوستر در بسیاری از مسئله های کنترل کاربرد دارد؛ بنابراین جواب آن مورد توجه بسیاری از نویسندگان بوده است. روش های استاندارد برای حل این معادله ی ماتریسی عبارتند از: روش بارتلز-استوارت (یا روش شور) و روش هسنبرگ-شور. در این پایان نامه ابتدا وجود و یکتایی جواب معادله ی ماتریسی سیلوستر مورد بررسی قرار می گیرد، سپس پیشنیازهایی برای حل این معادله ی ماتریسی شامل تعریف ها، قضیه ها و ر...

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

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