در نظریه ی مدلهای متناهی قانونی به نام 0-1 وجود دارد که درباره حد کسر مدلهای رابطه ای از اندازه n که یک جمله ی مشخص را ارضا میکنند صحبت میکند. این قضیه به اشکال مختلف گسترش داده شده است که در این جا حالت ویژه ای از قانون صفر و یک به نام قانون صفر و یک قوی را با تعریف یک اندازه سیگما جمعی روی دنباله های مدلهای متناهی از اندازه 1 تا n تعریف میکنیم و بررسی میکنیم برای هر جمله ی مرتبه اول، خود جمل...

ما ساختار فازی نظریه میدانهای پیمانه ای شبکه ای دو بعدی را با وجود جمله چرن در کنش بررسی می کنیم. گروههای تقارنی, زیر گروههای غیر آبلی, متناهی و ناهمبند گروه(su(3 هستند. به دلیل موهومی بودن کنش, یک ساختار فاز غنی در مقایسه با نظریه میدانهای پیمانه ای محض دو بعدی به وجود می آید. اگر از نمایشهای کاهش ناپذیر یک بعدی برای اعضا گروه استفاده کنیم نمودارهای فازشبیه به نمودارهای فاز شبیه به نمودارهای ف...

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

در پی تلاش چندین هزار ساله بشر برای حل معادلات چندجمله‌ای مفهوم ‎{گروه}‎ در قرن نوزدهم میلادی شکل گرفت و بلافاصله مشاهده شد که گروه‌ها در دیگر شاخه‌ها از جمله نظریه اعداد، هندسه، معادلات دیفرانسیل، فیزیک و ‎$‎‎ldots$‎ نیز حضور دارند. کشف کاربردهای گروه‌ها در علوم مختلف، روز به روز بر اهمیت مطالعه‌ی آنها افزود و رده‌بندی گروه‌های متناهی به یکی از اهداف بزرگ ریاضیدانان تبدیل شد. بالاخره در اوایل ...

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

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

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

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

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

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