منطق ریاضی یا منطق جدید (به انگلیسی: Mathematical logic) شاخه‌ای از ریاضیات است که به پیوند ریاضی و منطق می‌پردازد. ریشه‌های پیدایش این منطق به کارهای...

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

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

منطق (استدلال کل به جزء و استدلال جزء به کل {the deductive and inductive approaches}) می‌باشد. استدلال کل به جزء هنگامی است که در استدلال از یک نظریه...

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

ریمانی و نظریه اعداد. نظریه مجموعه‌ها و منطق ریاضی به منظور تببین بنیان‌های ریاضیات توسعه یافته‌اند. منطق ریاضی شامل مطالعهٔ منطق و کاربردهای منطق صوری به...

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

منطق فازی یا «منطق تشکیک» (به انگلیسی: fuzzy logic) شکلی از منطق‌های چندارزشی بوده که در آن ارزش منطقی متغیرها می‌تواند هر عدد حقیقی بین ۰ و ۱ و خود آن‌ها...

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

(محمول در برابر موضوع با تبیین ماهیت و ذات موضوع یا جزئی از ماهیت موضوع). در منطق قدیم و در فلسفه هر گزاره را به دو بخشِ موضوع و محمول تقسیم می‌کنند. این نام‌گذاری...

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

در این مقاله فهرستی از اکثر نمادهای ریاضیاتی تهیه شده. نمادهای ریاضی برای ابراز عملی روی مفاهیم ریاضیاتی یا بیان رابطهٔ آنها استفاده می‌شوند. در هنگام...

(حدود ۹۸۰–۱۰۳۷ میلادی) همه‌چیزدان، پزشک، ریاضی‌دان، اخترشناس، فیزیک‌دان، شیمی‌دان، جغرافی‌دان، زمین‌شناس، شاعر، منطق‌دان، فیلسوف، موسیقی‌دان و دولت‌مرد ایرانی...

تجزیه‌گر تجزیه شوند. در منطق، فرمالیسم ریاضی و مبانی ریاضی، از زبان‌های صوری برای تعریف دقیق نحو دستگاه‌های صوری همچون نظریهٔ مجموعه‌ها استفاده می‌شود...

در ریاضیات، اثبات ریاضی (به انگلیسی: Mathematical proof) برهان یا اثبات، استدلالی متقاعدکننده است که نشان می‌دهد یک گزارهٔ ریاضی (با توجه به استانداردهای...

دیفرانسیل و نظریه بازی‌ها نمونه‌هایی از مدل‌سازی ریاضی برای حل مسائل جهان به‌شمار می‌روند؛ اگرچه مدل‌سازی محدود به موارد یادشده نیست. مدل ریاضی، گاه شامل...

Forbes Nash Jr.؛ ۱۳ ژوئن ۱۹۲۸ – ۲۳ مهٔ ۲۰۱۵) ریاضی‌دان آمریکایی بود. او مشارکت برجسته‌ای در زمینهٔ نظریه بازی، هندسه دیفرانسیل و معادله دیفرانسیل با مشتقات...

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

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

«واقعیت» را نشان می‌دهد ناشی از نفهمیدن منطق زبان است که برای فهمیدن اش باید به این نگاه کنیم که هر مفهوم ریاضی در کجا به کار می‌رود و اینکه بگوییم چه...

در مدل تئوری، دیاگرام (Diagram) یا نگارهٔ یک ساختار، مفهومی ساده و در عین حال قوی برای اثبات ویژگی‌های مفید یک تئوری است. برای مثال، ویژگی ادغام (amalgamation...

درگذشتهٔ ۲۰ آوریل ۱۹۳۲) ریاضی‌دان ایتالیایی بود که فعالیت‌هایش در فلسفه نیز اثرگذار بوده است. پئانو از بنیان‌گذاران منطق ریاضی و نظریه مجموعه‌ها بود و بیش...

به هم باشد دو کلمه متضاد مثل : دور و نزدیک ، شروع و پایان ، پارادوکس در منطق به «حکم» یا احکامی ظاهراً صحیح. ویلیام کواین پارادوکس‌های منطقی را به چهار...

در منطق ریاضی، یک لیترال، یک اتم (به انگلیسی: atom) یا شیء منطقی یا نقیض آن است. این مفهوم بیشتر در تبدیل فرم نرمال اشتراکی توسط نظریه برهان یا نظریه پروف...

۱۹۶۶ بلاریکوم)، ریاضی‌دان و فیلسوف هلندی، فارغ‌التحصیل از دانشگاه آمستردام که بر روی توپولوژی، نظریه مجموعه‌ها، آنالیز مختلط و نظریه اندازه کار می‌کرد...

Колмого́ров) ریاضی‌دان اهل اتحاد شوروی بود که دست‌آوردهای برجسته‌ای در زمینه‌های احتمال، توپولوژی، آشفتگی، مکانیک کلاسیک، منطق شهودی، نظریه الگوریتمی اطلاعات...

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

می‌گردد. نظریه ریاضی (معروف به «نظریه رسمی») به استفاده از ریاضیات در ساختن نظریه‌های اجتماعی اشاره دارد. هدف جامعه‌شناسی ریاضی ارائه نظریه جامعه‌شناختی...

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

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

علم منطق تاریخ عمومی چینی یونانی هندی اسلامی مقالات اصلی خرد منطق فلسفی فلسفه منطق منطق ریاضی فرامنطق زبَر-منطق منطق در علوم رایانه مفاهیم منطق مجادله‌ها...