בקורס זה נלמד נושאים מתמטיים הנחוצים להבנת סוגיות בתיאוריה של מדעי המחשב, בפרט באלגוריתמים, בהצפנה, ובקודים לתיקון שגיאות. הנושאים הנלמדים: חבורות: הגדרת חבורה ותת חבורה, החבורה הסימטרית, הומומורפיזם ואיזומורפיזם, הצגת תמורות, מסלולים, מחלקות ימניות ומחלקות שמאליות, חבורת מנה, המשפט היסודי של ההומומורפיזם. חוגים: הגדרת חוג ותת חוג, אידיאל, תחום שלמות, שדה, חוגי פולינומים, חוגים אוקלידיים, חוגים ראשיים, חוג מנה, בניית שדות סופיים. תורת המספרים: האלגוריתם המורחב של אוקלידס, קונגראנציה. משפט Fermat, משפט ,Euler משפט Wilson , משפט השאריות הסיני, שאריות ריבועיות, טרנספורם Fourier דיסקרטי.