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

القسم العلمي

قسم نظم المعلومات

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

بكالوريوس في نظم المعلومات

نوع المقرر

عام

الوحدات

03

الاسبقيات

ITMM122

نظرة عامة

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

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

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

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

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

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

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

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

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

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

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

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

طرق التقييم

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

محتوى المقرر

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

نظم إسترجاع المعلومات (ITIS401)
إدارة المعرفة (ITIS402)
التنقيب عن البيانات/الذكاء التجاري (ITIS404)
إدارة عمليات الأعمال (ITIS405)
أنظمة دعم القرار (ITIS406)
الحكومة اﻻلكترونية (ITIS408)
فيزياء (ITPH111)
رياضة 1 (ITMM111)
لغة عربية 1 (ITAR111)
تقنيات حل المشاكل (ITGS113)
مقدمة في تقنية المعلومات (ITGS111)
لغة إنجليزية 1 (ITEL111)
رياضة 2 (ITMM122)
الدوائر المنطقية (ITGS126)
تحليل و تصميم نظم (ITGS124)
مقدمة في البرمجة (ITGS122)
لغة إنجليزية 2 (ITEL122)
لغة عربية 2 (ITAR122)
مبادئ الإحصاء والاحتمالات (ITST211)
البرمجة الشيئية (ITGS211)
مقدمة في هندسة البرمجيات (ITGS213)
مقدمة في الشبكات (ITGS215)
التراكيب المنفصلة (ITGS217)
التحليل العددي (ITGS219)
معمارية الحاسوب (ITGS223)
تراكيب بيانات (ITGS220)
أساسيات نظم المعلومات (ITGS222)
أمن المعلومات (ITGS224)
مقدمة في برمجة الانترنت (ITGS226)
مقدمة في قواعد البيانات (ITGS228)
نظم التشغيل (ITGS302)
الكتابة العلمية (ITGS304)
تطوير تطبيقات الويب (ITIS311)
التفاعل بين الانسان والحاسوب (ITIS312)
إدارة البيانات والمعلومات (ITIS313)
قواعد البيانات المتقدمة (ITIS325)
البنية التحتية لنظم المعلومات (ITIS323)
تحليل وتصميم الخوارزميات (ITGS301)
نظم الوسائط المتعددة (ITIS324)
تحليل وتصميم النظم 2 (ITIS326)
البنيان المؤسساتي (ITIS411)
الأمن وإدارة المخاطر (ITIS412)
مقدمة في الذكاء الاصطناعي (ITIS413)
إدارة مشاريع تقنية المعلومات (ITGS303)
النظم المؤسساتية (ITIS421)
إستراتيجية نظم المعلومات (ITIS422)