Lecture 18: Decidability (Arabic) , Dr. Ghassan Shobaki.