نظریه گراف شاخهای از ریاضیات است که دربارهٔ گرافها بحث میکند. این مبحث در واقع شاخهای از توپولوژی است که با جبر و نظریه ماتریسها پیوند مستحکم و تنگاتنگی دارد. نظریهٔ گراف برخلاف شاخههای دیگر ریاضیات نقطهٔ آغاز مشخصی دارد و آن انتشار مقالهای از لئونارد اویلر، ریاضیدان سوئیسی، برای حل مسئله پلهای کونیگسبرگ در سال ۱۷۳۶ است. پیشرفتهای اخیر در ریاضیات، به ویژه در کاربردهای آن موجب گسترش چشمگیر نظریهٔ گراف...
کژرفتاری پدیده ای است که به طریقی با انتظارات مشترک اعضای یک جامعه سازگاری ندارد و بیشتر افراد آن را ناپسند و نادرست می دانند. هر جامعه ای از اعضای خود انتظار دارد از ارزش ها و هنجارها تبعیت کند. جامعه افرادی را که هماهنگ و همساز با ارزش ها و هنجار باشند سازگار یا همنوا و کسانی را که بر خلاف آنها رفتار کنند ناسازگار یا ناهمنوا می خواند. در واقع کسانی که با هنجارهای جامعه همنوا هستند بهنجار شمرده می شوند و آنان که همنوایی ندارند نابهنجار نام...
در علوم نظری رایانه، نظریهٔ اتوماتا (به انگلیسی: Automata theory) یا نظریهٔ ماشینها عبارت است از بررسی ریاضی ماشینهای محاسبهگر انتزاعی و تواناییهای آنها برای حل مسایل. به این ماشینهای انتزاعی اتوماتا گفته میشود. این نظریه بسیار نزدیک به نظریهٔ زبان صوری است. بهطوریکه اتوماتا اغلب توسط دستهٔ زبانهای رسمی قابل تشخیص دستهبندی میشوند. اتوماتا نقش اساسی در طراحی کامپایلر و تجزیه کردن (parsing) ایفا میکند....
نظریهٔ احتمال مطالعهٔ رویدادهای احتمالی از دیدگاه ریاضیات است. بعبارت دیگر، نظریه احتمال به شاخهای از ریاضیات گویند که با تحلیل وقایع تصادفی سروکار دارد. هسته تئوری احتمال را متغیرهای تصادفی و فرایندهای تصادفی و پیشامدها تشکیل میدهند. نظریه احتمال علاوه بر توضیح پدیدههای تصادفی به بررسی پدیدههایی میپردازد که لزوماً تصادفی نیستند ولی با تکرار زیاد دفعات آزمایش نتایج از الگویی مشخص پیروی میکنند، مثلاً در آزمایش...
در علوم نظری رایانه، نظریهٔ اتوماتا (به انگلیسی: Automata theory) یا نظریهٔ ماشینها عبارت است از بررسی ریاضی ماشینهای محاسبهگر انتزاعی و تواناییهای آنها برای حل مسایل. به این ماشینهای انتزاعی اتوماتا گفته میشود. این نظریه بسیار نزدیک به نظریهٔ زبان صوری است. بهطوریکه اتوماتا اغلب توسط دستهٔ زبانهای رسمی قابل تشخیص دستهبندی میشوند. اتوماتا نقش اساسی در طراحی کامپایلر و تجزیه کردن (parsing) ایفا میکند....