در این پایان نامه، در تلاش برای شفاف سازی معنای منطق at، یک معناشناسی جدید برای آن ارایه می شود. در جست و جوی یک معناشناسی درست& به بسیاری از منابع سردرگمی های گذشته پی می بریم.

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

نمایش توابع توزیع شبه احتمال s- پارامتری شده حالت های کوانتومی میدان تابشی را مرور می کنیم . نشان می دهیم که توموگرام های اپتیکی ، که می توانند با استفاده از آشکارسازی هموداین اندازه گیری شوند ، حالت کوانتومی میدان تابشی را از طریق تبدیل معکوس رادون تعیین می کنند . نشان می دهیم که روش بیشینه درست نمایی اعمال شده بر نمودارهای ستونی بدست آمده از آزمایش های هموداین ، می تواند حالت کوانتومی را در م...

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

طبقه‌بندی کلاسیک با منطق دو ارزشی بنیان غالب طرح‌های طبقه‌بندی موجود است، اما با تحولات اخیر و ظهور علوم میان‌رشته‌ای، تعیین درست جایگاه آن‌ها در طبقه‌بندی علم با چالش مواجه شده است. در این مقاله از روش‌‌‌های تحلیل اسنادی و تحلیل محتوا استفاده شد. در بخش تحلیل اسنادی، با استفاده از روش نمونه‌‌‌گیری هدفمند و با کمک فیش‌‌‌برگه، اسناد مربوط به موضوع بررسی شد. در بخش تحلیل محتوا، 125 طرح (شامل 75طر...

یکی از روشهای برآورد پارامتر در حالتی که مشاهدات به طور کامل در دسترس باشند، روش برآورد ماکزیمم درستنمایی (maximum liklihood estimate) است . زمانی که مشاهدات به طور کامل موجود نباشد که فقدان قسمتی از داده ها ممکن است مقادیر گمشده و یا از مکانیزم سانسور کردن و ... ناشی شده باشد، بدست آوردن ماکزیمم درستنمایی (mle) کاربی بس دشوار است . الگوریتم em، یکی از ابزاری است که در این زمینه کارآیی وسیعی دا...

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

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

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