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

چکیده ندارد.

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

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