تراكيب محددة CIS 283 التسلسل اسم الموضوع المحتوى 1 Propositional Logic: Statements, Connectives, Quantifiers and Truth Tables 2 Set Theory 3 Proofs 4 Relations & Functions 5 Graph Theory