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

چکیده ندارد.

چکیده ندارد.

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

در این پایان نامه ابتدا تعاریفی از قاب و جمع مستقیم در فضاهای هیلبرت را ارائه داده و سپس دنباله ‏‏ی قاب با مجموعه اندیس شمارش پذیر در فضای هیلبرت را تعریف می‏کنیم [2,15]و درادامه شرایط لازم و کافی برای اینکه جمع دو دنباله بسل با عملگرهای مربوط به آن در فضای هیلبرت قاب باشد را در[3,2] بیان می‏کنیم.همچنین خواصی از جمع وجمع مستقیم دنباله‏های قاب در[12,6] بیان کرده که در این راستا شرایط لازم و کافی...

چکیده ندارد.

در این پایان نامه به مطالعه ی نگاشت های حافظ تعامد و تقریبا حافظ تعامد در - مدول های فضای ضرب داخلی می پردازیم . درحالت خاص اگر a ،w,v - مدول های ضرب داخلی روی *c- جبر a باشند هر مضرب اسکالر از یک ایزومتری a- خطی، یک نگاشت حافظ تعامد a- خطی خواهد بود . عکس این مطلب در حالت کلی برقرار نمی باشد ولی در حالتی که aشامل k(h) باشد عکس آن برقرار خواهد بود) k(h) بیانگر c* - جبر همه عملگرهای فشرده روی یک...

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

در این پایان نامه به بررسی نگاشت های نگهدارنده عملگرهای فردهولم و شبه فردهولمدر فضاهای هیلبرت و*c -مدولهای هیلبرت می پردازیم.

در این پایان نامه برخی نتایج جدید برای g-قاب ها در هیلبرت*c-مدول ها را ارایه می دهیم.آنگاه یک عملگر a-خطی کراندار معرفی می کنیم.با استفاده از این عملگر خواصی ازg- قاب ها و پایهg- ریس در هیلبرت*c- مدول را مشخص می کنیم.در پایان برخی تساوی ها و نامساوی های مهم برای قاب ها وg- قاب ها را در هیلبرت *c-مدول ثابت می کنیم.