موضوع رابطه‌های 4NF که 5NF نیستند، اگرچه در بعضی متون آکادمیک مطرح شده، اما تاکنون مطالعه تئوریک قابل توجهی در مورد تجزیه آنها انجام نشده است. در این‌گونه رابطه‌ها، محدودیتی به ‌نام "محدودیت با ماهیت چرخشی" وجود دارد که هنوز نیاز به تحلیل تئوریک دارد. از سوی دیگر در فرایند طراحی پایگاه داده‌های رابطه‌ای، گاه لازم می‌شود که طراح رابطه‌ (هایی) را تجزیه کند، خواه به دلیل نرمال‌ترسازی آن و خواه به ...

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

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

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

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

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

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