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

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

در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ jb (صورت صریح منطق موجه براوری ‎ kb)، ‎ jgl (صورت صریح منطق اثبات پذیری گودل لوب ‎ gl)‎ و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...

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

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

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

چکیده ندارد.

چکیده ندارد.