كل الدورات
عن الدورة
تركز هذه الدورة على المنطق كأداة أساسية في علوم الحاسوب لتحليل المشكلات وتصميم الحلول وتصحيح البرامج. تناقش الدورة أساسيات الإثبات وأنظمة الإثبات، بما في ذلك المنطق الأولي والمقترح والمنطق التحفظي. تشمل المواضيع المتقدمة نمذجة البرمجيات، التحقق من البرامج، والمنطق الزمني. ستتعلم كيفية استخدام الاستدلال الطبيعي الخاص بجنتزن، وفهم الدلالات والتركيب المنطقي للأشكال، فضلاً عن معالجة قضايا عدم القابلية للقرار في المنطق. كما تغطي الدورة التحقق الرسمي باستخدام منطق فلويد-هور، والتحقق بواسطة نماذج زمنية لضمان صحة الأنظمة البرمجية. تم تصميم الدورة للطلاب والمطورين والعاملين في تكنولوجيا المعلومات الذين يسعون لتعزيز قدراتهم في المنطق التطبيقي.
ماذا ستتعلم
- تحليل المشكلات الحاسوبية لاختيار التقنيات المنطقية والإثباتية المناسبة
- تصميم حلول متكاملة لتطوير الخوارزميات باستخدام مبادئ المنطق المقترح والمنطق الشكلي
- تقييم موثوقية الأنظمة من خلال إجراء التحقق النمطي باستخدام المنطقيات الزمنية
- إنشاء خطط تحقق رسمية للبرامج والخوارزميات مع تبرير صحتها بالاستدلال المنطقي
المتطلبات المسبقة
- مهارات أساسية في استخدام الحاسوب والإنترنت
- القدرة على قراءة التعليمات باللغة الإنجليزية وإكمال التمارين العملية
المدرسون
B
BITS Pilani Instructors Group
المواضيع
الخوارزميات
علوم الحاسوب
الرياضيات والمنطق
تحليل النظم
علوم الحاسوب النظرية
برمجة الحاسوب
تطوير البرمجيات
التحقق والتصديق
معلومات الدورة
المنصةCoursera
المستوىغير محدد
طريقة التعلمغير محدد
السعرمجاني
المهارات
الخوارزميات
علوم الحاسوب
الرياضيات والمنطق
تحليل النظم
علوم الحاسوب النظرية
برمجة الحاسوب
تطوير البرمجيات
التحقق والتصديق
Data Analysis
Logical Reasoning
إعلان
إعلان