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

چکیده ندارد.

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

چکیده در سده­ی گذشته، فیلسوفان در مفهومِ علیت بازنگری ژرفی کرده­اند. نخست بدان سبب که مفاهیم سنتی پاسخ­گوی درکِ نوین از علیت نبوده است و دیگر اینکه مفاهیم تازه­ای در علمِ نوین تعریف شده­اند که می­توانند آغاز و بنیاد خوبی برای ساختنِ نظریه­هایی پیشروتر باشند. در این پژوهش، در پی معرفی این گونه از نظریه­ها هستیم که نظریه­ی فرایندیِ علیت و نظریه­ی کمیت پایستار دو نمونه­ی برجسته و کامیاب از آن هاست. آغا...

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

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

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