در این پایان نامه روش جدیدی برای قطعی سازی اتوماتای متناهی فازی با درجه عضویت در مشبکه های مانده ای کامل ارائه می شود. در مقایسه با روش های پیشین که توسط بلهولاوک [2] ، لی و پدریسز [18]بررسی گردیده، در این روش اتوماتای کوچکتری مورد بررسی قرار می گیرد. در برخی شرایط که در روش های قبلی نتیجه روی اتوماتای نامتناهی حاصل می شد، در این روش نتیجه روی اتوماتای متناهی حاصل می شود. در ادامه نشان می ده...

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

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

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

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

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

شدت چرخند حاره ای با سرعت باد در دیوارة چشم چرخند یا فشار سطح دریا در چشم آن تعیین می شود. به این منظور دو مدل عددی میان مقیاس  (advance regional prediction system) arps و wrf (world research forecasting) در بازة زمانی و مکانی فعالیت چرخند حاره ای گونو gonu)) اجرا شد. برون داد اجرای این دو مدل با پیکربندی های به کار برده شده با داده های پردازش شدة ماهواره ای داده های مرکز اخطار تایفون نیروی دری...

در این رساله به بررسی رفتار نشانده گراف هم-بیشین وابسته به مشبکه و گراف خط آن بر روی چنبره می پردازیم. همچنین تمامی حلقه های جابه جایی متناهی (تا حد یکریختی) که گراف ژاکوبسون نظیر آن ها چنبره ای است را رده بندی می نماییم. نیز تمام حلقه های جابه جایی متناهی (تا حد یکریختی) که گراف خط ژاکوبسون آن ها چنبره ای است را شناسایی می کنیم.