كلية علوم الحاسب والمعلومات — جامعة الملك سعود
دليل المقررات
قسم هندسة الحاسب · جامعة الملك سعود
وصف مقررات برنامج الماجستير
هال 521 عمارة الحاسبات المتقدمة 3 (3+0)
يقوم هذا المقرر بشرح أساسيات التصميم والتحليل الكمي وتصميم تعليمات المعالجات، التعليمات المبدئية، مبدأ الـ (Pipelines) في الحاسب بحيث يتم شرح المفاهيم الأساسية والمتوسطة، المعالجة التفرعية على مستوى التعليمات وكيفية الاستفادة منها، المعالجات المتعددة والتوازي على المستوى الثالث، تصميم الذاكرة المخبأة، أنظمة التخزين، والذاكرة الهرمية.
هال 524 حسابات الكمبيوتر المتقدمة 3 (3+0)
في هذا المقرر، سيتم عرض العديد من مواضيع حسابيات الحاسب بمستوى متقدم، وهذه المواضيع تشمل تمثيل الأرقام القياسية والأرقام غير التقليدية وتصميم العنونة الثنائية ومتعددة المعاملات، كما سيتم التطرق لخوارزميات الضرب والقسمة عالية السرعة والأرقام ذات الفاصلة العائمة بالإضافة إلى خوارزميات الكيان الصلب، كما سيتم تنفيذ وتطبيق بعض المواضيع المُستعرضة في المقرر.
هال 526 الأنظمة المضمنة المتقدمة 3 (3+0)
في هذا المقرر، سيتم عرض العديد من مواضيع الأنظمة المضمنة المتقدمة، وهذه المواضيع تشمل الأنظمة الإلكترونية-الفيزيائية، دورة التصميم، المعالجات المضمنة، الحساسات والمحركات، المدخلات والمخرجات، تعدد المهام، الجدولة الزمنية، الديناميكا المتقطعة، إنشاء آلات منتهية الحالات، نماذج الحوسبة المتزامنة والتحليل الكمي.
هال 527 الحوسبة المتوازية 3 (3+0)
يقوم هذا المقرر بعرض الحاسبات المتوازية، حوسبة توصيل الرسائل MPI، الحسابات فائقة التوازي، استراتيجيات التجزئة والتقسيم، حوسبة خطوط الإنتاج Pipelined Computations، الحوسبة المتزامنة، البرمجة باستخدام الذاكرة المشتركة، أنظمة الذاكرة المشتركة المنتشرة، الخوارزميات القابلة للتوازي، الموازنة في توزيع الحمل، وكذلك بعرض أمثلة وحالات دراسية كمعالجة الصورة والخوارزميات الرقمية.
هال 528 تصميم المعالج 3 (3+0)
يزود هذا المقرر وبشكل معمق التقنيات الأساسية المستخدمة في معمارية وتنفيذ شرائح المعالجات الحديثة، ويضم المواضيع التالية: مقدمة لتصميم المعالجات، التنفيذ بتقنية الأنابيب المتقدم، تعليمات الجلب، التنبؤ الفرعي، إعادة تسمية المسجلات، الجدولة الديناميكية، تنفيذ عدة خطوط في نفس الوقت، والشرائح متعددة النواة.
هال 531 شبكات الحاسبات 3 (3+0)
في هذا المقرر، سيتم عرض العديد من مواضيع شبكات الحاسبات، وتشمل:
- مقدمة: تطبيقات الشبكات، تقنيات، بنية الطبقات، نماذج الـ OSI و الـ TCP/IP.
- الطبقة الفيزيائية: وسائط النقل، الطيف المغناطيسي، ترميز الإشارة، التضمين.
- طبقة توصيل البيانات (Data link Layer): الإطار، التحكم بالأخطاء، بروتوكولات التحكم بالوصول إلى الوسائط، الـ Ethernet، الـ Switching، الشبكات الافتراضية، الشبكات اللاسلكية.
- طبقة الشبكة: خوارزميات التوجيه، كبعد الشعاع والحالات المترابطة، بروتوكول الـ IP، العنونة والشبكات الجزئية.
- طبقة النقل: الخدمات، الـ TCP، الـ UDP، الـ Socket، التحكم بتدفق البيانات، التحكم بالاختناق.
- طبقة التطبيقات: اسم نطاق النظام، البريد الإلكتروني، HTTP Web.
هال 532 الحوسبة المتنقلة والشبكات اللاسلكية 3 (3+0)
يقدم هذا المقرر مراجعة عن الحوسبة المتنقلة وشبكات الحاسب وخصائص انتشار الإشارة في القنوات اللاسلكية وكذلك طرق التعديل في الأنظمة اللاسلكية: QPSK, DQPSK, π/4 DQPSK, n-QAM وكذلك تقنيات الولوج المتعدد مثل CSMA/CA, PCF, CDMA, OFDM, OFDMA, SC-OFDMA, FHSS, DSSS بالإضافة إلى مفاهيم الهاتف الخليوي كمفاهيم إعادة استخدام التردد والخلايا المتجانسة وغير المتجانسة، وكذلك معايير الشبكات اللاسلكية مثل Wireless PAN (IEEE 802.15.1/4)، Wireless LAN (IEEE 802.11 a/b/g/n)، 4G/LTE/LTE-Advanced/Mobile WiMAX، بالإضافة إلى إدارة مصادر الشبكات وتقدير الأداء وضمان جودة الخدمة.
هال 533 تحليل أداء شبكات الحاسب 3 (3+0)
من خلال هذا المقرر يتم شرح المفاهيم الأساسية لتقييم أداء أنظمة الكمبيوتر والشبكات، وكذلك تقنيات تحليل الأداء الأساسية بما في ذلك طرق قياس الأداء ومقاييس الأداء والمراقبة وتصميم التجارب ونظام النمذجة، كما يتم التطرق إلى نظرية الصفوف وسلاسل ماركوف وأنظمة الصفوف ذات الأولوية والصفوف في الشبكات، كما يضم هذا المقرر بعض المواضيع الأخرى كمقارنة الأنظمة وأداء عنق الزجاجة وخصائص تحميل العبء على الأنظمة وكذلك تحديد عدد وحجم المكونات وتحليل القيمة المتوسطة، بالإضافة إلى تطبيقات المفاهيم لقياس أداء أنظمة الحاسب مثل شبكات الاتصالات ونظم الشبكات المحلية.
هال 534 شبكات الاستشعار اللاسلكية 3 (3+0)
يتناول هذا المساق التحديات وأحدث نتائج البحوث المتعلقة بتصميم وإدارة شبكات الاستشعار اللاسلكية والتي هي عبارة عن شبكات لاسلكية مُكونة من أجهزة صغيرة ورخيصة ومُقيدة إلى حد كبير في حجم الموارد المتاحة مثل الطاقة والتخزين والحوسبة. هذه القيود تجعل من تصميم وتشغيل شبكات الاستشعار مَهمة مختلفة كثيرًا عن الشبكات اللاسلكية المعاصرة، وتقتضي بوضع بروتوكولات وأساليب إدارة واعية للموارد المُتاحة. يستعرض المقرر أيضًا التقدم في الأنظمة الإلكترونية الميكانيكية الدقيقة والاتصالات اللاسلكية وأجهزة الاستشعار الذكية، وكذلك يتطرق لمجموعة واسعة من التطبيقات كإدارة الكوارث والعسكرية وبناء ومراقبة الطريق والرعاية الصحية.
هال 543 معالجة الإشارات الرقمية (1) 3 (3+0)
يستعرض هذا المقرر الأنظمة الخطية المستقرة والإشارات الزمنية المنفصلة وتحويل فوريه المتقطع وتحويل فوريه السريع وكذلك تحويل Z وتصميم المرشح الرقمي باستجابة محددة والمرشح الرقمي باستجابة غير محددة، والمرشحات التكيفية وكذلك بعض تطبيقات معالجة الصوت والصورة.
هال 546 المعالجة الرقمية للصور 3 (3+0)
يقدم هذا المقرر المفاهيم الأساسية عن معالجة الصورة الرقمية، وتحسين الصورة في المجال المكاني والترددي واسترجاع الصورة، ومعالجة الصور الملونة وضغط الصور ومعالجة الصور ذات الدقة المتعددة.
هال 549 معالجة الكلام الرقمي 3 (3+0)
يستعرض هذا المقرر نظرية أخذ العينات وفلترة معالجة الضجيج، وكذلك أساسيات اللغة والكلام وإدراك الكلام وإنتاجه بالأدوات الرقمية المستخدمة في معالجة إشارات الكلام كوضع النوافذ وتعزيز العلو النسبي للترددات العليا والتأطير. كما يشمل المقرر الترميز التنبئي الخطي وتطبيقات معالجة الكلام الرقمية كالتعرف على الكلام وتوليفه.
هال 552 الروبوت المتحرك 3 (3+0)
في هذا المقرر، سيتم تعريف وتقديم مفهوم الروبوت المتحرك، ثم استعراض بعض مواضيعه المتقدمة والتي تشمل خصائص الروبوت المتحرك من الناحية الحركية والديناميكية، وكذلك المحركات وأجهزة الاستشعار، وتموضع الروبوت (Odometry and Kalman filter)، ومخططات المسار، وأنظمة التحكم والتنقل بطريقة ذكية، ومفهوم رؤية الروبوت والملاحة.
هال 553 مواضيع مختارة في هندسة الحاسب 3 (3+0)
صُمم هذا المقرر ليُمكن الطلاب من دراسة بعض المواضيع الخاصة باهتماماتهم في مجال معمارية الحاسب، ومحتويات هذا النوع من المقررات يعتمد على رأي الأستاذ المدرس والقسم، ويهدف هذا المقرر إلى تقديم مواضيع متطورة في مجالات هندسة الحاسب.
هال 570 المحاكاة والنمذجة 3 (3+0)
سيتم من خلال هذا المقرر التطرق للأمور التالية: محاكاة الأحداث المنفصلة، التعرف على دورة المحاكاة، الاحتمالات والإحصاء في المحاكاة، النماذج الرياضية والإحصائية، التحقق والتأكد من صحة المحاكاة، توليد الأرقام العشوائية، بناء نموذج محاكاة حقيقي وصحيح، نمذجة البيانات المحاكاة، تحليل خرج البيانات، برامج المحاكاة، المحاكاة الموزعة والتفرعية، بعض تقنيات المحاكاة لبعض الأنظمة المعروفة كالأرتال، تطبيقات أنظمة الحاسب، واستعراض لبعض حالات الدراسة.
هال 571 العمليات العشوائية 3 (3+0)
يتطرق هذا المقرر للأمور التالية: المتحولات العشوائية، Moments، التوزيعات الشرطية، الدوال على المتحولات العشوائية، التوزيع المترابط، نماذج العمليات العشوائية ومفاهيمها الأساسية، استجابة الأنظمة الخطية عند تحويلها إلى دخل عشوائي، النماذج المتواصلة والمنفصلة، المتوسط الزمني، مبدأ الـ Ergodic، مبدأ أخذ العينات والاستيفاء، مواضيع مختارة في التحكم، وأخيرًا الشبكات وأنظمة الاتصالات.
هال 573 تحليل الخوارزميات ونظرية التعقيد 3 (3+0)
هذا المقرر يغطي تقنيات التصميم والتحليل للخوارزميات. المواضيع التي سيتم التطرق لها تشمل تحليل الحالات الأسوأ والمتوسطة، نمو الخوارزميات التقريبي، البحث الثنائي للأشجار، دوال البعثرة، خوارزميات الرسوم البيانية، الخوارزميات الجشعة، الحد الأدنى للأشجار الممتدة، خوارزميات المسار الأقصر، تقنيات فرق تسد، خوارزميات الفرز الدمجي، البرمجة الديناميكية، تدفق البيانات في الشبكات، مفهوم NP ونظرية العناد الحاسوبية، خوارزميات التقريب.
هال 576 الأنظمة الذكية 3 (3+0)
يتطرق هذا المقرر إلى النقاط التالية: مقدمة إلى معرفة الأساسيات في الأنظمة المتقدمة، قواعد الأنظمة الخبيرة، النظم الخبيرة الغامضة، والشبكات العصبية الارتباطية، التعلم والتكيف، دعم آلة المتجهات، الخوارزميات التطورية (الخوارزمية الجينية، وخوارزمية السرب...) وكذلك بعض تطبيقات الإشارة والأنظمة (معالجة الكلام، التحكم، معالجة الصورة، الاتصالات).
هال 586 أمن الشبكات 3 (3+0)
يتحدث هذا المقرر عن هجمات الشبكة والتهديدات والحرمان من الخدمة (DOS) والبرامج ذاتية التشغيل والبرامج الضارة، وكذلك بروتوكولات أمن الشبكات وأمن طبقة النقل وأمن بروتوكول الإنترنت IP وأمن الشبكات اللاسلكية وأمن البريد الإلكتروني، وكذلك التشفير المتناظر والتشفير باستخدام المفتاح العام وبروتوكولات التوثيق بالإضافة إلى أنظمة كشف التسلل والجدران النارية.
هال 591 ندوة في هندسة الحاسب 1 (1+0)
هذا المقرر إجباري ومصمم لتحسين مهارات البحث والقراءة، والقدرة على تحليل المقالات البحثية واستخراج نتائج ذات دلالة، وكذلك لتحسين مهارات الاتصال ويشمل ذلك العرض الكلامي، وكتابة التقارير مع المراجع، مع الأخذ بعين الاعتبار القيم الأخلاقية للبحث العلمي.
هال 592 دراسة مستقلة 2 (2+0)
موضوع دراسات عليا في تخصص هندسة الحاسب. يجب على الطالب أن يقوم باختيار عضو هيئة تدريس وتقديم مقترح للمادة يحتوي على: محتوى المقرر، أهداف المقرر، طريقة الإشراف والتقييم. ولا يمكن دراسة هذا المقرر كبديل لمادة مُقدمة في مقرر آخر.
هال 596 إعداد خطة بحث وحدة دراسية
يختار الطالب موضوعًا آنيًا ذا صلة بتخصص هندسة الحاسب، ويحدد محاور بحثية لرسالته يقدمها كخطة لرسالته. ويعتبر الطالب مجتازًا للمادة بعد قبول خطته.
هال 600 الرسالة (6) وحدات دراسية
إجراء بحث علمي في موضوع يرتبط بهندسة الحاسب وتقديم تقرير حول البحث يتضمن: التعريف بموضوع البحث وأهميته؛ عرض مراجعة للبحوث السابقة يتحدد من خلالها مجال تركيز البحث؛ تقديم الأساس النظري الذي يضعه الطالب لمجال تركيز البحث ووسائل تطبيقه عملياً؛ تقديم تطبيقات باستخدام الوسائل المطروحة؛ تحليل معطيات البحث النظرية والتطبيقية؛ تقديم خُلاصة لما توصل إليه البحث وعرض أفكار لبحوث مُستقبلية.
وصف مقررات برنامج الدكتوراه
هال 601 العمليات الهندسية العشوائية وتطبيقاتها 3 (3+0)
المتغيرات العشوائية. مقاييس النزعة المركزية. دوال التوزيعات الاحتمالية المشروطة ومقاييس النزعة المركزية. دوال المتغيرات العشوائية. دوال التوزيعات الاحتمالية المشتركة ومقاييس النزعة المركزية. نماذج العمليات العشوائية: المبادئ الأساسية، والخواص. العمليات العشوائية الثابتة: الترابط الذاتي، والطيف. استجابة النظم الخطية للمداخل العشوائية: النماذج متقطعة الزمن، والنماذج المتصلة الزمن. المعدلات الزمنية، ومبدأ الثبات. مبدأ العينات والربط التقديري. أمثلة لتطبيقات العمليات العشوائية في نظم التحكم والاتصال والشبكات.
هال 611 تصميم أدوات كاد 3 (3+0)
حل مسائل التصميم المنطقي للدوائر فائقة الدقة باستخدام أدوات كاد. تحليل وتصميم الخوارزميات الدقيقة والتقريبية للتحويل المنطقي. المواضيع: التمثيل وتحقيق الأمثل للدوائر التركيبية (مسائل التمثيل، خرائط القرار البولي)، التمثيل وتحقيق الأمثل للدوائر التركيبية متعددة المستويات (الطرق الجبرية والبولية، حساب نطاقات عدم الفرق، تأكيد التوقيت) تمثيل وتحسين الدوائر التتابعية، تصميم مكتبات الدوائر المنطقية وربطها.
هال 628 المعالجة المتوازية المتقدمة 3 (3+0)
مبادئ والخيارات في تصميم عمارة الحاسبات المتوازية. التركيز على التسمية، زمن التنفيذ، السعة، والتزامن في الحاسبات المتوازية. نماذج البرامج المتوازية، أنظمة المعالجة المتوازية، حزمة الحاسبات المتوازية. دراسة نماذج في حاسبات الذاكرة المشتركة وحاسبات تبادل الرسائل وحاسبات تدفق البيانات وحاسبات البيانات المتوازية. دراسة عمارة الحاسبات ومحاضرات عن تقنيات برمجة الحاسبات المتوازية.
هال 629 الأنظمة المتجاوزة للأعطال 3 (3+0)
الأعطال الفيزيائية والأخطاء والإخفاقات؛ تحليل الأعطال وتشخيصها في الدوائر الرقمية؛ نمذجة الأعطال؛ طرق الاختبار واكتشاف الأعطال؛ توليد الاختبار وتمثيل ومحاكاة الأعطال؛ التصميم من أجل سهولة الاختبار؛ الاختبارات المبنية داخليًا ضمن الدوائر؛ مفاهيم الموثوقية؛ منع الأعطال؛ تجاوز الأعطال؛ النسخ المتماثلة والفائضة والمتنوعة للتصميم من أجل تجاوز الأعطال.
هال 632 الرسوم ونظرية التدفق الشبكي وتطبيقاتها 3 (3+0)
صياغة الحلول التحليلية والإنشائية للمشاكل التي يمكن صياغتها كحركة تدفقات في شبكات ذات سعة مقيدة أو تكلفة مقيدة. الأدوات المستخدمة في نظرية التدفق الشبكي المعتمدة على طرق الرسوم النظرية. تطبيقات لمشاكل الاتصالات والتراسل.
هال 633 تصميم وخوارزميات الشبكات 3 (3+0)
أساسيات تصميم الشبكات، تصميم خوارزميات الشبكات، تصميم الشبكة المركزية، خوارزميات التوجيه الثابتة والديناميكية، استخدام خوارزمية الشبكة الممتدة وخوارزمية المسار الأقصر في حل مشاكل تصميم الشبكات، تصميم الشبكات الموزعة، عرض نماذج واقعية.
هال 634 شبكات الاتصال الشخصية 3 (3+0)
مدخل إلى نظم الاتصالات الشخصية والخلوية، انتشار الموجات ومعوقات التراسل اللاسلكي: الشوشرة والتداخل، أساليب المضاعفة، مداولات تعدد التوصل، إدارة المصادر الراديوية وإدارة الحركة، مكونات شبكات الاتصال الشخصية، الأنظمة الجوالة الخلوية، أمثلة للنظم الخلوية الحديثة والقياسية.
هال 635 مداولات وتحليل أداء شبكات الاتصال 3 (3+0)
مداولات التحكم بالأخطاء، التحكم بالتدفق والازدحام، التوجيه الديناميكي، المضاعفة والوصول المتعدد، التقسيم، التبديل والتوجيه. معايير أداء الخدمة. دراسة نماذج مختارة في شبكات التوصل، شبكات الرزم، شبكات البث، شبكات الأقمار الصناعية والأرضية.
هال 636 الشبكات الضوئية 3 (3+0)
مكونات وأشكال وعمارة الشبكات الضوئية، أساسيات الطبقة المادية للشبكات الضوئية، الطبقات الشبكية العليا والمداولات (التحكم بالوصول إلى الناقل، طبقة الشبكة وطبقة النقل) كأجزاء متكاملة للتصميم الشبكي. معايير الأداء، تطوير تقنيات التحليل وتحسين الأداء للمساعدة في إنشاء شبكات ضوئية معقدة وعالية الأداء.
هال 637 شبكات التحسس 3 (3+0)
شبكات التحسس والشبكات العشوائية: خصائصها وتطبيقاتها، التحويل والتوجيه وتحليل الأداء، توزيع الوحدات: توفير الطاقة، الاتصال اللاسلكي، العملية المبنية على البيانات، السعة، العمر، الاعتمادية، احتمال الأعطال، والأمن. مواصفات قياسية لشبكة التحسس.
هال 638 شبكات الوسائط المتعددة واللاسلكية 3 (3+0)
نظرة عامة على الشبكات الداعمة لخدمات الوسائط المتعددة. الطبقة المادية للشبكات اللاسلكية، مداولات التحكم بالوصول إلى الناقل في الشبكات اللاسلكية (تقسيم الوقت، تقسيم التردد، تقسيم الرمز، أساليب الوصول المتعدد، تحسس الناقل مع تجنب التصادم)، ضمان الجودة في الشبكات اللاسلكية، المواصفات القياسية للشبكة اللاسلكية: 802.11، 802.15، 802.16، 802.11e & 802.11n، ضمان الخدمات المتعددة بالشبكة اللاسلكية، مراجعة لأهم التطورات الحديثة في مجال الشبكات اللاسلكية وتطبيقاتها.
هال 639 شبكات الربط ذات الأداء العالي 3 (3+0)
أساسيات ونظريات وعمارة وتقنيات الموجهات والمبدلات ذات السرعة والأداء العالي. المفاهيم الأساسية والتقنيات في توجيه وتصنيف وتبديل الرزم في موجهات آي بي ومبدلات الإيثرنت والمبدلات الضوئية. تقصي مسار آي بي، تصنيف وجدولة الرزم، إدارة التخزين، أساسيات تبديل الرزم، المبدلات ذات التخزين عند المداخل، المبدلات ذات التخزين عند المخارج، الشبكات ذات الذاكرة المشتركة، المبدلات ذات القضبان المتقاطعة، مبدلات كلوس، مبدلات مخزنة ذات المراحل المتعددة، مبدلات الحمل المتوازن ذات المرحلتين، مبدلات الرزم الضوئية، تقنية إيزيك لموجهات آي بي.
هال 645 معالجة إشارات الصوت والفيديو 3 (3+0)
يتعرض هذا المقرر إلى التطبيقات المتقدمة لعلم معالجة الاستشارات، وذلك بالتركيز على إشارات الصوت والفيديو الرقمية، والتطبيقات المتعلقة بها مثل ضغط الصوت أو الفيديو، التعرف على الأصوات والصور، إخفاء المعلومات في الصوت والصورة، العلامات المائية، تحسين جودة الصوت أو الصورة، التعرف على الأشكال ثلاثية الأبعاد من خلال الفيديو.
هال 647 التعرف على الأنماط 3 (3+0)
النظرية الإحصائية للقرارات، تقدير التوزيع الإحصائي والمتغيرات، الأساليب غير الإحصائية، التعلم بمدرب وبدون مدرب، الشبكات العصبية الصناعية، استخراج الخواص المميزة، تطبيقات التعرف على الأنماط (التعرف على الوجه، البصمات، الأهداف)، وعرض لطرق التعلم الآلي وتعدين البيانات.
هال 651 نانو روبوتية 3 (3+0)
مقدمة في عمارة الروبوت؛ طرق البرمجة الروبوتية بما في ذلك: الحساسات، التخطيط، التحكم والتعلم. نانو روبوتية: تقنية النانو، الحساسات، التحكم، التشغيل والدفع؛ الاتصالات، الطاقة، البرمجة والتنسيق بين حشود الروبوت. التعامل والتجميع على مستوى النانو للقوة الذرية المجهرية.
هال 691 مواضيع متقدمة في هندسة الحاسب 3 (3+0)
تُمَكن هذه المادة الطلبة من دراسة مواضيع متقدمة في تخصص هندسة الحاسب. محتويات هذه المادة تحدد في حينه بواسطة مدرس المادة وموافقة قسم هندسة الحاسب.
نال 696 دراسة بحثية مستقلة (1) 2 (2+0)
يتم اختيار موضوع بحثي لدراسته وما كتب حوله.
نال 697 دراسة بحثية مستقلة (2) 2 (2+0)
يتم اختيار موضوع بحثي لدراسته وما كتب حوله.
هال 699 إعداد خطة بحث وحدة دراسية واحدة
إعداد خطة متكاملة لموضوع الرسالة من دراسة للأبحاث السابقة، والأهداف، وطريقة التنفيذ. (متطلب سابق: 13 وحدة دراسية)
هال 700 الرسالة (24) وحدة دراسية
كتابة رسالة للدكتوراه ومناقشتها أمام لجنة المناقشة. (متطلب سابق: هال 699)
عال 612 تحليل وتصميم الخوارزميات 3 (3+0)
الطرق الأساسية لتصميم الخوارزميات — طرق القسمة والتحديد — طريقة البرمجة الديناميكية والطرق الاستدلالية — الخوارزميات المتوازية — تحليل الخوارزميات — درجة الخوارزمية ونظرية الحد الأدنى للدرجة — تحليل الذاكرة والزمن للخوارزمية — المشاكل المعقدة وصعبة الحل — اختبار صحة الخوارزمية — بنية الخوارزميات.
عال 662 الذكاء الاصطناعي 3 (3+0)
مراجعة المبادئ الأساسية في الذكاء الاصطناعي — تمثيل المعرفة — البرهنة الآلية — التعلم بالمثال — التعلم بالقياس — التعلم بالاكتشاف — التفكير السببي — التفكير مع الشك — نظرية التأكيد — نظرية الاعتقاد — نظرية الحتمية والإمكانية — التفكير المكاني والزماني.
ريض 505 الجبر الخطي العددي 3 (3+0)
المعادلات الخطية وتحليل المصفوفة — تقريب الدوال — مصفوفات خاصة — تحليل الخطأ للأنظمة الخطية — طرق التكرار، وحساب قيمة ومتجهة أيجن.
احص 503 الاحتمالات والإحصاء الرياضي 3 (3+0)
الاحتمال، المتغيرات العشوائية، التوزيعات الاحتمالية، التوقع، دوال المتغيرات العشوائية، توزيعات المعاينة، التقدير، اختبار الفروض، الانحدار والارتباط، تحليل التجارب.
ريض 507 بحوث عمليات المتقدمة 3 (3+0)
نماذج الأمثلية الخطية. الطريقة الهندسية لحل مسألة البرمجة الخطية. طرائق السمبلكس، المرحلتين، السمبلكس المحسنة وكارماركرس لحل مسألة البرمجة الخطية. الثنائية وتحليل الحساسية. البرمجة البارامترية. تطبيقات البرمجة الخطية. مدخل إلى البرمجة غير الخطية.
عال 619 مواضيع مختارة في أمن الحاسبات 3 (3+0)
المستجدات والاتجاهات البحثية الحديثة في مجال أمن الحاسبات متضمنًا: التهديدات ونقاط الضعف — التعرف والتحقق — التحكم في الدخول — اكتشاف المتطفلين — التعمية والخصوصية — السياسات الأمنية وتقويمها — التعمية باستخدام الصور.
عال 663 تعلم الآلة 3 (3+0)
شجرة اتخاذ القرارات القابلة للتعلم — تعلم الشبكات الاصطناعية العصبية — التعلم بالطرق الإحصائية — خوارزميات التطور الجيني — التعلم المبني على نظرية بايز — التعلم المبني على تفسير الوقائع — التعلم عبر التغذية المستمرة — التعلم عبر آليات دعم المتجهات — شبكات بايز — قواعد التلازم — طرق تقليل المحاور — وطرق عرض واختيار الخصائص.