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

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

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

زمینه : با توجه به افزایش شمار زنان مبتلا به یک یا چند عامل خطر بیماریهای مزمن پس از پایان دوره باروری، توجه به دریافت های غذایی و شیوه زندگی این گروه ضروری به نظر می رسد. هدف : مطالعه به منظور مقایسه دریافت های غذایی و کیفیت رژیم غذایی زنان یائسه با زنان غیریائسه انجام شد. مواد و روشها : در این مطالعه تحلیلی که در قالب مطالعه قند و لیپید تهران انجام شد، 96 خانم 45 ساله و بالاتر (47 نفر یائسه و...

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

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

¯ چکیده زمینه : داروهای صناعی با تمام کارایی خود اثرات نامطلوبی نیز به همراه دارند؛ بنابراین استفاده از گیاهان دارویی مورد توجه قرار گرفته است. هدف : مطالعه به منظور تعیین اثرات عصاره آبی سیر بر قدرت انقباضی دهلیز ایزوله رت متعاقب افزایش آدرنالین انجام شد. مواد و روش ها : این مطالعه تجربی در سال 1383 در دانشگاه علوم پزشکی قزوین انجام و از 42 موش صحرایی نر نژاد اسپیراگ داولی نوع آلبینو در محدوده...

¯ چکیده زمینه : تشخیص و درمان هیپوتیروئیدی نوزادی از اهمیت ویژه ای برخوردار است . هدف : مطالعه به منظورتعیین تأثیر تعویض خون بر نتایج آزمون های عملکرد تیروئید در نوزادان مبتلا به زردی انجام شد . مواد و روشها : این مطالعه تحلیلی بر روی 20 نوزاد ترم با سن حاملگی بیشتر از 37 هفته که به روش سرشماری پی در پی انتخاب شده و به علت هیپربیلیروبینمی غیرمستقیم در بیمارستان قدس قزوین بستری و تحت درمان تعویض...

¯ چکیده این مطالعه به منظور تعین آگاهی و مهارت بیماران مرخص شده دارای گچ از نحوه مراقبت از خود انجام شد. 60 بیمار مرخص شده با پر کردن پرسشنامه و مشاهده عملکرد (با استفاده از برگه فهرست وارسی) در این بررسی شرکت کردند. نتایج نشان داد آگاهی و مهارت افراد مورد مطالعه در خصوص مراقبت از خود در حد متوسط (%50) و کمتر از حد انتظار بود. پیشنهاد میشود بیماران مرخص شده توسط مراقبین بهداشتی (پرستاران) برنام...

تعریف حقیقی از منظر جمهور فلاسفه، ارائة ذاتیات ماهوی شیء است. ارائة ذاتیات، متوقف بر شناخت فاعل شناسا نسبت به آن شیء است. لذا در هر شناختی لازم است که متعلَق شناخت و فاعل شناسا تبیین شوند. براساس مبانی نهایی ملاصدرا، متعلَق شناخت، یک وجود ظلی منبسط است که واجد سه مرتبة مادی، مثالی و عقلی می باشد به گونه­ای که مرتبة مادی و مثالی از اعراض و شئون مرتبة عقلی هستند. فاعل شناسا نیز به تناظر با عالم عین...