أساسيات المنطق: البديهيات، النظريات، والبراهين الشكلية

هل ترغب في فهم كيفية بناء هياكل المعرفة المعقدة من نقاط انطلاق بسيطة لا جدال فيها؟ يبدأ إتقان المنطق الشكلي بفهم دور البديهيات. تقدم هذه الدورة مقدمة واضحة ومفاهيمية للعناصر الأساسية للفكر المنطقي. ستغادر مجهزًا لتحليل الحجج، والتعرف على الاستنتاجات الصحيحة، وتقدير بنية الأنظمة الشكلية المستخدمة في الرياضيات والحوسبة. ما ستتعلمه: * فهم تعريف ودور البديهيات والمسلمات والتعريفات الحاسم في بناء أنظمة منطقية متماسكة. * إتقان المنطق الافتراضي، بما في ذلك جداول الحقيقة، والروابط المنطقية، وقواعد الاستدلال الأساسية. * تطبيق تقنيات الإثبات الشكلي لاشتقاق النظريات والتحقق من صحة الحجج باستخدام الأساليب البديهية المعمول بها. * تحليل المفاهيم الحاسمة للاتساق والاستقلالية والاكتمال داخل الأنظمة الشكلية. * تعلم كيف تدعم مبادئ المنطق الأساسية الهياكل الحسابية الحديثة، مثل نظرية الأنواع وقواعد سلامة قواعد البيانات. تبدأ الدورة بالمصطلحات الأساسية والسياق التاريخي، وتتقدم عبر آليات المنطق الافتراضي، وتختتم بتمارين عملية في بناء الحجج الشكلية وتحليل خصائص النظام. تم تصميم هذه الدورة للمبتدئين تمامًا الذين ليس لديهم خبرة سابقة في المنطق الشكلي أو الرياضيات أو علوم الكمبيوتر النظرية. يتم تقديم جميع المفاهيم خطوة بخطوة باستخدام تفسيرات مكتوبة واضحة. ابدأ في بناء أساسك في التفكير النقدي الصارم اليوم.