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

القسم العلمي

قسم الشبكات

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

بكالوريوس في الشبكات

نوع المقرر

عام

الوحدات

03

الاسبقيات

ITMM122

نظرة عامة

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

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

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

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

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

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

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

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

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

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

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

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

طرق التقييم

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

محتوى المقرر

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

الوسائط المتعددة على شبكات الأيبي (ITNT405)
الحوسبة السحابية (ITNT404)
أساسيات الحوسبة في كل مكان (ITNT403)
الشبكات المتحسسة اللاسلكية (ITNT402)
شبكات المنطقة الشخصية (ITNT401)
السياسة الأمنية (ITNT304)
تفاعل الإنسان مع الحاسوب (ITNT302)
النمذجة و تقييم الأداء (ITNT301)
لغة عربية 1 (ITAR111)
لغة إنجليزية 1 (ITEL111)
فيزياء (ITPH111)
مقدمة في تقنية المعلومات (ITGS111)
تقنيات حل المشاكل (ITGS113)
رياضة 1 (ITMM111)
لغة عربية 2 (ITAR122)
رياضة 2 (ITMM122)
لغة إنجليزية 2 (ITEL122)
مقدمة في البرمجة (ITGS122)
تحليل و تصميم نظم (ITGS124)
الدوائر المنطقية (ITGS126)
مبادئ الإحصاء والاحتمالات (ITST211)
البرمجة الشيئية (ITGS211)
مقدمة في هندسة البرمجيات (ITGS213)
مقدمة في الشبكات (ITGS215)
التراكيب المنفصلة (ITGS217)
التحليل العددي (ITGS219)
أمن المعلومات (ITGS224)
أساسيات نظم المعلومات (ITGS222)
معمارية الحاسوب (ITGS223)
مقدمة في برمجة الانترنت (ITGS226)
مقدمة في قواعد البيانات (ITGS228)
تراكيب بيانات (ITGS220)
تصميم و تحليل الخوارزميات (ITGS301)
تراسل البيانات (ITNT311)
الشبكات المحلية (ITNT312)
برمجة الشبكات (ITNT313)
خوارزميات و بروتوكولات التشفير (ITNT314)
الشبكات اللاسلكية والمتنقلة (ITNT324)
نظم التشغيل (ITGS302)
الاتصالات الرقمية (ITNT323)
بروتوكولات و برمجيات الشبكات (ITNT322)
الشبكات المترامية (ITNT321)
الكتابة العلمية (ITGS304)
إدارة مشاريع تقنية المعلومات (ITGS303)
النظم الموزعة (ITNT411)
تصميم و إدارة الشبكات (ITNT412)
جودة خدمة الشبكات (ITNT421)
الشبكات فائقة السرعة (ITNT422)
مشروع التخرج (ITNT500)