پویا در بلند مدت است. اولین نتایجی که در این زمینه به دست آمد مربوط به نظریه بازگشتی Poincaré است. تئوری که ادعا دارد اغلب نقاط در هر زیر مجموعه‌ای از فضای...

رابطهٔ بازگشتی (به انگلیسی: Recurrence relation) در ریاضیات، دنباله‌ای است که به‌صورت بازگشتی تعریف می‌شود. واژه معادلهٔ تفاضلی (difference equation) مربوط...

یک ساختار جبری ست پس موضوع این نظریه به جبر مربوط می‌شود و از طرفی نگاه معناشناسی منطقی به ساختارها دارد که این نظریه را در دامنهٔ منطق ریاضی قرار می‌دهد...

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

تحلیل مدل ریاضیاتی، با کمک فنون تحلیلی چون نمودارهای بازگشتی و نگاشت‌های پوانکاره، مطالعه کرد. نظریه آشوب در رشته‌های گوناگونی مانند هواشناسی، انسان‌شناسی،...

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

می‌توانند یک مجموعه را تشکیل دهند، اما نظریه مجموعه‌ها اغلب در مورد اشیاء مرتبط با ریاضی به کار می‌رود. زبان نظریه مجموعه‌ها را می‌توان در تعریف تقریباً...

آگاهی هوش مصنوعی تئوری سیستم‌های خاکستری سامانه‌های خبره مجموعه‌های فازی نظریه امکان شبکه عصبی مصنوعی سیستم خبره معمای غلط یادگیری ماشینی منطق‌های چندارزشی...

ریاضی را آسانتر نماید. نظریه برهان‌ها دارای طبیعتی نحوی‌ست، در مقابل نظریه مدل‌ها که از جنس معناشناسی است. به همراه نظریه مدل‌ها، نظریه مجموعه‌ها مبتنی‌بر...

برخلاف اکثریت تئوری‌ها، جنگ مسلحانه در مرحلهٔ آخر انقلاب رخ نمی‌داد بلکه این نظریه معتقد بود که بدون وجود شرایط «عینی» انقلاب می‌توان شعلهٔ انقلاب را با این...

نتیجه در منطق ریاضیات باشد، که بیان می‌کند: فرض کنید K یک نظریه در زبان حساب باشد که به نحوی بازگشتی قابل اصل بندی باشد و قضایای اصلی حساب در آن اثبات شوند...