Адамзат алғашқы бағдарламаланатын құрылғыны ойлап тапқаннан бері екі мыңнан астам бағдарламалау тілі жасалды. Жыл сайын олардың саны тұрақты түрде өсіп келеді. Олар күрделі техникалық жабдықта әртүрлі құрылғылар арасында байланыс орнатуға көмектеседі.
Бағдарламалау тілі дегеніміз - компьютерлік бағдарламаларды жазу кезінде қолданылатын ресми белгілер жүйесі. Олар бағдарламаның сыртқы түрін және компьютер орындауы керек әрекеттерді анықтайтын әр түрлі ережелерге (лексикалық, семантикалық және синтаксистік) бағынады. Таңдалған пәндік аймаққа ең қолайлы бағдарламалау тілдерінің көптеген кластары бар, тіпті ашық күлкілі де бар. Олар эзотерикалық деп аталады және практикалық қолдануға арналмаған. Мысалы, әдеби синтаксисі бар тілдер бар (Шекспир, Шеф), код жазуды қиындатуға арналған тілдер (Малболге, ALPACA) немесе адамгершілікке жатпайтын логикамен - Var'aq (Клингон логикасын қолданады) Star Trek фильмінен жарыс). Басқа күлкілі тілдер, бірақ комикстен басқа көптеген кәсіби тілдер бар. Қазіргі кезде қолданылатын негізгі класс - бұл объектіге бағытталған тілдер. Бұл кішігірім бағдарламалар мен үлкен бағдарламалық жүйелерді жазуға арналған жоғары деңгей. Бұл кластың негізгі өкілдері Java, C #, C ++, Ruby, Python. Логикалық бағдарламалау тілдерін де атап өту керек. Олар парадигманы дәлелдейтін автоматты теоремаға негізделген және математикалық логика теориясына негізделген. Логикалық бағдарламалаудың ең танымал тілі - Prolog. Мұнда бірінші ретті предикаттар логикасы қолданылады. Құрылған тілдердің көптігі мен олардың функционалдығына қарамастан, әрқашан бағдарламалық өнімдерді құрудың дұрыс құралдарын таңдау қажет. Мысалы, егер сізге клиент-сервер қосымшасын енгізу қажет болса, онда бұл үшін логикалық тіл сәйкес келмейтіні анық. Сондықтан, тапсырманы шешуге қолайлы біреуін таңдау керек.
