If you do not find what you're looking for, you can use more accurate words.
النماذج الرياضية، والمسببات الرياضية، وطرق البرهنة، وطرق تصحيح البرامج، وتعريف المجموعات والعمليات عليها، والعلاقات وانواعها، والمخططات والتفرعات، وطرق البحث، والتجزئة، والاقترانات وانواعها، والخوارزميات وطرق العد.