קריאות יחידה וקבוצת קשרים שלמה | הרצאה 11 | לוגיקה מתמטית Dvir Ross - דביר רוס 1,82 тыс. подписчиков Скачать
בעיות מנייה קומבינטוריות, הבינום של ניוטון, הוכחות אלגבריות וקומבינטוריות | הרצאה 9 | מתמטיקה בדידה Скачать
בעיית הזיווג היציב - הגדרת בעיה, הוכחות פתרון על ידי אלגוריתם גייל שייפלי | הרצאה 1 | אלגוריתמים Скачать
IQI, וקטורים ומטריצות בפייתון, יציבות מערכת משוואות לינאריות | תרגול 7 | אנליזה נומרית יישומית Скачать
מחרוזות, שפת תחשיב הפסוקים, עצי גזירה ובנייה, קריאות יחידה | הרצאה 2 - לוגיקה מתמטית למדעי המחשב Скачать