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

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

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

در این پایاننامه بحث ما برروی یک مفهوم ترکیبیاتی متمرکز شده که در سالهای اخیر کاربرد فراوانی در علم رمز نگاری پیدا کرده است. فرض کنید x و y دو مجموعه باشندبهطوریکه |x|=n و |y|=m. مجموعه توابع h با |h|=n را یک (n;n,m)- خانواده درهمساز مینامیم. حال اگر خانواده درهمساز h دارای این خاصیت باشدکه برای هر t- زیرمجموعه c_1,c_2,…,c_t?x با|c_1 |=w_1,|c_2 |=w_2,…,|c_t |=w_t و c_i?c_j=? برای i?j(1?i<j?t)، ...

تابع تک ارز دو سویی تابع تک ارز و تحلیلی است که در دیسک واحد تعریف شده و معکوس آن {1-}^g=f نیز تک ارز در دیسک واحد می باشد. توابع تک ارز دو سویی f که و پیروی هستند با یک تابع تک ارز که برد آن نسبت به محور حقیقی متقارن می باشد را معرفی کرده و ضرایب اولیه ی آن زا به دست می آوریم.

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

بلوک منطقی قابل پیکره بندی (clb) شبیه سازی شده در این پایان نامه مدل xc4000 شرکت xilinx است که ساختاری نیرومند و انعطاف پذیر دارد. این clb از تعدادی جدول جست و جوی (lut) و تعدادی تسهیم کننده و دو فلیپ فلاپ نوع d ساخته شده است که هر lut می تواند برای پیاده سازی توابع مختلف استفاده شود . نتایج شبیه سازی رمزگشا ، تسهیم کننده ، سلول حافظه ، فلیپ فلاپ نوع d و lut ها نشان دهنده عملکرد دقیق clb ارائه ...

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