• انواع نحو معناشناسی دنباله معنایی دنباله نحوی گزاره‌ای توابع بولی حساب مسندات تکین حساب گزاره‌ای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق دسته...
    17 KB (1,553 words) - 14:06, 4 March 2024
  • انواع نحو معناشناسی دنباله معنایی دنباله نحوی گزاره‌ای توابع بولی حساب مسندات تکین حساب گزاره‌ای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق دسته...
    17 KB (1,481 words) - 04:04, 3 March 2024
  • درگذشته ۳۲۲ ق. م) از فیلسوفان یونان باستان و یکی از مهم‌ترین فیلسوفان غربی به حساب می‌آید. همچنین او اولین زیست‌شناس بزرگ اروپایی نیز بوده است. وی در هجده سالگی...
    16 KB (943 words) - 19:18, 10 April 2024
  • انواع نحو معناشناسی دنباله معنایی دنباله نحوی گزاره‌ای توابع بولی حساب مسندات تکین حساب گزاره‌ای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق دسته...
    35 KB (2,916 words) - 18:25, 6 April 2024
  • فرض کنیم تعدادی دانه شن داریم که هنوز آن‌قدر زیاد نشده‌اند که تپه شن به حساب بیایند. اگر به این تعداد فقط یک دانه اضافه کنیم مطمئناً ناگهان یک تپه نخواهیم...
    9 KB (799 words) - 12:43, 12 November 2023
  • انواع نحو معناشناسی دنباله معنایی دنباله نحوی گزاره‌ای توابع بولی حساب مسندات تکین حساب گزاره‌ای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق دسته...
    19 KB (1,896 words) - 19:14, 12 February 2024
  • حساب گزاره‌ها یا حساب گزاره‌ای (به انگلیسی: Propositional calculus) سامانه‌ای است صوری (Formal) که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها...
    53 KB (5,260 words) - 12:27, 4 November 2023
  • انواع نحو معناشناسی دنباله معنایی دنباله نحوی گزاره‌ای توابع بولی حساب مسندات تکین حساب گزاره‌ای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق دسته...
    26 KB (2,356 words) - 20:03, 9 March 2024
  • بیانگر مفاهیمی ذهنی در مورد دامنهٔ یک نظریهٔ ریاضی خاص، می‌باشند (مانند حساب). اصولِ موضوعه می‌توانند بدیهی نباشند، اما به‌هرحال نقطهٔ آغازِ کار است و...
    11 KB (920 words) - 07:06, 12 May 2023
  • موردعلاقه‌اش به‌ خوبی‌ نشان می‌داد؛ با حل مسایل پیچیده در ۱۹۲۷، بی اینکه حتی حساب دیفرانسیل مقدماتی خوانده باشد. در ۱۹۲۸، تورینگ در ۱۶ سالگی با کار آلبرت اینشتین...
    42 KB (3,254 words) - 11:15, 3 February 2024
  • انواع نحو معناشناسی دنباله معنایی دنباله نحوی گزاره‌ای توابع بولی حساب مسندات تکین حساب گزاره‌ای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق دسته...
    8 KB (775 words) - 16:40, 1 October 2023