من ويكيبيديا، الموسوعة الحرة
- تجريد Abstraction
- خوارزمية
- مصفوفة Array
- نظرية الأتمتة automata theory
- ترميز أو الكبير Big O notation
- صف Class (computer science)|Class
- انغلاق Closure
- مترجم (معلوماتية) Compiler
- تحسيب Computation
- نظرية الحسوبية Computability theory
- تعقيد حسابي Computational complexity
- برمجة حاسوبية Computer programming
- Concurrency
- متابعة Continuation
- مجرى التحكم Control flow
- بنية المعطيات = بنية البيانات Data structure
- نمط البيانات Datatype
- قاعدة بيانات
- برمجة تصريحية Declarative programming
- آلة الحالة المحدودة Finite state machine
- طرق شكلية Formal methods
- برمجة دالية Functional programming
- مخطط Graph (mathematics
- مشكلة التوقف Halting problem
- برمجة أمرية Imperative programming
- إخفاء المعلومات Information hiding
- وراثة Inheritance (computer science
- لامتغير Invariant
- تكرار Iteration
- حسبان-لامبدا lambda calculus
- قائمة
- برمجة منطقية Logic programming
- غرض Object
- برمجة غرضية التوجه Object-oriented programming
- نظام تشغيل
- حسبان بي Pi-calculus
- تعددية الشكل Polymorphism
- برمجة إجرائية Procedural programming
- تصميم لغات البرمجة
- السيمانتيك الشكلي للغات البرمجة
- تراجعية = عودية Recursion
- تعبير نظامي Regular expression
- هندسة البرمجيات
- برمجة الأنظمة Systems programming
- شجرة Tree (data structure
- آلة تورينغ
