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

در این رساله به بررسی خواص متناهی بودن مدولهای کوهمولوژی مو ضعی می پردازیم. دو مقوله ی مهم مد نظر ما یکی هم متناهی بودن این مدولها و دیگری متناهی بودن مجموعه ی ایده آلهای اول وابسته ی این مدولهاست. از نقطه نظر هم متناهی بودن این مدولها ثابت کرده ایم که اگرi ایده آلی از حلقه ی نو تری r و m یک -r مدول با تولید متناهی باشد بقسمی که dim(m/im)=1 آنگاه تمامی مدولهای کوهمولوژی m نسبت به ایده آل i ، -i...

در جریان مطالعه برخی واریته های تصویری، وضعیت هایی پیش می آید که بررسی خاصیت معینی درباره واریته مورد مطالعه به بررسی خاصیت معینی درباره یک مجموعه از نقاط متناهی در p^n و یا یک فضای چندتصویری p^(n_1 )×?×p^(n_r ) منجر می گردد. به عنوان مثال مساله تعیین درجه مولدهای مینیمال ایده آل تعریف کننده یک واریته تصویری از درجه s در p^n، که حلقه مختصاتی آن کوهن-مک آولی است، به مساله ای درباره s نقطه در p...

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

‏دراین پایان نامه مدل پوانکاره از هندسه ی هذلولوی (نیم صفحه ی بالا) را تحت عمل گروه طولپا ییها درنظر می گیریم؛ به ازای هر زیرگروه گسسته که عمل آن روی نیم صفحه ی بالا به طور سره گسسته باشد، دامنه ی اصلی این عمل را با توپولوژی خارج قسمتی در نظر می گیریم. دسته های خاصی از این طولپاییها اهمیت حسابی و هندسی فراوانی دارند که دراین پایان نامه به دو خانواده ازآنها اشاره می کنیم : زیرگروه های همنهشتی ‎...

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

جمع مقسوم علیه ها تابعی حسابی است که به صورت زیر تعریف می شود g(n)=?_(j=1)^n??(j,n)?. این تابع ضربی است و سری دیریشله آن دارای یک نمایش بسته بر حسب تابع زتای ریمان است. در این پایان نامه ضمن مطالعه ی کارهای انجام شده روی جمع مذکور، به بررسی نتایج مختلفی که شامل جمع های روی مقادیر بزرگترین مقسوم علیه مشترک هستند می پردازیم. از جمله مهمترین مواردی که آنها را اثبات خواهیم کرد، فرمول سزارو است که...

اختیار‎ آسیایی (یا اختیار میانگین) اختیاری است که بازده آن وابسته به میانگین قیمت دارایی پایه در سراسر یا بخشی از عمر اختیار است. قیمت گذاری اختیارات آسیایی بهصورت تحلیلی و عددی مشکل است و جواب دقیق برای این اختیارات در محیط بلک-شولز وجود ندارد و تمام جواب ها تقریبی هستند. فرمول های کران پایین و بالا برای قیمت این اختیارات توسط راجرز و شی محاسبه شده است که تفاوت کران پایین و کران بالا مستقل از ...

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

به منظور بررسی واکنش ژنوتیپ های مختلف گندم (Triticum aestivum L.) زمستانه (Winter) و بینابین (Facultative) نسبت به تنش خشکی، این آزمایش در سال های زراعی 1378-79 و 1379-80 در مزرعه به نژادی بخش تحقیقات غلات، موسسه تحقیقات اصلاح و تهیه نهال و بذر در کرج اجرا گردید. بیست ژنوتیپ گندم امیدبخش زمستانه و بینابین در دو آزمایش جداگانه (شرایط آبیاری بدون تنش و تنش خشکی آخر فصل) در قالب طرح بلوک های کامل ...