اسم المقرر

رقم المقرر

الفصل الدراسي

القسم

عدد الوحدات

عدد الساعات الأسبوعية

نظري

عملي

التراكيب المنفصلة

CT124

الثاني

الحاسب

3

3

0

أساسيات الفئات(basic set notation)المنطق الافتراضي (CIRRUITS prepositional logic)الجداول الحقيقية(truth tables)دوائر بولين(Boolean)

منطق الدرجة الأولى(first-order logic)ـ التوكيدات(predicates)،القياسات(quantifiers)

الاستقراء الرياضي(mathematical induction):صحة البرنامج (correctness program),الأشجار(tress),النحويات(grammars)

العلاقات(relations):العلاقات المغلقة (closures of relations)،الرتب (orders)،العلاقات المتماثلة (equivalent of relations)،الوظائف (functions)،آلات الحالة النهائية(finite-state machines)

العد (counting):المعاملات ثنائية الحد(binomial Coefficients)،الترقيات(permutations)،العلاقات التكرارية (recurrent relations)