نتایج جستجو برای: مسئله ارضاپذیری بولی
تعداد نتایج: 29370 فیلتر نتایج به سال:
زبان شناسی متن، توجه به متن و مطالعه ویژگی های آن را در دستور کار خود قرار داده است بر این اساس رویکردهای مختلفی برای تشخیص سازمان درونی متون و چگونگی تولید و درک آن ها ارائه شده که یکی از آن ها رویکرد حل مسئله مایکل هوی است. در این رویکرد متون به صورت مکالمه و پرسش و پاسخ بازنویسی می شوند. این الگو دارای چهار رکن است که عبارتنداز موقعیّت، مسئله ، پاسخ و ارزیابی. تشخیص این ارکان در متن به درک مت...
چکیده ندارد.
در این پایان نامه کشف قوانین وابستگی بر روی داده های کمی مورد بررسی قرارگرفته و یک الگوریتم جدید برای بهبود کارایی مسئله کشف قوانین وابستگی کمی ارائه شده است. معیار سنجش کارایی، تولید قوانین با اطمینان بالا در زمان اجرای کمتر می باشد. برای نشان دادن تاثیر استفاده از تکنیک جدید، یکی از جدیدترین الگوریتم هایی که با استفاده از تئوری فازی در زمینه کشف قوانین کمی ارائه شده است را مبنای مقایسات قرار ...
منطق جبری عبارت است از بررسی و ساخت ساختارهایی جبری از یک منطق برای شناخت و تحقیق بر روی آن و گاه بالعکس. در حقیقت، منطق جبری شاخه ای مشترک از منطق و جبر است. بعد از تحقیقات و بررسی های جورج بول و اگوستوس دمورگان بر روی منطق کلاسیک مشخص شد که با استفاده از این منطق می توان ساختاری جبری ساخت که دارای ارتباط عمیقی با منطق کلاسیک است. امروزه این ساختار جبری را جبر بول می نامیم. در طول قرن بیستم با...
این پژوهش، با هدف بررسی و مقایسه مهارت های جستجوی پیوسته و تعیین عوامل اثرگذار بر شناخت و آشنایی با این مهارت ها در میان دانشجویان پزشکی عمومی دو دانشگاه علوم پزشکی بندرعباس و رفسنجان با جامعه آماری 545 نفر دانشجو به روش پیمایشی و با استفاده از پرسشنامه انجام گرفته است. تجزیه و تحلیل داده ها با روش آماری توصیفی به کمک نرم افزار آماری spss انجام شد. با استفاده از 7 مهارت جستجوی پیوسته و عوامل اث...
در این رساله ابتدا جبرهای منطقی نظیر مشبکه های مانده ای، $mtl$-جبرها، $bl$-جبرها و جبرهای استلزامی مشبکه ای را معرفی و خصوصیات آنها را بیان می کنیم. سپس $ bck$-جبرها را که شاخه ای دیگر از جبرهای منطقی هستند معرفی کرده و به بررسی مشبکه ها در این جبر منطقی می پردازیم. با ارائه شبه $ bck $ مشبکه هاltrfootnote{ٍٍquasi bck-lattices} در $ bck$-جبرها، مفهوم مشبکه ها را گسترش داده و ارتباط بین $ bck $...
استفاده از آتاماتای سلولی در زمینه ی رمزنگاری، در سال های اخیر مورد توجه خاصی قرار گرفته و تمرکز اصلی کارهای انجام شده در این زمینه بر روی رمزهای متقارن بوده است. رمزهای متقارن به دو دسته ی رمزهای جریانی و رمزهای بلوکی تقسیم می شوند. در زمینه ی رمزهای جریانی، آتاماتای سلولی به عنوان یک مولد اعداد تصادفی مورد استفاده قرار می گیرد. فعالیت ها در این حوزه بر روی یافتن قوانینی که منجر به تولید اعداد...
تحقیق حاضر، با هدف بررسی تاثیر بازنمایی ها در یاددهی-یادگیری اعداد گویا در دانش آموزان و اثرات آن روی درک دانش آموزان از اعداد گویا، و عملکرد شان در حل مسائل شامل کسر اجرا گردید. نتایج تحقیقات درباره مفهوم کسر و اعداد گویا در داخل و خارج کشور نشان می دهد که تصورهای چندگانه کسر، ایجاد پیچیدگی در مفهوم آن می کند (دکتر شکوهی ـ ریون مک کروری ـ بهر و همکارانش ـ کارالامبوس). در این پایان نامه سعی ش...
مسءله ورشکستگی قمار باز قدمت حدود 350 سال دارد و جزء یکی از قدیمی ترین مسائل است حالت کلاسیک آن ینعی بازی دو نفره با داشتن سرمایه مشخص و یک نوع پول تقربیا به طور کامل کار شده است. اما در مورد تعمیم ای مسءله با وجود قدمت زیاد این مسئله کار زیادی صورت نگرفته است. در حالت کلی دو تعیم این مسئله صورت گرفته است، یکی به این صورت n نفر با سرمایه اولیه مشخص برای هر کدام شروع به بازی می کنند و بازی زمانی...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید