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