در این پایان نامه بر روی نامساوی کوشی - شوارتز و بعضی نامساوی ها در یک ‏شبه c*-مدول هیلبرت مطالعه شده است. نکته اصلی، بررسی یک شبه ضرب داخلی a‎-مدول در رابطه با شبه ضرب داخلی دیگر است. در این راه بعضی از نامساوی ها همچون اوستراوسکی و نامساوی های مرتبط با ماتریس گرام به طور بهتری ارائه شده است و شبه ضرب داخلی استنتاج شده با مفهوم واریانس و کوواریانس مرتبط است، به علاوه دنباله ای از نامساوی های ت...

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

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

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

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

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

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