برمجة استقرائية

مجال يهتم بتصميم خوارزميات لبرامج حاسب، ذات تحكم معقد من مواصفات غير كاملة.

Inductive Programming