نتایج جستجو برای: مسئله ارضاپذیری بولی

تعداد نتایج: 29370  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه کردستان - دانشکده ادبیات و علوم انسانی 1388

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید بهشتی - دانشکده علوم ریاضی 1380

چکیده ندارد.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده مهندسی 1388

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه خلیج فارس - دانشکده علوم پایه 1393

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

ژورنال: :پژوهشنامه پردازش و مدیریت اطلاعات 0
محبوبه محمودی میمند mahboobeh mahmoodi maybonde islamic azad university ahvazدانشگاه آزاد اسلامی واحد علوم و تحقیقات اهواز فریده عصاره دانشگاه شهید چمران اهواز

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور مرکز - دانشکده علوم 1391

در این رساله ابتدا جبرهای منطقی نظیر مشبکه های مانده ای، $mtl$-جبرها، $bl$-جبرها و جبرهای استلزامی مشبکه ای را معرفی و خصوصیات آنها را بیان می کنیم. سپس $ bck$-جبرها را که شاخه ای دیگر از جبرهای منطقی هستند معرفی کرده و به بررسی مشبکه ها در این جبر منطقی می پردازیم. با ارائه شبه $ bck $ مشبکه هاltrfootnote{ٍٍquasi bck-lattices} در $ bck$-جبرها، مفهوم مشبکه ها را گسترش داده و ارتباط بین $ bck $...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی امیرکبیر(پلی تکنیک تهران) - دانشکده ریاضی و کامپیوتر 1386

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده علوم پایه 1391

تحقیق حاضر، با هدف بررسی تاثیر بازنمایی ها در یاددهی-یادگیری اعداد گویا در دانش آموزان و اثرات آن روی درک دانش آموزان از اعداد گویا، و عملکرد شان در حل مسائل شامل کسر اجرا گردید. نتایج تحقیقات درباره مفهوم کسر و اعداد گویا در داخل و خارج کشور نشان می دهد که تصورهای چندگانه کسر، ایجاد پیچیدگی در مفهوم آن می کند (دکتر شکوهی ـ ریون مک کروری ـ بهر و همکارانش ـ کارالامبوس). در این پایان نامه سعی ش...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی خواجه نصیرالدین طوسی - دانشکده علوم 1389

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید