csnotes

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