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

القسم العلمي

قسم هندسة البرمجيات

البرنامج الدراسي

بكالوريوس في هندسة البرمجيات

نوع المقرر

عام

الوحدات

03

الاسبقيات

ITMM122

نظرة عامة

يغطي هذا المقرر الموضوعات التالية: أنظمة الأعداد: الأعداد الطبيعية ، تمثيل الجذر للأعداد الصحيحة ، الاستقراء الرياضي. المنطق: المنطق الإفتراضي ، المنطق الأصلي. الجبر البوليني؛ مجموعات؛ العودية؛ العلاقات والوظائف. الجمع: مبادئ العد ؛ مجموعات التقليب. الرسوم البيانية: الرسوم البيانية. فقرات. الأشجار؛ صيغة أويلر وتلوين الرسوم البيانية. الآلات الرسمية: الآلي والتعبيرات العادية ؛ آلات التسجيل: آلات الخراطة.

المخرجات التعليمية المستهدفة من دراسة المقرر

المعرفة والفهم

  • أن يقدر الطالب على اثبات بيانات المنطق الافتراضي والمنطق الاصلي
  • أن يتعرف الطالب على المصطلحات الفنية للعلاقات والوظائف في المنطق الاصلي
  • أن يقدر الطالب على اثبات العبارات التي تستخدم في الاستقراء اللانهائي
  • أن يقدر الطالب على اثبات العبارات باستخدام الحساب النمطي
  • أن يقدر الطالب على تفسير واثبات النتائج الأولية في نظرية الرسم البياني
  • أن يفسر الطالب البراهين تلقائيا باستخدام مساعد اثبات

المهارات الذهنية

  • توفر ھذه المادة أساسًا ریاضیاً للدراسة اللاحقة في علوم الكمبیوتر
  • تطویر المھارات اللازمة لحل المشكلات العملیة
  • منح الطلاب مرفقاً أساسیاً مع نظریة المنطق والإثبات ، والعد ، ونظریة الرسم البیاني
  • تھيء لطالب علم الحاسوب الأسس الریاضیة المتینة التي یحتاج إلیھا عند دراسة المواد المتقدمة في علم الحاسوب مثل (تراكیب البیانات) و(خوارزمیات الحاسوب)،
  • ان یفكر الطالب بطریقة ریاضیة منطقیة

المهارات العملية والمهنية

  • أن يستخدم الطالب بيانات المنطق الافتراضي والمنطق الأصلي في تصميم الدوال البرمجية
  • أن يشخص الطالب العلاقات والوظائف في المنطق الأصلي للمساعدة في تصميم الانظمة
  • أن يستخدم الطالب الحساب النمطي لفهم كيفية كتابة الإجراءات البرمجية
  • أن يشخص الطالب البراهين باستخدام مساعد اثبات

المهارات العامة والمنقولة

  • التفكير بطريقة رياضية منطقية
  • تطوير المهارات اللازمة لحل المشكلات العملية والبرمجية
  • تهيئة الطالب بالأسس الرياضية التي يحتاجها لدارسة المواد المتقدمة

طرق التعلم والتعليم

  • محاضرات
  • دراسة الحالة
  • تمارين

طرق التقييم

  • إمتحان النصفي = 40
  • كتابة تقارير = 10
  • الامتحان النهائي = 50

محتوى المقرر

  • مقدمة في التراكيب المنفصلة
  • المنطق Logic
  • الفئات Sets
  • الفئات المتقدمة Sets
  • الدوال Functions
  • المتوالیات Sequences
  • المتوالیات المتقدمة Sequences
  • الاستنتاج الریاضي (I) Mathematical Induction
  • الاستنتاج الریاضي (II) Mathematical Induction
  • طرق العد الاولية Counting
  • طرق العد متقدمة Counting
  • العلاقات Relations
  • الأشكال Graphs
  • الأشجار Trees

برمجة الشبكات (ITSE405)
تطوير التطبيقات المتنقلة (ITSE304)
خوارزميات و بروتوكولات التشفير (ITSE306)
نظم إسترجاع المعلومات (ITSE307)
نظم تشغيل الأجهزة المتنقلة (ITSE308)
نماذج البرمجة (ITSE309)
مبادئ تطوير الألعاب (ITSE401)
نظم الوسائط المتعددة (ITSE404)
الحوسبة السحابية (ITSE406)
خدمات الانترنت (ITSE407)
تطوير تطبيقات الانترنت (ITSE408)
نمذجة الأنظمة المركبة (ITSE303)
التنقيب عن البيانات/الذكاء التجاري (ITSE302)
الشبكات الاجتماعية (ITSE409)
برمجة المنطق (ITSE301)
رياضة 1 (ITMM111)
فيزياء (ITPH111)
تقنيات حل المشاكل (ITGS113)
مقدمة في تقنية المعلومات (ITGS111)
لغة إنجليزية 1 (ITEL111)
لغة عربية 1 (ITAR111)
رياضة 2 (ITMM122)
لغة عربية 2 (ITAR122)
لغة إنجليزية 2 (ITEL122)
مقدمة في البرمجة (ITGS122)
تحليل و تصميم نظم (ITGS124)
الدوائر المنطقية (ITGS126)
مقدمة في الشبكات (ITGS215)
مبادئ الإحصاء والاحتمالات (ITST211)
البرمجة الشيئية (ITGS211)
مقدمة في هندسة البرمجيات (ITGS213)
التراكيب المنفصلة (ITGS217)
التحليل العددي (ITGS219)
مقدمة في قواعد البيانات (ITGS228)
تراكيب بيانات (ITGS220)
أساسيات نظم المعلومات (ITGS222)
مقدمة في برمجة الانترنت (ITGS226)
معمارية الحاسوب (ITGS223)
أمن المعلومات (ITGS224)
تحليل وتصميم الخوارزميات (ITGS301)
إدارة مشاريع تقنية المعلومات (ITGS303)
تحليل متطلبات برمجيات (ITSE311)
قواعد البيانات المتقدمة (ITSE312)
الكتابة العلمية (ITGS304)
لغة برمجة الحديثة - جافا متقدمة (ITSE322)
بناء البرمجيات (ITSE321)
نظم التشغيل (ITGS302)
تصميم وهيكلة البرمجيات (ITSE411)
برمجة الانترنت المتقدمة (ITSE412)
التفاعل بين الإنسان والحاسوب (ITSE413)
أخلاقيات هندسة البرمجيات (ITSE414)
جودة واختبار البرمجيات (ITSE421)
إعادة إستخدام البرمجيات (ITSE422)
البرمجة المرئية (ITSE423)
أنماط تصميم البرمجيات (ITSE424)