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