Undergraduate Certificate in {courseTitle} Computational Logic
-- ViewingNowThe Undergraduate Certificate in Computational Logic is a comprehensive course that equips learners with fundamental skills in computational logic, an essential area of study for computer science professionals. This certificate program covers topics such as propositional and predicate logic, mathematical reasoning, and formal systems.
6٬756+
Students enrolled
GBP £ 140
GBP £ 202
Save 44% with our special offer
حول هذه الدورة
100% عبر الإنترنت
تعلم من أي مكان
شهادة قابلة للمشاركة
أضف إلى ملفك الشخصي على LinkedIn
شهران للإكمال
بمعدل 2-3 ساعات أسبوعياً
ابدأ في أي وقت
لا توجد فترة انتظار
تفاصيل الدورة
• Introduction to Computational Logic
• Propositional Logic and Boolean Algebra
• First-Order Logic and Predicate Calculus
• Resolution-Based Reasoning and Theorem Proving
• Computational Complexity and Logic
• Description Logics and Ontologies
• Logic Programming and Prolog
• Tableaux Method and Automated Theorem Proving
• Modal Logic and Temporal Reasoning
المسار المهني
متطلبات القبول
- فهم أساسي للموضوع
- إتقان اللغة الإنجليزية
- الوصول إلى الكمبيوتر والإنترنت
- مهارات كمبيوتر أساسية
- الالتزام بإكمال الدورة
لا توجد مؤهلات رسمية مطلوبة مسبقاً. تم تصميم الدورة للسهولة.
حالة الدورة
توفر هذه الدورة معرفة ومهارات عملية للتطوير المهني. إنها:
- غير معتمدة من هيئة معترف بها
- غير منظمة من مؤسسة مخولة
- مكملة للمؤهلات الرسمية
ستحصل على شهادة إكمال عند الانتهاء بنجاح من الدورة.
لماذا يختارنا الناس لمهنهم
جاري تحميل المراجعات...
الأسئلة المتكررة
رسوم الدورة
- 3-4 ساعات في الأسبوع
- تسليم الشهادة مبكراً
- التسجيل مفتوح - ابدأ في أي وقت
- 2-3 ساعات في الأسبوع
- تسليم الشهادة العادي
- التسجيل مفتوح - ابدأ في أي وقت
- الوصول الكامل للدورة
- الشهادة الرقمية
- مواد الدورة
احصل على معلومات الدورة
احصل على شهادة مهنية