משפט סביץ' (באנגלית: Savitch's theorem), שהוכח בידי וולטר סביץ' בשנת 1970, הוא משפט בתורת הסיבוכיות שקושר בין הזיכרון הנדרש לצורך פתרון בעיות בדרך דטרמיניסטית ובין הזיכרון הנדרש כאשר ניתן להשתמש באי⁻דטרמיניזם. מתוך ויקיפדיה

משפט נקודת השבת של ברוואר, משפט נקודת השבת של קאוקטאני, משפט נקודת השבת של קאקוטאני, משפט נרוד, משפט נתר (פיזיקה), משפט סבריני אגורוף, משפט סוביבור, משפט סוקרטס, משפט סטון, משפט סטון⁻ויירשטראס