במדעי המחשב, שיטת האב (Master Theorem) משמשת לפתרון נוסחאות נסיגה של זמן ריצה/זיכרון של אלגוריתמים. כלומר, בהינתן נוסחת נסיגה לזמן ריצתו של אלגוריתם, ניתן להשתמש במקרים מסוימים בשיטה כדי למצוא חסם אסימפטוטי הדוק לזמן הריצה של האלגוריתם כולו. יתרון השיטה בכך שהיא ניתנת ליישום במגוון רחב של מקרים ומספקת פתרון מיידי, כמעט ללא חישוב. מתוך ויקיפדיה

משפט דרבו, משפט דרייפוס, משפט דריפוס, משפט ה⁻38, משפט ה⁻PCP, משפט האי שלמות הראשון, משפט האי שלמות הראשון של גדל, משפט האי שלמות השני, משפט האי⁻אפשרות של ארו, משפט האי⁻גדירות של טרסקי