عروج به ماورای ماده یا معراج، در آثار روایی و تجسمی جوامع خداباور (توحیدی یا چندخدایی) و اقوام غیرخداباور، نشان از توجه و اصرار انسان به برقراری ارتباط با جهان غیرمادی دارد و دامنة پراکندگی وقوع آن‌، از شرق تا غرب دنیای باستان را در بر می‌گیرد. طیف گستردۀ معنایی معراج در اساطیر، از پرواز روح شمن، ورود قهرمان به جرگة خدایان و سفر به بهشت و جهنم تا تهذیب نفس و رسیدن به روشنگری را شامل می­شود. در ...

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

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

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

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

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

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

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

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