טוב
אני די יכול לחתום לך שבוקטורים יש כמה נוסחאות שלא הוכיחו (לפחות אני כשלמדתי לבגרות במתכונת החדשה, היה לנו את כל הספר וקטורים ללמוד (גם גיאומטריים,גם אלגבריים) ולא הוכיחו הכל), אבל בכל מקרה, למשל בתחום של החדו"א,לא הוכיחו לך כלום (בעיקר בקטע של האינטגרלים), אז רוב הקורס שקרוי אינפי 1 (במקרה של המתמטיקאים), בונה לך הכל, וממש הכל מכלום, את כל הגבולות והכל מכלום, את חקירת הפונקציות, את הנגזרות, את הכל, ולקראת סוף אינפי 1 גם בונים את האינטגרלים... ובאינפי 2, מסיימים עם האינטגרלים, ואז ישר ממשיכים לאינטגרלים לא אמיתיים, סדרות וטורים של פונקציות,טורי חזקות ופונקציות של כמה משתנים (כולל אינטגרלים כפולים והרבה דברים כיפיים

) בלינארית, פחות או יותר גם הסיפור הזה (מלמדים אותך את כל המטריצות ברמה יותר גבוהה והכל, ואז אתה ניגש לגיאומטריה, ומגדיר את הגיאומטריה אנליטית ברמה הרבה הרבה יותר גבוהה מהתיכון) וזה רק בשנה א, אחרי זה ממשיכים עם הכללות ופיתוחים וסיבוכים של הדברים, אבל גם מה שבעיקר חשוב, זה ההוכחות, כל ההוכחות הם שלמות ויפות, לא מעגלים פינות ומקצרים כמו בתיכון... (כמובן שהמקרה כאן מדבר על הקורסים למתמטיקאים, שכמו שהמרצה שלי אמר,באינפי1-2 למתמטיקאים, יש רק בערך 4 משפטים שלא נתנו הוכחה להם (מטעמי סיבוך בד"כ, ולאו דווקא מהבנה), בחדו"א1-2 למהנדסים, יש רק איזה 4 משפטים שכן מוכיחים

)