چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

چکیده ندارد.

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

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

براساس فلسفة تعلیم و تربیت نظری و رویکرد استنتاجی در آن، نظریه و عمل تربیتی نیازمند مابعدالطبیعه است. این رویکرد مبتنی بر این پیش‌فرض است که بایدها و ارزش‌ها از هست‌ها و واقعیت‌ها استنتاج می‌شود و همچنین هر حکمت نظری، نوع خاصی از حکمت عملی را ایجاد می‌کند. این نوشتار درصدد است تا با اثباتِ «امکان استنتاج فلسفه تعلیم و تربیت از وجودشناسی اسلامی»، برخی از دلالت‌های تربیتی وجودشناسی اسلامی را استنت...

مطابق با استنتاج بهترین تبیین (IBE)، فرضیه‌ای که بهترین تبیین را برای دسته‌ای از پدیده‌ها ارائه می‌دهد، احتمالاً صادق است. وَن فِراسِن (1989) با استدلالی که به «ایراد گروه بد» مشهور است، این ادعا را به چالش کشیده ‌است. بر طبق این اشکال، این باور که بهترین تبیین به احتمال بسیار تبیینی صادق است مستلزم این باور پیشینی‌است که تبیین صادق به احتمال زیاد در میان تبیین‌های رقیبِ در دسترس (ارزیابی شده) جای د...

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

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

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

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