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

القسم العلمي

قسم تقنيات الانترنت

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

بكالوريوس في تقنيات الانترنت

نوع المقرر

عام

الوحدات

03

الاسبقيات

ITMM122

نظرة عامة

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

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

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

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

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

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

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

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

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

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

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

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

طرق التقييم

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

محتوى المقرر

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

التنقيب عن البيانات/الذكاء التجاري (ITWT301)
الشبكات المترامية (ITWT309)
نظم إسترجاع المعلومات (ITWT302)
مقدمة في رسوم الحاسب الآلي (ITWT303)
معالجة الصور (ITWT308)
الحوسبة السحابية (ITWT307)
نقل الصوت/الصورة عبر الشبكات (ITWT306)
مبادئ تطوير الألعاب (ITWT305)
رياضة 1 (ITMM111)
فيزياء (ITPH111)
تقنيات حل المشاكل (ITGS113)
مقدمة في تقنية المعلومات (ITGS111)
لغة إنجليزية 1 (ITEL111)
لغة عربية 1 (ITAR111)
رياضة 2 (ITMM122)
لغة عربية 2 (ITAR122)
لغة إنجليزية 2 (ITEL122)
مقدمة في البرمجة (ITGS122)
تحليل و تصميم نظم (ITGS124)
الدوائر المنطقية (ITGS126)
البرمجة الشيئية (ITGS211)
مقدمة في هندسة البرمجيات (ITGS213)
مقدمة في الشبكات (ITGS215)
التراكيب المنفصلة (ITGS217)
التحليل العددي (ITGS219)
مبادئ الإحصاء والاحتمالات (ITST211)
مقدمة في برمجة الانترنت (ITGS226)
أساسيات نظم المعلومات (ITGS222)
معمارية الحاسوب (ITGS223)
تراكيب بيانات (ITGS220)
مقدمة في قواعد البيانات (ITGS228)
أمن المعلومات (ITGS224)
تفاعل الانسان مع الحاسوب (ITWT315)
اجراءات ولوائح الامان (ITWT317)
قواعد البيانات المتقدمة (ITWT313)
برمجة الانترنت المتقدمة (ITWT311)
تصميم وتحليل الخوارزميات (ITGS301)
نظم تشغيل (ITGS302)
إدارة مشاريع تقنية المعلومات (ITGS303)
برمجة الخادم والعميل (ITWT320)
تصميم واجهات المستخدم (ITWT322)
تطوير تطبيقات الانترنت (ITWT413)
القرصنة الاخلاقية ودفاع الشبكات (ITWT420)
الكتابة العلمية (ITGS304)
تطوير انظمة الصوت والصورة (ITWT324)
خدمات الانترنت (ITWT411)
تطوير النظم المتكاملة (ITWT415)
تطوير تطبيقات الانترنت المتنقلة (ITWT422)