المنطق المجانب هو فرع من فروع المنطق الرياضي الذي يتعامل مع الكمبيوترات والبرمجيات الحاسوبية. يهتم المنطق المجانب بدراسة الخوارزميات والأساليب الحاسوبية التي تستخدم لحل المشاكل الرياضية والمنطقية بشكل أوتوماتيكي وبدون تدخل بشري. ويستخدم المنطق المجانب في مجالات عدة مثل الذكاء الاصطناعي وعلوم الحاسوب والروبوتات وغيرها.
0
