Matemaattisissa ja tietojenkäsittelytieteissä algoritmi on lista, joka lähtötilan ja syötteen perusteella ehdottaa peräkkäisiä vaiheita lopulliseen tilaan pääsemiseksi ratkaisun saamiseksi. Algoritmi ei kuitenkaan sulje pois kovia tieteitä tai matematiikkaa. Myös arkielämässä tämän tyyppisiä toimintoja käytetään melkein huomaamatta: esimerkiksi ohjeissa tai käyttöohjeissa, joissa on esimerkkejä teknisistä ongelmanratkaisuista. Algoritmien käyttö ei ole yksinomaan tyypillistä monimutkaisille tai tieteellisen tutkimuksen alaan liittyville operaatioille. Kun kehitämme tietokoneohjelmaa, esimerkkinä mainitaksemme, olemme usein kehittämässä tai toteuttamassa menetelmää jonkin ongelman ratkaisemiseksi. Lyhyesti sanottuna se on ongelma-ratkaisusuhde, joka tapahtuu tietojenkäsittelyn kautta. Tyypillinen algoritmi on äärellinen, tarkka, siinä on sekä tulo että lähtö ja se on tehokas ongelman ratkaisemisessa. Sen yleisin käyttö tapahtuu matematiikassa ja tietojenkäsittelytieteessä, ja historiassa on tunnettuja algoritmeja. Heidän joukossaan on Eukleideen algoritmi, jonka tarkoituksena on laskea kahden positiivisen kokonaisluvun suurin yhteinen jakaja. Tai esimerkiksi Gaussin algoritmi ratkaisemaan lineaarisia yhtälöjärjestelmiä. Yksi niistä Floyd-WarshallSe käsittelee esimerkiksi tapoja löytää vähimmäispolku tietotekniikan painotetuissa kaavioissa. Toinen hyvin tunnettu algoritmijärjestelmä on Turing, Alan Turingin luoma laskennallinen menetelmä, jonka avulla hän osoitti, että oli ongelmia, joita kone - kuten tietokone - ei pystynyt ratkaisemaan. Näin ollen tämä kone formalisoi algoritmin käsitteen ja sitä käytetään edelleen usein. 
Algoritmi koostuu järjestetystä listasta operaatioista, joiden tarkoituksena on löytää ratkaisu matematiikan, tietojenkäsittelytieteen ja niihin liittyvien tieteenalojen ongelmaan.
