الوصف
تطبيقات المنطق الرسمي في علوم الحاسوب. تُستخدم المنطقات الرمزية مثل حساب المترادات الكلاسيكي لتمثيل معرفة المجال، ونمذجة المشكلات الحاسوبية وحلها بوسائل المحللات الآلية. تشمل التطبيقات الذكاء الاصطناعي، هندسة البرمجيات، إدارة البيانات والتحقق من الأجهزة.
المقررات السابقة
- المتطلبات السابقة: COMP 2804.
الشروط والإجراءات
- المتطلبات السابقة: COMP 2804.
- محاضرات ثلاث ساعات أسبوعيًا.
نص المرجع بلغته الأصلية
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
- Prerequisite(s): COMP 2804 .
- Lectures three hours a week.
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://calendar.carleton.ca/undergrad/courses/COMP/