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

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

مجموعه ی همه ی سیستم های استنتاجی از یک bl-جبر a، را با (ds(a (مشبکه ی همه ی دستگاه های استنتاجی a ) نشان می دهیم. هدف این پایان نامه توصیف جدید از عناصر ??تحویل ناپذیر روی (ds(a می باشد و خواهیم دید که اگر مشبکه توزیع پذیر باشد آنگاه عناصر ??تحویل ناپذیر و ?? اول آن یکی هستند. هم چنین خواهیم داشت برای هر زیر مجموعه ی p از (ds(a، ?? ? ????????(?? اگر و تنها اگر برای هر( ?? ? ????(?? ، ?? ...

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

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

موتور dc امروزه هم در جهان بدلیل قابلیت کنترل آسان سرعت هنوز مورد استفاده قرار می گیرد. در این پایان نامه طراحی و شبیه سازی یک کنترل کننده ی سیستم عصبی فازی سازگار(adaptive neuro fuzzy inference system) تحقیق می شود که این کنترل کننده در روش کنترل سرعت مدولاسیون پهنای باند(pulse width modulation)، بر روی یک موتور dc تحریک مستقل به کار گرفته شده است. هدف اصلی از انجام این کار، کاهش جریان راه ان...

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

در این پایان نامه bl-جبر a را تعریف کرده و بعضی از روابط مهم در bl-جبر را بیان و ثابت می کنیم. قسمت بولی bl-جبر a ، یعنی(b(a را تعریف کرده و در چندین قضیه خواص (b(a را بررسی می کنیم. یک زیر مجموعه ?-بسته در a را تعریف کرده و با استفاده از آن bl-جبر کسرها نسبت به یک زیر مجموعه ?-بسته را تعریف می کنیم. ثابت می کنیم که مجموعه سیستم های استنتاجی bl-جبر a یک مشبکه براورین و یک مشبکه جبری است. طیف یک...

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