Software testing and validation introduces the students to the process of testing programs or application to finding identify bugs. The process of validating and verifying that a program is achieved through a variety of commercially off the shelf solutions such as JUnit, Selenium and Clover. 

نظرية الأعداد
المبدأ الأول والثاني للاستقراء الرياضي، مبدأ الترتيب الحسن، قابلية القسمة، خوارزمية إقليدس، الأعداد الأولية وبعض خواصها، المعادلات الدايوفانتينية الخطية، التطابقات وخواصها، التطابقات الخطية، نظرية الباقي الصينية، نظرية فيرما الصغرى، نظرية أويلر، نظرية ولسون، بعض الدوال العددية، ثلاثيات فيثاغورس، بعض حالات نظرية فيرما الأخيرة.