csnotes

מדעי המחשב סיכום מתמטיקה computer science mathematics סיכומים סיבוכיות מכונות טיורניג תורת הגרפים לוגיקה אוילר פונקציות חישוביות אוטומטים בינה מלאכותית rsa הצפנה שפות פורמליות שפות חסרות הקשר אוטומט מחסנית ביטוים רגולריים dfa האלכסון של קנטור עצים עצים אדומים שחורים זרימות בגרפים אלגוריתמים משפט השאריות הסיני חוגי פולינומים אינטגרלים לא אמיתיים אינדוקציה לימודים טורי טיילור חוגים שדות פולינומים תורת החבורות נספח נוסחאות תורת הקבוצות מכללת הדסה תחשיב היחסים תחשיב הפרדיקטים אוליר פונקצית אוילר משפט אוליר חיתוך איחוד קבוצות תורת הסיבוכיות משפט לגנרז' בעיית העצירה תורת ההוכחה taylor series חדוא cos אי-שוויונים בהסתברות אי-שוויון מרקוב אי-שוויון צ'בישב מחלקות שקילות אוטומט רבין תורת הקירובים חישוב שטחים אנליזה נומרית משפט אוילר שארית לגרנז טורי חזקות אידאל ראשי אבטחת מידע דיסקרטית רשתות נוירונים הוכחות לוגיקה בוליאנית קומבינטוריקה re יחסים יחס שקילות r אלגברה לינארית מטריצות דטרמיננטה מטריצה משפט רייס הסתברות רדוקציית מיפוי הכרעה של שפות בעיית ההכרעה בשפות רדוקציה gra logic וקטורים המשפט הקטן של פרמה תורת המספרים פרמה תורת החישוביות חילוק מודולו c++ p=np c סכמת סף של שמיר שיתוף סוד נוירונים משחקים אסטרטגיות pcp אורקל היררכיה פולינומית מטל"ד חשבון מודולו גישת האורקל פונקציית אוב מערכת הוכחות הצפנות זרם חתימות אל-גמאל פירוק פרמה הלוג הדיסקרטי הצפנה קוונטית דיפי-הלמן צופן קיסר צופן הזזה מבחני ראשוניות התקפות על הלוג מקדמי ב'זו משפט לגרנג' מבנים אלגבריים גבול של פונקציה מטרואידים ד"ר לור ברתל ת פפורד-פלקרסון חקירת פונקציות לגראנז' מבני נתונים לופיטל מיון-מהיר dfs bfs צפני הופמן אלגוריתמים בתורת הגרפים נגזרות חדו"א שנה א' ד"ר יורם ביברמן מצביעים רבין-מילר מודולארי אלגוריתמים הסתברותיים תכנות התמרת פוריה הערת מפתח